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 117-136 de um total de 174 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
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
1998Representational reasoning and verificationDoherty, Gavin J.; Campos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2008Resources for situated actionsDoherty, Gavin; Campos, J. Creissac; Harrison, MichaelArtigo em ata de conferênciaAcesso aberto
2015Reusing models and properties in the analysis of similar interactive devicesHarrison, Michael D.; Campos, J. Creissac; Masci, PaoloArtigoAcesso aberto
1998The role of verification in interactive systems designCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
Mai-2011Safe controllers design for industrial automation systemsMachado, José Manuel; Seabra, Eurico; Campos, J. Creissac, et al.ArtigoAcesso restrito UMinho
2017Safety analysis of software components of a dialysis machine using model checkingHarrison, Michael douglas; Drinnan, M.; Campos, José C., et al.Artigo em ata de conferênciaAcesso aberto
14-Jun-2012Silver nanoparticles as an antimicrobial agent of Tricophyton rubrumPereira, Leonel; Santos, C.; Dias, Nicolina, et al.Resumo em ata de conferência Acesso aberto
2008Simulation and formal verification of industrial systems controllersMachado, José Mendes; Seabra, Eurico; Campos, J. Creissac, et al.Artigo em ata de conferênciaAcesso aberto
2013A specification patterns system for discrete event systems analysisCampos, J. Creissac; Machado, José MendesArtigoAcesso aberto
2004A study about usability criteria on computer interfaces for childrenMano, Alexandre; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2014A study on the viability of formalizing use casesCouto, Rui; Ribeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2005A study on usability criteria regarding interfaces for childrenMano, Alexandre; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2011Supporting requirements formulation in software formal verificationCampos, J. Creissac; Machado, José MendesArtigo em ata de conferênciaAcesso aberto
2006Supporting resource-based analysis of task information needsCampos, J. Creissac; Doherty, Gavin J.Artigo em ata de conferênciaAcesso aberto
Ago-2020Supporting the analysis of safety critical user interfaces: an exploration of three formal toolsCampos, José C.; Fayollas, Camille; Harrison, Michael D., et al.ArtigoAcesso aberto
2015Supporting the design of an ambient assisted living system using virtual reality prototypesCampos, José C.; Abade, Tiago Filipe Azevedo; Silva, J. L., et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 117-136 de um total de 174 resultados. < anterior   próximo >