F. Mário Martins (2006) JAVA5 e Programação por Objectos, Livro, FCA - Editora de Informática, ISBN 978-972-722-548-4, September.

Teresa Chambel, Nuno Nunes, Teresa Romão & J. Creissac Campos (visit this page for up to date information) (2006) Interacco 2006 - Actas da 2a. Conferencia Nacional em Interacco Pessoa-M�quina, Grupo Portugues de Computacao Grafica, October.

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.

F. Mário Martins (2000) Programação Orientada aos Objectos em JAVA 2, Livro, FCA - Editora de Informática, Lda., ISBN 972-722-196-3, September.

F. Mário Martins (1999) Proceedings of the 6th Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSVIS-99, June.

F. Mário Martins (1999) Actas do Encontro Nacional de Engª Informática da Ordem dos Engenheiros, Conferencia, December.

F. Mário Martins, J. J. Almeida & J. Gustavo Rocha (1994) Actas do 6º Encontro Português de Computação Gráfica, Conferência, February.

R. Lins & F. Mário Martins (2008) A Quantitative Method for Assessing Algorithms to Remove Back-to-Front Interference in Documents. Journal of Universal Computer Science, , January.

R. Lins & F. Mário Martins (2008) A Fast Algorithm to Binarize and Filter Documents with Back-to-Front Interference . Journal of Universal Computer Science, , January.

Rui Rodrigues, António Ramires Fernandes, Kees van Overveld & Fabian Ernst (2004) From Spatiotemporal Curves to Reconstructed Depth. Special Issue of Image and Vision Computing, , October.

J. Creissac Campos (visit this page for up to date information) & M. D. Harrison (2001) Model Checking Interactor Specifications. Automated Software Engineering, 8(3-4):275-310, August.

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.

F. Mário Martins (1998) CAMILA: Uma abordagem rigorosa e moderna para a Engenharia Informática. Anais de Engenharia Electrotécnica, , May.

Paulo J Azevedo (1997) Magic Sets with Full Sharing. Journal of Logic Programming, 223-237, March.

(1993) Novas Tecnologias na Produção de Software. Simpósio Sistemas de Informação e a Empresa, UM, Braga, , April.

F. Mário Martins & J. N. Oliveira (1990) Archetype Oriented User Interfaces. Computers & Graphics, 14(1):17-28, January.

F. Mário Martins (1988) Especificação Formal, Prototipagem e Refinamento Transformacional: Um abordagem para a Engenharia de Software. Revista de Informática, N. 9, , June.

F. Mário Martins (1988) Sistemas de Programação Modular. Revista de Informática, N. 9, , June.

J. N. Oliveira & F. Mário Martins (1986) Editores Parametrizados em Computação Gráfica. Revista de Informática N. 7, CAD/CAM, , January.

F. Mário Martins, Benjamim Fonseca, Hugo Paredes & Ana Guerra (2008) Towards a Virtual Environment for Regulated Interaction Using the Social Theatres Model. In R.O.Briggs et al. (Eds.), editor(s), CRIWG´2008, 14th. Collaboration Researchers’ International Workshop on Groupware, Omaha, Nebrasca, USA, September 14-18, 2008, pp. 164-170, LNCS 5411, September.

F. Mário Martins, R. Lins, A. Formiga & G. Matos (2008) BigBatch: A Documento Processing Platform for Clusters and Grids. Proc. of the ACM Simposyum on Advanced Computing, Fortaleza, Brasil, February.

F. Mário Martins & Hugo Paredes (2007) Social Theatres: A Web-based Regulated Social Interaction Environment. In J. Haake, S. Ochoa, A. Cechich, editor(s), 13th International Workshop, CRIWG´2007, Bariloche, Argentina, Sept. 2007, 87-94, LNCS 4715, Springer, September.

F. Mário Martins & Hugo Paredes (2007) Social Theatres: A model for regulated virtual interaction environments. In R. Nascimento, A. Berqia, P. Serendero, E. Carrilho, editor(s), Euro-American Conference on Telematics and Information Systems, EATIS2007, ACM DL, May.

António Nestor Ribeiro, J. Creissac Campos (visit this page for up to date information) & F. Mário Martins (2007) Integrating HCI into a Software Engineering Course. HCIED´2077 - HCI Educators 2007, 48-57, March.

I. Sampaio, F. Mário Martins, E. Gray & A. Sampaio (2006) Towards an Internal Numerical Taxonomy of Software Process Assessment Methods. In A. Abran, R. Dumke e M. Ruiz, editor(s), MENSURA´06, International Conference on Software Process and Product Measurement, November.

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.

F. Mário Martins (2005) A Comparison of SPA Methods. In E. Grosspietsh & K. Klockner, editor(s), 31st. EUROMICRO Conference on Software Engineering and Advanced Applications, August.

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.

Rui Rodrigues & António Ramires Fernandes (2004) Robust Reconstruction of 3D Points from Images. ICIP - International Conference on Image Processing, (to be published), IEEE Press, October.

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.

Rui Rodrigues & António Ramires Fernandes (2004) Accelerated Epipolar Geometry Computation For 3D Reconstruction Using Projective Texturing. SCCG04 - Spring Conferenceon Computer Graphics, Budmerice, Slovakia, ACM Press, April.

Leonel Deusdado & António Ramires Fernandes (2003) Personagens Virtuais No Ensino Da Língua Gestual Portuguesa. CHALLENGES 2003-III Conferência Internacional sobre Tecnologias de Informação e Comunicação na Educação, Braga, Portugal, September.

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.

Rui Rodrigues, António Ramires Fernandes, Kees van Overveld & Fabian Ernst (2002) Reconstructing Depth from Spatiotemporal Curves. In D.D. Gorodnichy and H. Zhang, editor(s), 15th International Conference on Vision Interface, pp 252-259, Calgary, Canada, May.

António Ramires Fernandes, F. Mário Martins, Hugo Paredes & Jorge Pereira (2001) A Different Approach to Real Web Accessibility. In Constantine Stephanidis, editor(s), Proceedings of HCI International 2001, 1st International Conference onUniversal Access in HCI, Vol. 3, pages 723-727, New Orleans, USA, Lawrence Erlbaum Associates, August.

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.

António Ramires Fernandes & Hugo Paredes (2000) Exploring Alternative Devices for Blind Users. In Hal Thwaiter, editor(s), VSMM 2000 - 6th Int. Conf. on Virtual Systems and Multimedia, pp. 266-274, Gifu, Japan, IOS Press, October.

António Ramires Fernandes & Hugo Pires (2000) VRML+ :Uma plataforma de Desenvolvimento Rápido de Mundos em VRML.. 9º Encontro Português de Computação Gráfica, Marinha Grande, Portugal, February.

António Ramires Fernandes & Hugo Pires (1999) VRML+. VSMM 99 - 5th Int. Conf. on Virtual Systems and Multimedia, pp325-334, Dundee, Scotland, September.

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.

António Ramires Fernandes, Hugo Pires & Rui Rodrigues (1998) Galerias Virtuais Interactivas em 3D: Expôr e Dispôr Arte na Internet.. Encontro de Engenharia Informática 98, Aveiro, Portugal, December.

António Ramires Fernandes, Hugo Pires & Rui Rodrigues (1998) Building Virtual Interactive 3D Galleries. VSMM98: Future Vision - Application Realities for the Virtual Age, Vol I, pp 60-65, Gifu, Japan, IOS Press, November.

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.

António Ramires Fernandes, Hugo Pires & Rui Rodrigues (1998) A Virtual Interactive Art Gallery. Museums & the Web 98, Toronto, Canada, April.

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.

F. Mário Martins (1996) Semi-Automatic Design and Prototyping of Adaptive User Interfaces. In C. Stephanidis, editor(s), 2nd. ERCIM Workshop on User Interfaces for All, Praga, November.

F. Mário Martins (1996) On the Development of a Meta-CASE OO Software Architecture. Proc. of the Object-Oriented´96 Conference, Lisboa, Portugal, October.

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.

F. Mário Martins (1996) Modelos, Métodos e Tecnologias para a Construção de Sistemas Interactivos. XVI Congresso Brasileiro de Ciências da Computação, Recife, Brasil, August.

António Nestor Ribeiro & F. Mário Martins (1995) A Fuzzy Query Language for a Software Reuse Environment. Proc. of WISR´95 - Seventh International Conference on Software Reuse, Chicago, USA, August.

F. Mário Martins (1994) Uma Arquitectura Software OO para Desenvolvimento de Sistemas CASE. Actas INFORUM´94, Braga, U. Minho, October.

F. Mário Martins (1994) Uma Arquitectura Software Orientada aos Objectos para o Desenvolvimento de Sistemas de CASE. Proc. Object-Oriented Portugal-94, Lisboa, September.

Michael Weir & António Ramires Fernandes (1994) Tangent Hyperplanes and Subgoals as a Means of Controlling Direction in Goal Finding. World Congress on Neural Networks, Vol III, pp 345-351, San Diego, USA, INNS Press, Lawrence Eulbaum Associates, June.

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.

F. Mário Martins (1993) Novas Tecnologias na Produção de Software. Actas do Simpósio de Sistemas de Informação e a Empresa, U. Minho, Braga, April.

F. Mário Martins & A. Ferreira (1993) GAIA: Geração Automática de Interfaces Adaptativas. Actas do 5º Encontro Português de Computação Gráfica, Aveiro, GPCG, 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.

F. Mário Martins (1990) Mecanismos para Especificação e Prototipagem de Interfaces Utilizador-Sistema. ACtas do 3º Encontro Português de Computação Gráfica, Coimbra, October.

J. N. Oliveira & F. Mário Martins (1988) Archetype-Oriented CHI: A Formal Approach to User Friendliness. Proc. 1st Luso-German Meeting in Computer Graphics, October.

F. Mário Martins (1988) MEDUSA: Uma Linguagem de Especificação de Diálogos Concorrentes . Actas do 1º Encontro Português de Computação Gráfica, July.

F. Mário Martins & J. N. Oliveira (1986) On the Specification of Archetype-Oriented Graphics Editors. Proc. EUROGRAPHICS´86, Lisbon, Portugal, September.

F. Mário Martins & J. N. Oliveira (1985) Graphics Programming with Archetypes: A Preliminary Study. In E. Vandoni, editor(s), Proc. of EUROGRAPHICS´85, Nice, France, North-Holland, September.

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.

António Ramires Fernandes (1997) Robustness and Generalization: Tangent Hyperplanes and Classification Trees.. PhD Thesis, University of St. Andrews, Scotland, June.

F. Mário Martins (1995) Métodos Formais na Concepção e Desenvolvimento de Sistemas Interactivos. Tese de Doutoramento, Fundamentos da Computação, UM, Universidade do Minho, July.

F. Mário Martins (1994) The SOUR underlying model. Workshop SOUR/INESC sobre Técnicas Avançadas para Reutilização de Software, December.

F. Mário Martins & F. Moura (1994) A Comparison of Industrial Window System Mangement Technology. Tech. Report OLIVETTI Ricerca/INESC, 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.

F. Mário Martins (1987) Formal Specification of Highly Interactive Text Editors: The SPY Example. Technical Report, Rutherford Appleton Laboratory, RAL-87-093, RAL, Oxford, UK, November.