Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling. - Cristina Sernadas; Paula Gouveia; Luísa Silva; Antónia Lopes (DAISD, 1990)

Gentzen-Type System for Verification in Conceptual Modeling. - Cristina Sernadas; Paula Gouveia; Antónia Lopes (FMLDO, 1991)

The Reification Dimension in Object-oriented Data Base Design. - Cristina Sernadas; Paula Gouveia; João Gouveia; Amílcar Sernadas; Pedro Resende (Specifications of Database Systems, 1992)

Refinement: Layered Definition of Conceptual Schemata. - Cristina Sernadas; Paula Gouveia; Amílcar Sernadas (ISCO, 1992)

Reasoning Aspects in Information Systems and Databases. - Paula Gouveia; Cristina Sernadas (DAISD, 1993)

Abductive Reasoning over Temporal Specifications of Objects. - Paula Gouveia; Cristina Sernadas (Advances in Modal Logic, 1998)

Completeness Results for Fibred Parchments: Beyond the Propositional Base. - Carlos Caleiro; Paula Gouveia; Jaime Ramos (WADT, 2002)

Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach. - Paula Gouveia; Jaime Ramos (Ann. Math. Artif. Intell., 2004)

Hierarchical logical consequence. - Carlos Caleiro; Paula Gouveia; Jaime Ramos (Log. J. IGPL, 2011)

Ex -identification and scientific discovery. - Bruno Patrício; José Félix Costa; Paula Gouveia (Int. J. Parallel Emergent Distributed Syst., 2024)