Percorrer por autor 1076 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 101-120 de um total de 174 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2007A new plant modelling approach for formal verification purposesMachado, José; Seabra, Eurico; Soares, Filomena, et al.Artigo em ata de conferênciaAcesso aberto
1994O sistema GAMA: arquitectura e implementaçãoCampos, J. Creissac; Martins, F. MárioArtigo em ata de conferênciaAcesso aberto
2004Paradigmas da Programação III : apontamentos teórico-práticos (LESI/LMCC) 2004/2005Campos, J. Creissac; Ribeiro, António NestorOutroAcesso aberto
2011Partial models in formal verification of industrial automation discrete systemsMachado, José Manuel; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
Abr-2011Partial plant models in formal verification of industrial automation discrete systemsMachado, José Mendes; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2009Pattern-based analysis of automated production systemsCampos, J. Creissac; Machado, JoséArtigo em ata de conferênciaAcesso aberto
2012A patterns based reverse engineering approach for java source codeCouto, Rui; Ribeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2023Preface [International Conference on Rigorous State-Based Methods (ABZ 2023)]Campos, José C.; Glässer, Uwe; Méry, Dominique, et al.Editorial em livro Acesso aberto
2022Preface [Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops]Ardito, Carmelo; Lanzilotti, Rosa; Malizia, Alessio, et al.Editorial em livro Acesso aberto
2010Princípios de ergonomia e design discutidos através de plataformas utilizadas para e-learningFreire, Luciana Lopes; Arezes, P.; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2006Processes : working group reportChatty, Stéphane; Campos, J. Creissac; González, María Paula, et al.Artigo em ata de conferênciaAcesso aberto
2008Property patterns for the formal verification of automated production systemsCampos, J. Creissac; Machado, José; Seabra, EuricoArtigo em ata de conferênciaAcesso aberto
2010Prototipagem rápida de ambientes ubíquosSilva, José Luís Cardoso; Ribeiro, Óscar R.; Campos, J. Creissac, et al.Artigo em ata de conferênciaAcesso aberto
Mai-2014Prototyping and analysing ubiquitous computing environments using multiple layersSilva, José Luís Cardoso; Campos, J. Creissac; Harrison, Michael DouglasArtigoAcesso aberto
2023Prototyping with the IVY workbench: bridging formal methods and user-centred designCosta, Rafael Braga da; Campos, José C.Artigo em ata de conferênciaAcesso embargado (6 Meses)
Jun-2006A push infrastructure for mobile application deployment in mobile environmentsRibeiro, António Nestor; Campos, J. Creissac; Borges, MiguelArtigoAcesso aberto
2014Rapid development of first person serious games using the APEX platform: the asthma gameGomes, Tiago; Abade, Tiago; Campos, J. Creissac, et al.Artigo em ata de conferênciaAcesso aberto
2003Reasoning about dynamic information displaysCampos, J. Creissac; Doherty, Gavin J.Capítulo de livroAcesso aberto
Jul-2001Reasoning about time in dynamic information displaysCampos, J. Creissac; Doherty, Gavin J.Artigo em ata de conferênciaAcesso aberto
Dez-2000Representational reasoning and verificationDoherty, Gavin J.; Campos, J. Creissac; Harrison, M. D.ArtigoAcesso aberto
Mostrar 101-120 de um total de 174 resultados. < anterior   próximo >