J. Creissac Campos (visit this page for up to date information) & M. D. Harrison (2005) Automated deduction and usability reasoning, in Encyclopedia of Human-Computer Interaction, Idea Group Reference, December.

G. J. Doherty, J. Creissac Campos (visit this page for up to date information) & M. D. Harrison (2000) Representational Reasoning and Verification. Formal Aspects of Computing, 12(4):260-277.

Alexandre Mano & J. Creissac Campos (visit this page for up to date information) (2005) A study on usability criteria regarding interfaces for children. Interact 2005 Workshop on Child Computer Intercation:Methodological Reasearch, pp 32-35, September.

J. Creissac Campos (visit this page for up to date information) & António Ramires Fernandes (2005) Testing AudioBrowser. HCI International 2005 - 11th International Conference on Human-Computer Interaction, CDROM edition, Laurence Erlbaum Associates, Inc., July.

J. Creissac Campos (visit this page for up to date information) (2005) Model based web interfaces' analysis. HCI International 2005 - 11th International Conference on Human-Computer Interaction, CDROM edition, Laurence Erlbaum Associates, Inc., July.

J. Creissac Campos (visit this page for up to date information) & G. J. Doherty (2005) Supporting resource-based analysis of task information needs. DSVIS 2005 pre-proceedings, pp 177-188 (to appear in LNCS, Springer), July.

J. Creissac Campos (visit this page for up to date information) (2004) Análise de usabilidade baseada em modelos. Interacção 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, 171-176, Grupo Português de Computação Gráfica, July.

Alexandre Mano & J. Creissac Campos (visit this page for up to date information) (2004) Aplicação de um Cognitive Walkthrough - estudo de caso. Interacção 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, pp 256-258, Grupo Português de Computação Gráfica, July.

J. Creissac Campos (visit this page for up to date information) (2004) The modelling gap between software engineering and human-computer interaction. In Rick Kazman, Len Bass and Bonnie John, editor(s), ICSE 2004 Workshop: Bridging the Gaps II, pages 54-61, The IEE, May.

António Ramires Fernandes, Jorge Pereira & J. Creissac Campos (visit this page for up to date information) (2004) Accessibility and Visually Impaired Users. In I. Seruca & J. Filipe & S. Hammoudi & J. Cordeiro, editor(s), ICEIS 2004: Proceedings of the 6th International Conference on Enterprise Information Systems (vol. 5), pages 75-80, Porto, Portugal, INSTICC Press, April.

J. Creissac Campos (visit this page for up to date information), M. D. Harrison & Karsten Loer (2004) Verifying user interface behaviour with model checking . In J. C. Augusto & U. Ultes-Nitsche, editor(s), Verification and Validation of Enterprise Information Systems: proceedings of VVEIS 2004, pages 87-96, INSTICC Press, April.

J. Creissac Campos (visit this page for up to date information) (2003) Uma abordagem formal à Engenharia da Usabilidade. In Clarisse Sieckenius and Alfredo Sánchez and Simone D. J. Barbosa and Cleotilde Gonzalez, editor(s), Proceedings of the Latin-American conference on Human-computer interaction, 17-28, ACM Press, August.

J. Creissac Campos (visit this page for up to date information) & G. J. Doherty (2003) Reasoning about Dynamic Information Displays. In J. A. Jorge, N. J. Nunes and J. Falcão e Cunha, editor(s), Interactive Systems: Design, Specification and Verification - 10th International Workshop DSV-IS 2003, volume 2844 of LNCS, pages 288-302, Springer, June.

J. Creissac Campos (visit this page for up to date information) (2003) Using task knowledge to guide interactor specifications analysis. In J. A. Jorge and N. J. Nunes and J. Falcão e Cunha, editor(s), Interactive Systems: Design, Specification and Verification - 10th International Workshop, DSV-IS 2003, volume 2844 of LNCS, pages 171-186, Springer, June.

J. Creissac Campos (visit this page for up to date information) & M. D. Harrison (2003) From HCI to Software Engineering and back. In Rick Kazman, Len Bass and Jan Bosch, editor(s), Bridging the Gaps Between Software Engineering and Human-Computer Interaction, ICSE'2003 workshop proceedings, pp 49-56, IFIP, May.

