Cristina Sernadas
Orcid: 0000-0002-5510-3512Affiliations:
- University of Lisbon, Portugal
According to our database1,
Cristina Sernadas
authored at least 89 papers
between 1985 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
2022
2021
Bull. Symb. Log., 2021
2020
2019
2017
Log. J. IGPL, 2017
2016
2014
Logica Universalis, 2014
J. Log. Comput., 2014
2013
Completeness and interpolation of almost-everywhere quantification over finitely additive measures.
Math. Log. Q., 2013
J. Appl. Log., 2013
2012
2011
2010
2009
2008
J. Log. Comput., 2008
Log. J. IGPL, 2008
2006
2005
Log. J. IGPL, 2005
Fibring Logics: Past, Present and Future.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005
2004
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity.
Log. J. IGPL, 2004
2003
J. Log. Lang. Inf., 2003
J. Appl. Non Class. Logics, 2003
2002
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002
2001
2000
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2000
1999
Proceedings of the Conference on Category Theory and Computer Science, 1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999
1998
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998
Categorial Fibring of Logics with Terms and Binding Operators.
Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998
Evolving Logical Specification in Information Systems.
Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998
Abductive Reasoning over Temporal Specifications of Objects.
Proceedings of the Advances in Modal Logic 2, 1998
1997
Proceedings of the Algebraic Methodology and Software Technology, 1997
1996
ACM Trans. Inf. Syst., 1996
1995
1994
Object Certification (Invited Lecture).
Proceedings of the Fith International Workshop on the Deductive Approach to Information Systems and Databases, 1994
Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994
1993
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993
Reasoning Aspects in Information Systems and Databases.
Proceedings of the Fourth International Workshop on the Deductive Approach to Information Systems and Databases, 1993
1992
Proceedings of the Mathematical Foundations of Computer Science 1992, 1992
Refinement: Layered Definition of Conceptual Schemata.
Proceedings of the Information System Concepts: Improving the Understanding, 1992
Proceedings of the Recent Trends in Data Type Specification, 1992
Proceedings of the Specifications of Database Systems, 1992
1991
Proceedings of the MFDBS 91, 1991
Gentzen-Type System for Verification in Conceptual Modeling.
Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991
1990
Inf. Syst., 1990
From Data Types to Object Types.
J. Inf. Process. Cybern., 1990
Proof-Theoretic Semantics of Object-Oriented Specification Constructs.
Proceedings of the Object-Oriented Databases: Analysis, 1990
Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling.
Proceedings of the International Workshop on the Deductive Approach to Information Systems and Databases, 1990
1989
The Basic Building Blocks of Information Systems.
Proceedings of the Information System Concepts: An In-depth Analysis, 1989
Proof-theoretic Conceptual Modeling: the NIAM Case Study.
Proceedings of the Information System Concepts: An In-depth Analysis, 1989
1988
Proceedings of the Advances in Object-Oriented Database Systems, 1988
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988
Object-Oriented Conceptual Modeling from Law.
Proceedings of the IFIP TC2/TC8/WG 2.6/WG 8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems, 1988
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988
Objects and Object Types.
Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988
1987
Comput. J., 1987
Appl. Artif. Intell., 1987
Appl. Artif. Intell., 1987
Proceedings of the VLDB'87, 1987
Proceedings of the Temporal Logic in Specification, 1987
1986
Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure.
Proceedings of the 4st Workshop on Abstract Data Type, 1986
1985
The Use of E-R Abstractions for Knowledge Representation.
Proceedings of the Entity-Relationship Approach: The Use of ER Concept in Knowledge Representation, 1985
Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions.
Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics (DS-1). Hasselt, 1985
Abstraction and Inference Mechanism for Knowledge Representation.
Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985