Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 13 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2013Automated theorem proving for the systematic analysis of interactive systemsHarrison, M. D.; Masci, P.; Campos, J. Creissac; Curzon, P.ArtigoAcesso aberto
2013Developing serious games with the APEX frameworkGomes, Tiago Emanuel Oliveira; Abade, Tiago; Harrison, Michael D.; Silva, José Luís Cardoso; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2013Desenvolvimento de jogos educativos na plataforma APEX: o jogo da asmaGomes, Tiago Emanuel Oliveira; Abade, Tiago; Silva, José Luís Cardoso; Campos, J. Creissac; Harrison, Michael DouglasArtigo em ata de conferênciaAcesso aberto
2013MapIt : a model based pattern recovery toolCouto, Rui; Ribeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2013The mobile context framework: providing context to mobile applicationsOliveira, Luís Filipe Silva de; Ribeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2013An empirical study on immersive prototyping dimensionsMoreira, Samuel; José, Rui; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2013A specification patterns system for discrete event systems analysisCampos, J. Creissac; Machado, José MendesArtigoAcesso aberto
14-Nov-2013Depth cues and perceived audiovisual synchrony of biological motionSilva, Carlos; Mendonça, Catarina; Mouta, Sandra; Silva, Rosa; Campos, J. Creissac; Santos, Jorge A.ArtigoAcesso aberto
2013Combining static and dynamic analysis for the reverse engineering of web applicationsSilva, Carlos Eduardo; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2013Automated theorem proving for the systematic analysis of an infusion pumpHarrison, Michael douglas; Masci, P.; Campos, José C.; Curzon, P.ArtigoAcesso aberto