Cristina Sernadas

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Paula Gouveia

> Home > Persons > Cristina Sernadas

Publications

1998
[c29]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/GouvelaS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/GouvelaS98
Paula Gouveia, Cristina Sernadas:
Abductive Reasoning over Temporal Specifications of Objects. Advances in Modal Logic 1998: 275-300
1993
[c22]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/daisd/GouveiaS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/daisd/GouveiaS93
Paula Gouveia, Cristina Sernadas:
Reasoning Aspects in Information Systems and Databases. DAISD 1993: 201-223
1992
[c19]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/isco/SernadasGS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isco/SernadasGS92
Cristina Sernadas, Paula Gouveia, Amílcar Sernadas:
Refinement: Layered Definition of Conceptual Schemata. ISCO 1992: 19-51
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/92/SernadasGGSR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/92/SernadasGGSR92
Cristina Sernadas, Paula Gouveia, João Gouveia, Amílcar Sernadas, Pedro Resende:
The Reification Dimension in Object-oriented Data Base Design. Specifications of Database Systems 1992: 275-299
1991
[c17]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fmldo/SernadasGL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmldo/SernadasGL91
Cristina Sernadas, Paula Gouveia, Antónia Lopes:
Gentzen-Type System for Verification in Conceptual Modeling. FMLDO 1991: 215-228
1990
[c15]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/daisd/SernadasGSL90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/daisd/SernadasGSL90
Cristina Sernadas, Paula Gouveia, Luísa Silva, Antónia Lopes:
Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling. DAISD 1990: 93-110

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.