Cristina Sernadas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
8
Active years
1985–1999
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | FlAIRS | Nondeterminism and Uncertainty in the Situation Calculus. | Javier Pinto, Amlcar Sernadas, Cristina Sernadas, Paulo Mateus |
| 1998 | AiML | Abductive Reasoning over Temporal Specifications of Objects. | Paula Gouveia, Cristina Sernadas |
| 1994 | COMPASS | A Theory-based Typological Notion of Institutions. | Amlcar Sernadas, Cristina Sernadas, Jos Manuel Valena |
| 1993 | MFCS | Data Encapsulation and Modularity: Three Views of Inheritance. | Jos Flix Costa, Amlcar Sernadas, Cristina Sernadas |
| 1992 | COMPASS | An Institution of Object Behaviour. | Amlcar Sernadas, Jos Flix Costa, Cristina Sernadas |
| 1992 | ISCO | Refinement: Layered Definition of Conceptual Schemata. | Cristina Sernadas, Paula Gouveia, Amlcar Sernadas |
| 1992 | MFCS | Object Interaction. | Jos Flix Costa, Amlcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich |
| 1990 | DS | Proof-Theoretic Semantics of Object-Oriented Specification Constructs. | Jos Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake |
| 1989 | ISCO | Proof-theoretic Conceptual Modeling: the NIAM Case Study. | Cristina Sernadas, Jos Luiz Fiadeiro, Robert Meersman, Amlcar Sernadas |
| 1989 | ISCO | The Basic Building Blocks of Information Systems. | Amlcar Sernadas, Jos Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich |
| 1988 | DS | Object-Oriented Conceptual Modeling from Law. | Cristina Sernadas, Jos Luiz Fiadeiro, Amlcar Sernadas |
| 1987 | VLDB | Object-Oriented Specification of Databases: An Algebraic Approach. | Amlcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich |
| 1985 | DS | Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions. | Cristina Sernadas, Amlcar Sernadas |
| 1985 | ER | The Use of E-R Abstractions for Knowledge Representation. | Amlcar Sernadas, Cristina Sernadas |