Amílcar Sernadas

According to our database, Amílcar Sernadas authored at least 111 papers between 1980 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Probabilistic logic of quantum observations.

Amílcar Sernadas, João Rasga, Cristina Sernadas, Luís Alcácer, Alfredo Barbosa Henriques

Log. J. IGPL, 2019

2017

Universality of quantum Turing machines with deterministic control.

Paulo Mateus, Amílcar Sernadas, André Souto

J. Log. Comput., 2017

Decision and optimization problems in the unreliable-circuit logic.

João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas

Log. J. IGPL, 2017

2016

Preservation of Admissible Rules when Combining Logics.

João Rasga, Cristina Sernadas, Amílcar Sernadas

Rev. Symb. Log., 2016

2015

Exponentially more concise quantum recognition of non-RMM regular languages.

Daowen Qiu, Lvzhou Li, Paulo Mateus, Amílcar Sernadas

J. Comput. Syst. Sci., 2015

2014

Fibring as Biporting Subsumes Asymmetric Combinations.

João Rasga, Amílcar Sernadas, Cristina Sernadas

Stud Logica, 2014

Craig Interpolation in the Presence of Unreliable Connectives.

João Rasga, Cristina Sernadas, Amílcar Sernadas

Logica Universalis, 2014

Approximate reasoning about logic circuits with single-fan-out unreliable gates.

Amílcar Sernadas, João Rasga, Cristina Sernadas, Paulo Mateus

J. Log. Comput., 2014

2013

Importing Logics: Soundness and Completeness Preservation.

João Rasga, Amílcar Sernadas, Cristina Sernadas

Stud Logica, 2013

Preservation of Craig interpolation by the product of matrix logics.

Cristina Sernadas, João Rasga, Amílcar Sernadas

J. Appl. Log., 2013

2012

Importing Logics.

João Rasga, Amílcar Sernadas, Cristina Sernadas

Stud Logica, 2012

On meet-combination of logics.

Amílcar Sernadas, Cristina Sernadas, João Rasga

J. Log. Comput., 2012

2011

On Combined Connectives.

Amílcar Sernadas, Cristina Sernadas, João Rasga

Logica Universalis, 2011

Preservation by fibring of the finite model property.

Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas

J. Log. Comput., 2011

2009

On Graph-theoretic Fibring of Logics.

Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio

J. Log. Comput., 2009

A Graph-theoretic Account of Logics.

Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio

J. Log. Comput., 2009

One-way quantum finite automata together with classical states

Daowen Qiu, Paulo Mateus, Xiangfu Zou, Amílcar Sernadas

CoRR, 2009

2008

Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification.

Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, Cristina Sernadas

J. Log. Comput., 2008

Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems.

Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas

Log. J. IGPL, 2008

2007

Reasoning about probabilistic sequential programs.

Rohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas

Theor. Comput. Sci., 2007

Towards Model-Checking Quantum Security Protocols.

Pedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas

Proceedings of the First International Conference on Quantum, Nano, and Micro Technologies, 2007

2006

Weakly complete axiomatization of exogenous quantum propositional logic.

Paulo Mateus, Amílcar Sernadas

Inf. Comput., 2006

Reasoning About Imperative Quantum Programs.

Rohit Chadha, Paulo Mateus, Amílcar Sernadas

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

Reasoning About States of Probabilistic Sequential Programs.

Rohit Chadha, Paulo Mateus, Amílcar Sernadas

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

Quantum Institutions.

Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Fibring Logics: Past, Present and Future.

Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas

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.

Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò

Log. J. IGPL, 2004

Reasoning About Quantum Systems.

Paulo Mateus, Amílcar Sernadas

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003

Categorical foundations for randomly timed automata.

Paulo Mateus, Manuel Cabral Morais, Cláudia Nunes, António Pacheco, Amílcar Sernadas, Cristina Sernadas

Theor. Comput. Sci., 2003

Fibring Logics with Topos Semantics.

Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas

J. Log. Comput., 2003

Fibring Non-Truth-Functional Logics: Completeness Preservation.

Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas

J. Log. Lang. Inf., 2003

Truth-values as Labels: A General Recipe for Labelled Deduction.

Cristina Sernadas, Luca Viganò, João Rasga, Amílcar Sernadas

J. Appl. Non Class. Logics, 2003

2002

Fibring Labelled Deduction Systems.

João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò

J. Log. Comput., 2002

A two-level temporal logic for evolving specifications.

Pierre-Yves Schobbens, Gunter Saake, Amílcar Sernadas, Cristina Sernadas

Inf. Process. Lett., 2002

Fibring Modal First-Order Logics: Completeness Preservation.

Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo

Log. J. IGPL, 2002

