Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 48 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2016An automated model based approach to mobile UI specification and developmentRibeiro, António Nestor; Costa, Rogério AraújoArtigo em ata de conferênciaAcesso aberto
2016Proof theory for hybrid(ised) logicsNeves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.ArtigoAcesso aberto
12-Jul-2016Continuity as a computational effectNeves, Renato; Barbosa, L. S.; Hofmann, Dirk; Martins, Manuel A.ArtigoAcesso aberto
Out-2003Towards peer-to-peer content indexingBaquero, Carlos; Lopes, Nuno Alberto FerreiraArtigo em ata de conferênciaAcesso aberto
2015An ORCID based synchronization framework for a national CRIS ecosystemMoreira, João Mendes; Cunha, Alcino; Macedo, Nuno Filipe MoreiraArtigoAcesso aberto
2014Towards a framework for adaptive web applicationsSampaio, Ana I.; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2014Formal aspects of component software (FACS 2010 selected and extended papers)Barbosa, L. S.; Lumpe, MarkusEditorial em revistaAcesso aberto
2021Development and validation of a descriptive cognitive model for predicting usability issues in a low-code development platformSilva, Carlos César Loureiro; Vieira, Joana; Campos, José C.; Couto, Rui; Ribeiro, António NestorArtigoAcesso aberto
2016Evaluating refactorings for spreadsheet modelsCunha, Jácome; Fernandes, João Paulo; Martins, Pedro; Mendes, Jorge; Pereira, Rui; Saraiva, JoãoArtigoAcesso restrito UMinho
Ago-2020Supporting the analysis of safety critical user interfaces: an exploration of three formal toolsCampos, José C.; Fayollas, Camille; Harrison, Michael D.; Martinie, Célia; Masci, Paolo; Palanque, PhilippeArtigoAcesso aberto
1-10 de um total de 48 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir