Amílcar Sernadas

According to our database1, Amílcar Sernadas
  • authored at least 110 papers between 1980 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Universality of quantum Turing machines with deterministic control.
J. Log. Comput., 2017

Decision and optimization problems in the unreliable-circuit logic.
Logic Journal of the IGPL, 2017

2016
Preservation of Admissible Rules when Combining Logics.
Rew. Symb. Logic, 2016

Decision and optimization problems in the Unreliable-Circuit Logic.
CoRR, 2016

2015
Exponentially more concise quantum recognition of non-RMM regular languages.
J. Comput. Syst. Sci., 2015

2014
Fibring as Biporting Subsumes Asymmetric Combinations.
Studia Logica, 2014

Craig Interpolation in the Presence of Unreliable Connectives.
Logica Universalis, 2014

Approximate reasoning about logic circuits with single-fan-out unreliable gates.
J. Log. Comput., 2014

2013
Importing Logics: Soundness and Completeness Preservation.
Studia Logica, 2013

Preservation of Craig interpolation by the product of matrix logics.
J. Applied Logic, 2013

2012
Importing Logics.
Studia Logica, 2012

On meet-combination of logics.
J. Log. Comput., 2012

2011
On Combined Connectives.
Logica Universalis, 2011

Preservation by fibring of the finite model property.
J. Log. Comput., 2011

2009
On Graph-theoretic Fibring of Logics.
J. Log. Comput., 2009

A Graph-theoretic Account of Logics.
J. Log. Comput., 2009

One-way quantum finite automata together with classical states
CoRR, 2009

2008
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification.
J. Log. Comput., 2008

Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems.
Logic Journal of the IGPL, 2008

2007
Reasoning about probabilistic sequential programs.
Theor. Comput. Sci., 2007

Towards Model-Checking Quantum Security Protocols.
Proceedings of the First International Conference on Quantum, Nano, and Micro Technologies, 2007

2006
Weakly complete axiomatization of exogenous quantum propositional logic.
Inf. Comput., 2006

Reasoning About Imperative Quantum Programs.
Electr. Notes Theor. Comput. Sci., 2006

Reasoning About States of Probabilistic Sequential Programs.
Proceedings of the Computer Science Logic, 20th International Workshop, 2006

Quantum Institutions.
Proceedings of the Algebra, Meaning, and Computation, 2006

2005
Weakly complete axiomatization of exogenous quantum propositional logic
CoRR, 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.
Logic Journal of the IGPL, 2004

Reasoning About Quantum Systems.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003
Categorical foundations for randomly timed automata.
Theor. Comput. Sci., 2003

Fibring Logics with Topos Semantics.
J. Log. Comput., 2003

Fibring Non-Truth-Functional Logics: Completeness Preservation.
Journal of Logic, Language and Information, 2003

Truth-values as Labels: A General Recipe for Labelled Deduction.
Journal of Applied Non-Classical Logics, 2003

2002
Fibring Labelled Deduction Systems.
J. Log. Comput., 2002

A two-level temporal logic for evolving specifications.
Inf. Process. Lett., 2002

Fibring Modal First-Order Logics: Completeness Preservation.
Logic Journal of the IGPL, 2002

Labelled Deduction over Algebras of Truth-Values.
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

2001
Fibring: Completeness Preservation.
J. Symb. Log., 2001

Probabilistic Situation Calculus.
Ann. Math. Artif. Intell., 2001

Combining Logics: Parchments Revisited.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

2000
Fibring Logics, Dov M. Gabbay.
Journal of Logic, Language and Information, 2000

Non-Determinism and Uncertainty in the Situation Calculus.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2000

1999
Precategories for combining probabilistic automata.
Electr. Notes Theor. Comput. Sci., 1999

Fibring of Logics as a Categorial Construction.
J. Log. Comput., 1999

Realization of Probabilistic Automata: Categorial Approach.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

An Institution of Hybrid Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Nondeterminism and Uncertainty in the Situation Calculus.
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

1998
Nonsequential Automata Semantics for a Concurrent, Object-Based Language.
Electr. Notes Theor. Comput. Sci., 1998

Denotational Semantics of Object Specification.
Acta Inf., 1998

The Situation and State Calculus versus Branching Temporal Logic.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Parameterisation of Logics.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Logics for Specifying Concurrent 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

1997
Synchronization of Logics.
Studia Logica, 1997

