Creating and sharing knowledge for telecommunications
... Maria Paula Antunes Abrantes Gouveia

Researcher

Maria Gouveia

Academic position: Assistant Professor
Joining date: 31-12-2006
Roles in IT: Researcher
Scientific Area: Networks and Multimedia
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
  • 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
  • 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
  • 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