Paula Gouveia

According to our database1, Paula Gouveia authored at least 10 papers between 1990 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
<tt> Ex </tt> -identification and scientific discovery.
Int. J. Parallel Emergent Distributed Syst., July, 2024

2011
Hierarchical logical consequence.
Log. J. IGPL, 2011

2004
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach.
Ann. Math. Artif. Intell., 2004

2002
Completeness Results for Fibred Parchments: Beyond the Propositional Base.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

1998
Abductive Reasoning over Temporal Specifications of Objects.
Proceedings of the Advances in Modal Logic 2, 1998

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

1992
Refinement: Layered Definition of Conceptual Schemata.
Proceedings of the Information System Concepts: Improving the Understanding, 1992

The Reification Dimension in Object-oriented Data Base Design.
Proceedings of the Specifications of Database Systems, 1992

1991
Gentzen-Type System for Verification in Conceptual Modeling.
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.
Proceedings of the International Workshop on the Deductive Approach to Information Systems and Databases, 1990


  Loading...