Synchronization of Logics with Mixed Rules: Completeness Preservation.
Proceedings of the Algebraic Methodology and Software Technology, 1997

A Linear Temporal Logic Approach to Objects with Transactions.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
Deriving Liveness Goals from Temporal Logic Specifications.
J. Symb. Comput., 1996

A Temporal Logic Approach to Object Certification.
Data Knowl. Eng., 1996

1995
Object Specification Logic.
J. Log. Comput., 1995

Progress Assumption in Concurrent Systems.
Formal Asp. Comput., 1995

Refinement Mapping for General (Discrete Event) Systems Theory.
Proceedings of the Computer Aided Systems Theory, 1995

1994
Object Inheritance Beyond Subtyping.
Acta Inf., 1994

Object Certification (Invited Lecture).
DAISD, 1994

A Theory-based Typological Notion of Institutions.
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

Local Specification of Distributed Families of Sequential Objects.
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
Constructing Systems as Object Communities.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Data Encapsulation and Modularity: Three Views of Inheritance.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Real-Time Object Specification Logic.
DAISD, 1993

Object-Oriented Design of Information Systems: Theoretical Foundations.
CISM - Advances in Database Systems, 1993

1992
Object Interaction.
Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

Concepts of Object-Orientation.
Proceedings of the Informationssysteme und Künstliche Intelligenz: Modellierung, 1992

Refinement: Layered Definition of Conceptual Schemata.
Proceedings of the Information System Concepts: Improving the Understanding, 1992

An Institution of Object Behaviour.
Proceedings of the Recent Trends in Data Type Specification, 1992

1991
Reasoning about Objects Using a Tableau Method.
J. Log. Comput., 1991

Formal techniques for systems specification and verification.
Inf. Syst., 1991

Process Semantics of Temporal Logic Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1991

Objects and their Specification.
Proceedings of the Recent Trends in Data Type Specification, 1991

1990
Logics of Modal Terms for Systems Specification.
J. Log. Comput., 1990

Modular construction of logic knowledge bases: an algebraic approach.
Inf. Syst., 1990

Branching versus Linear Logics Yet Again.
Formal Asp. Comput., 1990

From Data Types to Object Types.
Elektronische Informationsverarbeitung und Kybernetik, 1990

An object-oriented specification tool for graphical interfaces.
Computers & Graphics, 1990

A Categorial Theory of Objects as Observed Processes.
Proceedings of the Foundations of Object-Oriented Languages, 1990

What is an Object, After All?
Proceedings of the Object-Oriented Databases: Analysis, 1990

1989
Algebraic Implementation of Objects over Objects.
Proceedings of the Stepwise Refinement of Distributed Systems, 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

Inevitability in Branching Time.
Proceedings of the Logic at Botik '89, 1989

1988
Specification and Verification of Database Dynamics.
Acta Inf., 1988

Abstract Object Types for Databases.
Proceedings of the Advances in Object-Oriented Database Systems, 1988

Knowledgebases as Structured Theories.
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

A Database Design and Construction Workbench.
Computerized Assistance During the Information Systems Life Cycle, 1988

Objects, Object Types, and Object Identification.
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Objects and Object Types.
ADT, 1988

1987
Object-Oriented Specification of Databases: An Algebraic Approach.
Proceedings of the VLDB'87, 1987

Abstract Object Types: A Temporal Perspective.
Proceedings of the Temporal Logic in Specification, 1987

Behavioural Aspects of Intelligent Knowledge-Based Information Systems.
Proceedings of the Temporal Aspects in Information Systems, 1987

A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification.
Proceedings of the Temporal Aspects in Information Systems, 1987

Structuring Theories on Consequence.
Proceedings of the Recent Trends in Data Type Specification, 1987

1986
The INFOLOG linear tense propositional logic of events and transactions.
Inf. Syst., 1986

Future Information Systems (Panel).
IFIP Congress, 1986

Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure.
ADT, 1986

1985
Towards knowledge-based infolog specifications A case study of information engineering.
Decision Support Systems, 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.
Foundations of Knowledge Base Management (Xania), 1985

1982
BIPS: A Layered Predicative Query Language for a DBTG Database System.
JCDKB, 1982

1981
SYSTEMATICS: Its Syntax and Semantics as a Query Language (2).
Comput. J., 1981

SYSTEMATICS: Its Syntax and Semantics as a Query Language (1).
Comput. J., 1981

1980
Temporal aspects of logical procedure definiton.
Inf. Syst., 1980


  Loading...