Labelled Deduction over Algebras of Truth-Values.

João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

2001

Fibring: Completeness Preservation.

Alberto Zanardo, Amílcar Sernadas, Cristina Sernadas

J. Symb. Log., 2001

Probabilistic Situation Calculus.

Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina Sernadas

Ann. Math. Artif. Intell., 2001

Combining Logics: Parchments Revisited.

Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

2000

Fibring Logics, Dov M. Gabbay.

Amílcar Sernadas

J. Log. Lang. Inf., 2000

Non-Determinism and Uncertainty in the Situation Calculus.

Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2000

1999

Precategories for combining probabilistic automata.

Paulo Mateus, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Conference on Category Theory and Computer Science, 1999

Fibring of Logics as a Categorial Construction.

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

J. Log. Comput., 1999

Realization of Probabilistic Automata: Categorial Approach.

Paulo Mateus, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

An Institution of Hybrid Systems.

Hugo Lourenço, Amílcar Sernadas

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Nondeterminism and Uncertainty in the Situation Calculus.

Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

1998

Denotational Semantics of Object Specification.

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Acta Informatica, 1998

The Situation and State Calculus versus Branching Temporal Logic.

Jaime Ramos, Amílcar Sernadas

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Parameterisation of Logics.

Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Categorial Fibring of Logics with Terms and Binding Operators.

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Till Mossakowski

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

Logics for Specifying Concurrent Information Systems.

Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker

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.

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Stud Logica, 1997

Nonsequential Automata Semantics for a Concurrent, Object-Based Language.

Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Synchronization of Logics with Mixed Rules: Completeness Preservation.

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Proceedings of the Algebraic Methodology and Software Technology, 1997

A Linear Temporal Logic Approach to Objects with Transactions.

Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Deriving Liveness Goals from Temporal Logic Specifications.

Carlos Caleiro, Gunter Saake, Amílcar Sernadas

J. Symb. Comput., 1996

A Temporal Logic Approach to Object Certification.

Amílcar Sernadas, Cristina Sernadas, Jaime Ramos

Data Knowl. Eng., 1996

1995

Object Specification Logic.

Amílcar Sernadas, Cristina Sernadas, José Félix Costa

J. Log. Comput., 1995

Progress Assumption in Concurrent Systems.

José Félix Costa, Amílcar Sernadas

Formal Aspects Comput., 1995

Refinement Mapping for General (Discrete Event) Systems Theory.

Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas

Proceedings of the Computer Aided Systems Theory, 1995

1994

Object Inheritance Beyond Subtyping.

José Félix Costa, Amílcar Sernadas, Cristina Sernadas

Acta Informatica, 1994

Object Certification (Invited Lecture).

Amílcar Sernadas, Cristina Sernadas

Proceedings of the Fith International Workshop on the Deductive Approach to Information Systems and Databases, 1994

A Theory-based Typological Notion of Institutions.

Amílcar Sernadas, Cristina Sernadas, José Manuel Valença

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.

Hans-Dieter Ehrich, Amílcar Sernadas

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.

Hans-Dieter Ehrich, Grit Denker, Amílcar Sernadas

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Data Encapsulation and Modularity: Three Views of Inheritance.

José Félix Costa, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Real-Time Object Specification Logic.

Klemens Böhm, Amílcar Sernadas

Proceedings of the Fourth International Workshop on the Deductive Approach to Information Systems and Databases, 1993

Object-Oriented Design of Information Systems: Theoretical Foundations.

Hans-Dieter Ehrich, Ralf Jungclaus, Grit Denker, Amílcar Sernadas

Proceedings of the Advances in Database Systems: Implementations and Applications, 1993

1992

Object Interaction.

José Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich

Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

Concepts of Object-Orientation.

Hans-Dieter Ehrich, Gunter Saake, Amílcar Sernadas

Proceedings of the Informationssysteme und Künstliche Intelligenz: Modellierung, 1992

Refinement: Layered Definition of Conceptual Schemata.

Cristina Sernadas, Paula Gouveia, Amílcar Sernadas

Proceedings of the Information System Concepts: Improving the Understanding, 1992

An Institution of Object Behaviour.

Amílcar Sernadas, José Félix Costa, Cristina Sernadas

Proceedings of the Recent Trends in Data Type Specification, 1992

The Reification Dimension in Object-oriented Data Base Design.

Cristina Sernadas, Paula Gouveia, João Gouveia, Amílcar Sernadas, Pedro Resende

Proceedings of the Specifications of Database Systems, 1992

1991

Reasoning about Objects Using a Tableau Method.

Renwei Li, Amílcar Sernadas

J. Log. Comput., 1991

Formal techniques for systems specification and verification.

