Paula Gouveia

According to our database, Paula Gouveia authored at least 9 papers between 1990 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Hierarchical logical consequence.

Carlos Caleiro, Paula Gouveia, Jaime Ramos

Log. J. IGPL, 2011

2004

Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach.

Paula Gouveia, Jaime Ramos

Ann. Math. Artif. Intell., 2004

2002

Completeness Results for Fibred Parchments: Beyond the Propositional Base.

Carlos Caleiro, Paula Gouveia, Jaime Ramos

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

1998

Abductive Reasoning over Temporal Specifications of Objects.

Paula Gouveia, Cristina Sernadas

Proceedings of the Advances in Modal Logic 2, 1998

1993

Reasoning Aspects in Information Systems and Databases.

Paula Gouveia, Cristina Sernadas

Proceedings of the Fourth International Workshop on the Deductive Approach to Information Systems and Databases, 1993

1992

Refinement: Layered Definition of Conceptual Schemata.

Cristina Sernadas, Paula Gouveia, Amílcar Sernadas

Proceedings of the Information System Concepts: Improving the Understanding, 1992

The Reification Dimension in Object-oriented Data Base Design.

Cristina Sernadas, Paula Gouveia, João Gouveia, Amílcar Sernadas, Pedro Resende

Proceedings of the Specifications of Database Systems, 1992

1991

Gentzen-Type System for Verification in Conceptual Modeling.

Cristina Sernadas, Paula Gouveia, Antónia Lopes

Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

1990

Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling.

Cristina Sernadas, Paula Gouveia, Luísa Silva, Antónia Lopes

Proceedings of the International Workshop on the Deductive Approach to Information Systems and Databases, 1990