Cristina Sernadas | Academic Influence

Cristina Sernadas's AcademicInfluence.com Rankings

Cristina Sernadas

Computer Science

#4714

World Rank

#4977

Historical Rank

Machine Learning

#5529

World Rank

#5603

Historical Rank

Artificial Intelligence

#5992

World Rank

#6084

Historical Rank

Database

#9225

World Rank

#9707

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Cristina Sernadas's Degrees

PhD Computer Science University of Lisbon
Masters Computer Science University of Porto
Bachelors Computer Science University of Coimbra

Similar Degrees You Can Earn

Why Is Cristina Sernadas Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Maria Cristina De Sales Viana Serôdio Sernadas is a Portuguese mathematical logician whose research topics have included object-oriented specification languages and logics for information systems, and the use of category theory in the combination of multiple types of logic. She is Professor for Logic and Computation in the Department of Mathematics of the Technical University of Lisbon.

(See a Problem?)

Cristina Sernadas's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Object-Oriented Specification of Databases: An Algebraic Approach (1987) (162)
TROLL: a language for object-oriented specification of information systems (1996) (144)
Fibring of Logics as a Categorial Construction (1999) (115)
Fibring: completeness preservation (2001) (85)
Object Specification Logic (1995) (81)
The Basic Building Blocks of Information Systems (1989) (74)
Proof-Theoretic Semantics of Object-Oriented Specification Constructs (1990) (62)
Abstract Object Types: A Temporal Perspective (1987) (60)
Modulated fibring and the collapsing problem (2002) (60)
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (2008) (55)
Probabilistic Situation Calculus (2001) (54)
From Data Types to Object Types (1990) (45)
Object Speciication Logic (1995) (45)
Fibring Non-Truth-Functional Logics: Completeness Preservation (2003) (45)
Fibring of Logics as a Universal Construction (2005) (42)
Exogenous Semantics Approach to Enriching Logics (2005) (38)
Categorial Fibring of Logics with Terms and Binding Operators (1998) (30)
Parameterisation of Logics (1998) (29)
An Institution of Object Behaviour (1992) (29)
Analysis and Synthesis of Logics (2008) (28)
Fibring Modal First-Order Logics: Completeness Preservation (2002) (27)
Synchronization of Logics (1997) (27)
Fibring Labelled Deduction Systems (2002) (27)
Fibring Logics with Topos Semantics (2003) (25)
Objects, Object Types, and Object Identification (1988) (24)
Towards object-oriented conceptual modeling (1991) (24)
Nondeterminism and Uncertainty in the Situation Calculus (1999) (22)
Preservation of Interpolation Features by Fibring (2008) (20)
Quantum Institutions (2006) (20)
Abstract Object Types for Databases (1988) (20)
Fibring Logics: Past, Present and Future (2005) (19)
DESCRIBING AND STRUCTURING OBJECTS FOR CONCEPTUAL SCHEMA DEVELOPMENT (1992) (19)
Proof-theoretic Conceptual Modeling: the NIAM Case Study (1989) (18)
Extending Classical Logic for Reasoning About Quantum Systems (2009) (18)
A Graph-theoretic Account of Logics (2009) (18)
Combining logic systems: Why, how, what for? (2003) (17)
A Temporal Logic Approach to Object Certification (1996) (17)
Object Interaction (1992) (17)
On meet-combination of logics (2012) (16)
Synchronization of Logics with Mixed Rules: Completeness Preservation (1997) (15)
Temporal logics for reasoning about quantum systems (2009) (15)
The Reification Dimension in Object-oriented Data Base Design (1992) (15)
Denotational Semantics of Object Specification Within an Arbitrary Temporal Logic Institution (1993) (14)
Importing Logics (2012) (14)
Theory Spaces (2007) (13)
On Graph-theoretic Fibring of Logics (2009) (13)
Modular construction of logic knowledge bases: an algebraic approach (1990) (12)
Denotational semantics of object specification (1998) (12)
Precategories for combining probabilistic automata (1999) (12)
Evolving Logical Specification in Information Systems (1998) (12)
Object-Oriented Conceptual Modeling from Law (1988) (10)
Preservation by fibring of the finite model property (2011) (9)
Importing Logics: Soundness and Completeness Preservation (2013) (8)
The Use of E-R Abstractions for Knowledge Representation (1985) (8)
On Combined Connectives (2011) (8)
Preservation of Craig interpolation by the product of matrix logics (2013) (7)
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity (2004) (7)
Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions (1985) (7)
Approximate reasoning about logic circuits with single-fan-out unreliable gates (2014) (7)
Foundations of Logic and Theory of Computation (2008) (7)
Abstraction and Inference Mechanism for Knowledge Representation (1989) (7)
Knowledgebases as Structured Theories (1988) (7)
Interpolation via translations (2009) (6)
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification (2008) (6)
Data Encapsulation and Modularity: Three Views of Inheritance (1993) (6)
Abstract Data Type Semantics for Many-Sorted Object Query Algebras (1991) (6)
Labelled Deduction over Algebras of Truth-Values (2002) (5)
Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems (2007) (5)
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination (2005) (5)
A Theory-based Typological Notion of Institutions (1994) (5)
Gentzen-Type System for Verification in Conceptual Modeling (1991) (5)
Fibring as Biporting Subsumes Asymmetric Combinations (2014) (4)
Conceptual modelling for knowledge-based DSS development (1987) (4)
An object-oriented specification tool for graphical interfaces (1990) (4)
A two-level temporal logic for evolving specifications (2002) (4)
Communication knowledge systems. Part II - big talk among small systems (1987) (4)
PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (2016) (4)
A Roadmap to Decidability (2015) (3)
On probability and logic (2016) (3)
Reasoning Aspects in Information Systems and Databases (1993) (3)
Tableaux for Reasoning About Objects (1993) (3)
Completeness and interpolation of almost‐everywhere quantification over finitely additive measures (2013) (3)
Refinement: Layered Definition of Conceptual Schemata (1992) (3)
Realization of Probabilistic Automata: Categorial Approach (1999) (3)
Parallel Composition of Logics — Semantics (2010) (3)
Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling (1990) (3)
Preservation of interpolation by fibring (2004) (2)
Topos-theoretic Semantics of Fibring (2002) (2)
Time-Stamped Claim Logic (2019) (2)
REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (2021) (2)
Object inheritance beyond subtyping (1994) (2)
Probabilistic and quantum institutions revisited (2006) (2)
A complete axiomatization of higher-order intuitionistic logic (2002) (2)
Truth-values as labels: a general recipe for labelled deduction (2003) (2)
A Hilbert-style axiomatization of higher-order intuitionistic logic (2005) (1)
Decision and optimization problems in the Unreliable-Circuit Logic (2016) (1)
Craig Interpolation in the Presence of Unreliable Connectives (2014) (1)
Fibring (Para)consistent Logics (2000) (1)
The essence of proofs when fibring sequent calculi (2005) (1)
Event-Based Time-Stamped Claim Logic (2021) (1)
Appendix on Interpolation via translations : proofs as expected (2008) (1)
Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure (1986) (1)
Graph-theoretic Fibring of Logics Part I-Completeness (2008) (1)
Probabilistic logic of quantum observations (2016) (1)
Essential Structure of Proofs as a Measure of Complexity (2020) (1)
Abductive Reasoning over Temporal Specifications of Objects (1998) (1)
Categorical foundations for randomly timed automata (2003) (1)
Graph-theoretic Fibring of Logics Part II-Completeness Preservation (2008) (1)
Objects and Object Types (1988) (1)
Decidability of Logical Theories and Their Combination (2020) (1)
Mechanisms for Combining Logics (2007) (1)
First-Order Logic (2020) (0)
New trends: Network fibring (2008) (0)
Randomly Timed (0)
Reasoning about logic circuits with independent input errors (2014) (0)
Fibring as Biporting Subsumes Asymmetric Combinations (2013) (0)
Preservation of Craig interpolation (2013) (0)
Importing Logics (2012) (0)
Decidability Results on Theories (2020) (0)
Feasible Object Certi cationzPaula Gouveia (1995) (0)
Adding abductive reasoning to a propositional logic (2022) (0)
Role of Logic in Information Systems (2006) (0)
Fusion of sequent modal logic systems labelled with truth values (2010) (0)
Sequent calculi based on derivations Preservation of properties by fibring (2005) (0)
Conservative Translations Revisited (2022) (0)
Fibring non-truth functional logics (2008) (0)
Synchronization of Logics X (1996) (0)
Weak soundness and completeness preservation by parallel composition (2010) (0)
Enriching Temporal Object Speci cations by AbductionPaula GouveiaCristina SernadasDep (2007) (0)
OBJECT-ORIENTED SPEClFlCATlON OF DATABASES : AN ALGEBRAlC APPROACH (1998) (0)
Summing-up and outlook (2008) (0)
Fibring higher-order logics (2008) (0)
Aggregation and Interconnection of Hybrid Automata: Categorial Characterization (1998) (0)
Splicing logics: Syntactic fibring (2008) (0)
Role of Logic in Information Systems 17 – 21 July 1995 organized (2008) (0)
Role of Logics in Information Systems (Dagstuhl Seminar 9529) (2021) (0)
Quantifier Elimination (2020) (0)
Quantifier elimination via adjunction (2010) (0)
Combination of Theories (2020) (0)
The Role of Conceptual Modelling Abstractions in Compiler Development (1987) (0)
Importing Logics: Soundness and Completeness Preservation (2012) (0)
Fibring first-order logics (2008) (0)
Schema Complexity in Propositional-Based Logics (2021) (0)
Communication knowledge systems: Part I - Big talk among small systems (1987) (0)
Ju l 2 01 9 Time-Stamped Claim Logic (2019) (0)
Reasoning with Theories (2020) (0)
Object Certification (Invited Lecture) (1994) (0)
7 Evolving Logical Specification in Information Systems 202 Logics for Databases and Information Systems 7.2 Motivation and Language (2007) (0)
in the Presence of Unreliable Connectives (2014) (0)
Craig Interpolation in the Presence of Unreliable Connectives (2014) (0)
Splicing logics: Semantic fibring (2008) (0)
Essential Structure of Proofs as a Measure of Complexity (2020) (0)
SPECIFICATION IN INFORMATION SYSTEMS (1998) (0)

This paper list is powered by the following services:

Other Resources About Cristina Sernadas

en.wikipedia.org

What Schools Are Affiliated With Cristina Sernadas?

Cristina Sernadas is affiliated with the following schools: