Maria Paula Antunes Abrantes Gouveia

Maria Gouveia

Academic position:	Assistant Professor
Joining date:	31-12-2006
Roles in IT:	Researcher
Thematic Line:	Basic Sciences and Enabling Technologies
Group:	Security and Quantum Information - Lx

Email: Send Email
Address: IT – Lisboa
Instituto Superior Técnico - Torre Norte - Piso 10
Av. Rovisco Pais, 1
1049 - 001 Lisboa
Tel: +351 21 841 84 54
Fax: +351 21 841 84 72

Scientific Achievements

Degrees

PhD, Instituto Superior Técnico, 01-01-1998
MSc, Instituto Superior Técnico, 01-01-1993
Licenciatura, Universidade de Lisboa, 01-01-1986

Affiliations

Instituto Superior Técnico, 01-01-1989, Assistant Professor

Academic Activities

5Lecture courses

Teoria da Computação, Instituto Superior Técnico, Licenciatura em Engenharia Informática e de Computadores
Matemática Discreta, Instituto Superior Técnico, Licenciatura em Engenharia Informática e de Computadores
Elementos de Teoria da Computação, Instituto Superior Técnico, Licenciatura em Engenharia Electrotécnica e de Computadores
Elementos de Matemática Discreta, Instituto Superior Técnico, Licenciatura em Engenharia de Telecomunicações e Informática
Computação e Programação, Instituto Superior Técnico, Licenciatura em Engenharia de Gestão Industrial

Publications

4Books

J. F. Costa, M.P.G. Gouveia, Matemática Discreta, IST Press, Lisboa, 2019,
| BibTex
C. Caleiro, F. Dionísio, M.P.G. Gouveia, P. Mateus, J. Rasga, Logic and Computation -- Essays in Honour of Amilcar Sernadas, College Publications, London, 2017,
| BibTex
J. Carmo, M.P.G. Gouveia, F. Dionísio, Elementos de Matemática Discreta, College Publications, London, 2013,
| BibTex
W. Carnielli, M. Coniglio, D. Gabbay, M.P.G. Gouveia, C. Sernadas, Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems, Springer, Berlin, 2008,
| BibTex

9Books Chapters

J. F. Costa, M.P.G. Gouveia, Labyrinth: From Literature to Algorithms, Chapter in, Unconventional Computing, Arts, Philosophy, Andrew Adamatzky, World Scientific Publishing, Singapore, 2022
C. Caleiro, M.P.G. Gouveia, J. Ramos, L. Viganò, A tableau-based decision procedure for distributed temporal logic, Chapter in, Logic and Computation -- Essays in Honour of Amilcar Sernadas, pages 73-124, College Publications, London, 2017
F. Dionísio, M.P.G. Gouveia, J. Marcos, Defining and using deductives systems with Isabelle, Chapter in, Computing, Philosophy and Cognition, pages 271-293, L. Magnani and R. Dossena, King's College Publications, 2005
C. Caleiro, M.P.G. Gouveia, J. Ramos, Completeness results for fibred parchments: Beyond the propositional base, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2755 of Lecture Notes in Computer Science, pages 185-200, M. Wirsing, D. Pattinson, and R. Hennicker, Springer, 2003
M.P.G. Gouveia, C. Sernadas, Abductive reasoning over temporal specifications of objects, Chapter in, Advances in Modal Logic 2, volume 119 of CSLI Lecture Notes, pages 275-300, M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, CSLI Publications, 2001
M.P.G. Gouveia, C. Sernadas, Introducing explanations in temporal object specification, Chapter in, IS-CORE'94 - Selected Papers, pages 53-68, R. Wieringa and R. Feenstra, World Scientific Publishing, 1995
C. Sernadas, M.P.G. Gouveia, J. Gouveia, A. Sernadas, P. Resende, The reification dimension in object-oriented data base design, Chapter in, Specification of Database Systems, pages 275-299, D. Harper and M. Norrie, Springer, 1992
C. Sernadas, M.P.G. Gouveia, A. Sernadas, Refinement: Layered definition of conceptual schemata, Chapter in, Information System Concepts, pages 19-51, E. Falkenberg, C. Rolland, and E. N. El-Sayed, North-Holland, 1992
C. Sernadas, P. Resende, M.P.G. Gouveia, A. Sernadas, In-the-large object-oriented design of information systems, Chapter in, The Object-Oriented Approach in Information Systems, pages 209-232, F. Van Assche, B. Moulin, and C. Rolland, North-Holland, 1991

2Papers in Journals

C. Caleiro, M.P.G. Gouveia, J. Ramos, Hierarchical logical consequence, Logic Journal of the IGPL, Vol. 19, No. 4, pp. 544 - 565, July, 2011 | BibTex
M.P.G. Gouveia, J. Ramos, Multi-agent systems specification and certification: A situation and state calculus approach, Annals of Mathematics and Artificial Intelligence, Vol. 41, No. 2-4, pp. 301 - 338, June, 2004 | BibTex

6Papers in Conferences

M.P.G. Gouveia, F. Dionísio, J. Marcos, Teaching and experimenting with deductive systems using a generic proof assistant, Simpósio Latinoamericano de Lógica Matemática - SLALM, Oaxaca, Mexico, Vol. 1, pp. 49 - 50, August, 2006 | BibTex
M.P.G. Gouveia, C. Sernadas, Abduction in temporal object specification using tableaux, Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Koblenz, Germany, Vol. 1, pp. 43 - 48, May, 1995 | BibTex
M.P.G. Gouveia, C. Sernadas, Reasoning aspects in information systems and databases, International Workshop on the Deductive Approach to Information Systems and Databases, Lloret de Mar, Spain, Vol. 1, pp. 201 - 224, September, 1993 | BibTex
M.P.G. Gouveia, C. Sernadas, J. Gomes, J. Apolinário, Tableaux for reasoning about objects, Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France, Vol. 1, pp. 113 - 125, April, 1993 | BibTex
C. Sernadas, M.P.G. Gouveia, M. A. Lopes, Gentzen-type system for verification in conceptual modeling, Foundations of Models and Languages for Data and Objects, Aigen, Austria, Vol. -, pp. 215 - 228, September, 1991 | BibTex
C. Sernadas, M.P.G. Gouveia, L. Silva, M. A. Lopes, Objects as structuring units for incorporating dynamics in deductive conceptual modeling, The Deductive Approach to Information Systems and Databases, Catalunya, Spain, Vol. -, pp. 93 - 110, January, 1990 | BibTex

Projects

Closed Projects1

Acronym	Name	Funding Agency	Start date	Ending date
KLog	KLog - Logics for Security	FCT/PTDC	01-08-2007	01-08-2010

IT Member Profile

Maria Gouveia

Scientific Achievements

Closed Projects1