Creating and sharing knowledge for telecommunications

IT Member Profile

... Maria Paula Antunes Abrantes Gouveia

Researcher

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

  • PhD, Instituto Superior Técnico, 01-01-1998
  • MSc, Instituto Superior Técnico, 01-01-1993
  • Licenciatura, Universidade de Lisboa, 01-01-1986
  • Instituto Superior Técnico, 01-01-1989, Assistant Professor
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
5Books
  • J. F. Costa, M.P.G. Gouveia, Matemática Discreta (2a edição Revista e Aumentada), IST Press, Lisboa, 2025,
    | BibTex
  • 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
4Papers in Journals
  • M.P.G. Gouveia, J. Rasga, C. Sernadas, Meet-Combination of Consequence Systems, Logic and Logical Philosophy, Vol. 34, No. 1, pp. 73 - 108, May, 2024 | BibTex
  • B.P. Patrício, J. F. Costa, M.P.G. Gouveia, Ex-identification and scientific discovery, international journal of parallel, emergent and distributed systems, Vol. 39, No. 4, pp. 413 - 445, May, 2024 | BibTex
  • 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

Closed Projects1

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

Activities from this researcher fall under the following United Nations Strategic Development Goals (SDGs):

© 2025, IT - Instituto de Telecomunicações | All Rights Reserved