The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paula Gouveia: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Paula Gouveia, Cristina Sernadas
    Reasoning Aspects in Information Systems and Databases. [Citation Graph (0, 0)][DBLP]
    DAISD, 1993, pp:201-223 [Conf]
  4. 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]
  5. Cristina Sernadas, Paula Gouveia, Amílcar Sernadas
    Refinement: Layered Definition of Conceptual Schemata. [Citation Graph (0, 0)][DBLP]
    ISCO, 1992, pp:19-51 [Conf]
  6. 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]
  7. 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.003secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002