José Carmo, Amílcar Sernadas

Inf. Syst., 1991

Process Semantics of Temporal Logic Specifications.

José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum

Proceedings of the Recent Trends in Data Type Specification, 1991

Objects and their Specification.

Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas

Proceedings of the Recent Trends in Data Type Specification, 1991

1990

Logics of Modal Terms for Systems Specification.

José Luiz Fiadeiro, Amílcar Sernadas

J. Log. Comput., 1990

Modular construction of logic knowledge bases: an algebraic approach.

Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas

Inf. Syst., 1990

Branching versus Linear Logics Yet Again.

José Carmo, Amílcar Sernadas

Formal Aspects Comput., 1990

From Data Types to Object Types.

Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas

J. Inf. Process. Cybern., 1990

An object-oriented specification tool for graphical interfaces.

João Pedro Sousa, Cristina Sernadas, Amílcar Sernadas

Comput. Graph., 1990

A Categorial Theory of Objects as Observed Processes.

Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas

Proceedings of the Foundations of Object-Oriented Languages, 1990

What is an Object, After All?

Amílcar Sernadas, Hans-Dieter Ehrich

Proceedings of the Object-Oriented Databases: Analysis, 1990

1989

Algebraic Implementation of Objects over Objects.

Hans-Dieter Ehrich, Amílcar Sernadas

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

The Basic Building Blocks of Information Systems.

Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich

Proceedings of the Information System Concepts: An In-depth Analysis, 1989

Proof-theoretic Conceptual Modeling: the NIAM Case Study.

Cristina Sernadas, José Luiz Fiadeiro, Robert Meersman, Amílcar Sernadas

Proceedings of the Information System Concepts: An In-depth Analysis, 1989

Inevitability in Branching Time.

José Carmo, Amílcar Sernadas

Proceedings of the Logic at Botik '89, 1989

1988

Specification and Verification of Database Dynamics.

José Luiz Fiadeiro, Amílcar Sernadas

Acta Informatica, 1988

Abstract Object Types for Databases.

Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Advances in Object-Oriented Database Systems, 1988

Knowledgebases as Structured Theories.

José Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

Object-Oriented Conceptual Modeling from Law.

Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas

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.

Rogério Carapuça, Luis Andrade, Amílcar Sernadas

Proceedings of the Computerized Assistance During the Information Systems Life Cycle, 1988

Objects, Object Types, and Object Identification.

Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Objects and Object Types.

Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

Object-Oriented Specification of Databases: An Algebraic Approach.

Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich

Proceedings of the VLDB'87, 1987

Abstract Object Types: A Temporal Perspective.

Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich

Proceedings of the Temporal Logic in Specification, 1987

Behavioural Aspects of Intelligent Knowledge-Based Information Systems.

José Luiz Fiadeiro, Amílcar Sernadas

Proceedings of the Temporal Aspects in Information Systems, 1987

A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification.

José Carmo, Amílcar Sernadas

Proceedings of the Temporal Aspects in Information Systems, 1987

Structuring Theories on Consequence.

José Luiz Fiadeiro, Amílcar Sernadas

Proceedings of the Recent Trends in Data Type Specification, 1987

1986

The INFOLOG linear tense propositional logic of events and transactions.

José Luiz Fiadeiro, Amílcar Sernadas

Inf. Syst., 1986

Future Information Systems (Panel).

Amílcar Sernadas

Proceedings of the Information Processing 86, 1986

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

Amílcar Sernadas, Cristina Sernadas, José Luiz Fiadeiro

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1985

Towards knowledge-based infolog specifications A case study of information engineering.

Helder Coelho, António Rodrigues, Amílcar Sernadas

Decis. Support Syst., 1985

The Use of E-R Abstractions for Knowledge Representation.

Amílcar Sernadas, Cristina Sernadas

Proceedings of the Entity-Relationship Approach: The Use of ER Concept in Knowledge Representation, 1985

Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions.

Cristina Sernadas, Amílcar Sernadas

Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics (DS-1). Hasselt, 1985

Abstraction and Inference Mechanism for Knowledge Representation.

Amílcar Sernadas, Cristina Sernadas

Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

1982

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

Amílcar Sernadas, Graça Gaspar, José Granado

Proceedings of the Second International Conference on Databases: Improving Database Usability and Responsiveness, 1982

1981

SYSTEMATICS: Its Syntax and Semantics as a Query Language (2).

Amílcar Sernadas

Comput. J., 1981

SYSTEMATICS: Its Syntax and Semantics as a Query Language (1).

Amílcar Sernadas

Comput. J., 1981

1980

Temporal aspects of logical procedure definiton.

Amílcar Sernadas

Inf. Syst., 1980