J. Creissac Campos (visit this page for up to date information) & G. J. Doherty (2001) Reasoning about Time in Dynamic Information Displays. In G.J. Doherty and M. Massink and M.D. Wilson, editor(s), Continuity in Future Computing Systems, volume RAL-CONF-2001-001 of Conference Proceedings series, pages 80-95, Council for the Central Laboratory of the Research Councils, April.

J. Creissac Campos (visit this page for up to date information) & M. D. Harrison (1999) Using automated reasoning in the design of an audio-visual communication system. In D. J. Duke and A. Puerta, editor(s), Design, Specification and Verification of Interactive Systems '99, pages 167-188, Springer-Verlag/Wien, June.

J. Creissac Campos (visit this page for up to date information) (1998) Integrating Automated Verification into Interactive Systems Development. 13th IEEE International Conference: Automated S oftware Engineering - Doctoral Symposium Proceedings, pages 13-15, October.

G. J. Doherty, J. Creissac Campos (visit this page for up to date information) & M. D. Harrison (1998) Representational Reasoning and Verification. In J. I. Siddiqi, editor(s), Proceedings of the BCS-FACS Workshop: Formal Aspects of the Human ComputerInteraction, pages 193-212, SHU Press, September.

J. Creissac Campos (visit this page for up to date information) & M. D. Harrison (1998) The role of verification in interactive systems design. In P. Markopoulos and P. Johnson, editor(s), Design, Specification and Verification of Interactive Systems '98, pages 155-170, Springer-Verlag/Wien, June.

J. Creissac Campos (visit this page for up to date information) & M. D. Harrison (1997) Formally Verifying Interactive Systems: A Review. In M. D. Harrison and J. C. Torres, editor(s), Design, Specification and Verification of Interactive Systems '97, pages 109-124, Springer Computer Science, June.

J. Creissac Campos (visit this page for up to date information) & F. Mário Martins (1996) Context Sensitive User Interfaces. In C. R. Roast and J. I. Siddiqi, editor(s), Formal Aspects of the Human Computer Interface, electronic Workshops in Computing, Springer-Verlag London, September.

J. Creissac Campos (visit this page for up to date information) & F. Mário Martins (1994) O Sistema GAMA - Arquitectura e Implementação. In F. M. Martins and J. J. Almeida and J. G. Rocha, editor(s), 6o. Encontro Português de Computação Gráfica, pages 2-15, February.

J. Creissac Campos (visit this page for up to date information) & F. Mário Martins (1993) GAMA-X - Uma Arquitectura Software para o Desenvolvimento Semi-Automático de Interfaces Utilizador-Sistema. 5o. Encontro Português de Computação Gráfica, pages 197-209.

Alexandre Mano & J. Creissac Campos (visit this page for up to date information) (2004) Um estudo sobre critérios de usabilidade em interfaces para crianças. Fopex 2004 - First Portuguese Forum of Experimental Psychology, (poster), October.

J. Creissac Campos (visit this page for up to date information) (2004) Interactors as Boundary Objects. Position paper in CHI 2004 workshop: Identifying Gaps between HCI, Software Engineering, and Design, and Boundary Objects to Bridge Them, April.

J. Creissac Campos (visit this page for up to date information) (1999) Automated Deduction and Usability Reasoning. DPhil thesis, Department of Computer Science, University of York, September.

J. Creissac Campos (visit this page for up to date information) (1993) GAMA-X Geração Semi-Automática de Interfaces Sensíveis ao Contexto. MSc. thesis, Departamento de Informática, Universidade do Minho, December.

J. Creissac Campos (visit this page for up to date information) & F. Mário Martins (1993) Automatic Generation of User Interfaces at Prototipe Level. Tech. report, Olivetti/Ricerca-INESC Group 2361, Olivetti/Ricerca, Roma, October.

J. Creissac Campos (visit this page for up to date information) & F. Mário Martins (1992) IAPF: Interfaces Assistidas para Protótipos Funcionais. In DI/INESC, editor(s), Technical Report, DI/INESC, January.