| 2004 |
|---|
| 7 | EE | Paula Gouveia,
Jaime Ramos:
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach.
Ann. Math. Artif. Intell. 41(2-4): 301-338 (2004) |
| 2002 |
|---|
| 6 | EE | Carlos Caleiro,
Paula Gouveia,
Jaime Ramos:
Completeness Results for Fibred Parchments: Beyond the Propositional Base.
WADT 2002: 185-200 |
| 1998 |
|---|
| 5 | | Paula Gouveia,
Cristina Sernadas:
Abductive Reasoning over Temporal Specifications of Objects.
Advances in Modal Logic 1998: 275-300 |
| 1993 |
|---|
| 4 | | Paula Gouveia,
Cristina Sernadas:
Reasoning Aspects in Information Systems and Databases.
DAISD 1993: 201-223 |
| 1992 |
|---|
| 3 | | Cristina Sernadas,
Paula Gouveia,
Amílcar Sernadas:
Refinement: Layered Definition of Conceptual Schemata.
ISCO 1992: 19-51 |
| 1991 |
|---|
| 2 | | Cristina Sernadas,
Paula Gouveia,
Antónia Lopes:
Gentzen-Type System for Verification in Conceptual Modeling.
FMLDO 1991: 215-228 |
| 1990 |
|---|
| 1 | | Cristina Sernadas,
Paula Gouveia,
Luísa Silva,
Antónia Lopes:
Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling.
DAISD 1990: 93-110 |
