Amlcar Sernadas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
9
Active years
1985–2006
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | CSL | Reasoning About States of Probabilistic Sequential Programs. | Rohit Chadha, Paulo Mateus, Amlcar Sernadas |
| 2004 | JELIA | Reasoning About Quantum Systems. | Paulo Mateus, Amlcar Sernadas |
| 1999 | FlAIRS | Nondeterminism and Uncertainty in the Situation Calculus. | Javier Pinto, Amlcar Sernadas, Cristina Sernadas, Paulo Mateus |
| 1994 | COMPASS | Local Specification of Distributed Families of Sequential Objects. | Hans-Dieter Ehrich, Amlcar 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 |
| 1991 | COMPASS | Objects and their Specification. | Hans-Dieter Ehrich, Martin Gogolla, Amlcar Sernadas |
| 1991 | COMPASS | Process Semantics of Temporal Logic Specifications. | Jos Luiz Fiadeiro, Jos Flix Costa, Amlcar Sernadas, T. S. E. Maibaum |
| 1990 | DS | What is an Object, After All? | Amlcar Sernadas, Hans-Dieter Ehrich |
| 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 |