• J.-F. Costa e P. Gouveia. Matemática Discreta. Volume 62 da Coleção Ensino da Ciência e da Tecnologia, IST Press, 2019
  • P. Blackburn, J. Bos e  K. Striegnitz (traduzido por P. Gouveia e J. Ramos). Aprenda Prolog Já!, College Publications, 2014.
  • J. Carmo, P. Gouveia e F. M. Dionísio. Elementos de Matemática Discreta. College Publications, 2013
  • W. Carnielli, M. Coniglio, D. Gabbay, P. Gouveia e C. Sernadas, Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems, volume 35 da série Applied Logic, Springer, 2008

Capítulos de livros

  • J.-F. Costa e P. Gouveia. Labyrinth: From Literature to Algorithms. Unconventional Computing, Arts, Philosophy, Andrew Adamatzky (editor), pgs 1-40. World Scientific Publishing, 2022.
  • C. Caleiro, P. Gouveia, J. Ramos, L. Viganò. A tableau-based decision procedure for distributed temporal logic. Logic and Computation -- Essays in Honour of Amilcar Sernadas, pg 73-124. College Publications, 2017.
  • P. Gouveia, F. M. Dionísio e J. Marcos. Teaching and experimenting with deductive systems using a generic proof assistant. XIII Simposio Latinoamericano de Lógica Matemática, Proceedings of the XIII SLALM, pgs 49--50, 2006.
  • F. M. Dionísio, P. Gouveia, e J. Marcos. Defining and using deductive systems with Isabelle. Computing, Philosophy, and Cognition, L. Magnani e R. Dossena (editores) pgs 271--293. King's College Publications, 2005
  • C. Caleiro, P. Gouveia e J. Ramos. Completeness results for fibred parchments: Beyond the propositional base.  Recent Trends in Algebraic Development Techniques - Selected Papers, M. Wirsing, D. Pattinson e  R. Hennicker (editores),  Lecture Notes in Computer Science volume 2755, pgs 185--200. Springer, 2003.
  • P. Gouveia e C. Sernadas. Abductive reasoning over temporal specifications of objects. Advances in Modal Logic 2, M. Zakharyaschev, K. Segerberg, M. de Rijke e H. Wansing (editores),  CSLI Lecture Notes volume 119, pgs 275--300. CSLI Publications, 2001
  • P. Gouveia e C. Sernadas. Introducing explanations in temporal object specification. IS-CORE'94 - Selected Papers, R. Wieringa e R. Feenstra (editores), pgs 53--68. World Scientific Publishers, 1995.
  • P. Gouveia, C. Sernadas, J. Gomes e J. Apolinário. Tableaux for reasoning about objects. Theorem Proving with Analytic Tableaux and Related Methods, D. Basin, R. Hahnle, B. Fronhofer, J. Possegge, and C. Schwind (editores), pgs  113--125.Max-Planck-Institut für Informatik, 1993.

Artigos em revistas

  • C. Caleiro, P. Gouveia e J. Ramos. Hierarchical logical consequence. Logic Journal of the IGPL, 19(4):544--565, 2011
  • P. Gouveia e J. Ramos. Multi-agent systems specification and certification: A situation and state calculus approach. Annals of Mathematics and Artificial Intelligence, 41(2-4):301--338, 2004.