Search the dblp DataBase
Paula Gouveia: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Paula Gouveia, Cristina Sernadas
Abductive Reasoning over Temporal Specifications of Objects. [Citation Graph (0, 0)][DBLP]
Advances in Modal Logic, 1998, pp:275-300 [Conf] - Cristina Sernadas, Paula Gouveia, Luísa Silva, Antónia Lopes
Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling. [Citation Graph (0, 0)][DBLP]
DAISD, 1990, pp:93-110 [Conf] - Paula Gouveia, Cristina Sernadas
Reasoning Aspects in Information Systems and Databases. [Citation Graph (0, 0)][DBLP]
DAISD, 1993, pp:201-223 [Conf] - Cristina Sernadas, Paula Gouveia, Antónia Lopes
Gentzen-Type System for Verification in Conceptual Modeling. [Citation Graph (0, 0)][DBLP]
FMLDO, 1991, pp:215-228 [Conf] - Cristina Sernadas, Paula Gouveia, Amílcar Sernadas
Refinement: Layered Definition of Conceptual Schemata. [Citation Graph (0, 0)][DBLP]
ISCO, 1992, pp:19-51 [Conf] - Carlos Caleiro, Paula Gouveia, Jaime Ramos
Completeness Results for Fibred Parchments: Beyond the Propositional Base. [Citation Graph (0, 0)][DBLP]
WADT, 2002, pp:185-200 [Conf] - Paula Gouveia, Jaime Ramos
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach. [Citation Graph (0, 0)][DBLP]
Ann. Math. Artif. Intell., 2004, v:41, n:2-4, pp:301-338 [Journal]
Search in 0.002secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002