Amílcar Sernadas

ORCID

Publication Activity (10 Years)

Years Active: 1980-2019
Publications (10 Years): 5

Top Venues

J. Log. Comput.

Stud Logica

Log. J. IGPL

J. Comput. Syst. Sci.

Publications

Amílcar Sernadas, João Rasga, Cristina Sernadas, Luís Alcácer, Alfredo Barbosa Henriques
Probabilistic logic of quantum observations. Log. J. IGPL 27 (3) (2019)
João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas
Decision and optimization problems in the unreliable-circuit logic. Log. J. IGPL 25 (3) (2017)
Paulo Mateus, Amílcar Sernadas, André Souto
Universality of quantum Turing machines with deterministic control. J. Log. Comput. 27 (1) (2017)
João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas
Decision and optimization problems in the Unreliable-Circuit Logic. CoRR (2016)
João Rasga, Cristina Sernadas, Amílcar Sernadas
Preservation of Admissible Rules when Combining Logics. Rev. Symb. Log. 9 (4) (2016)
Daowen Qiu, Lvzhou Li, Paulo Mateus, Amílcar Sernadas
Exponentially more concise quantum recognition of non-RMM regular languages. J. Comput. Syst. Sci. 81 (2) (2015)
João Rasga, Cristina Sernadas, Amílcar Sernadas
Craig Interpolation in the Presence of Unreliable Connectives. Logica Universalis 8 (3-4) (2014)
João Rasga, Amílcar Sernadas, Cristina Sernadas
Fibring as Biporting Subsumes Asymmetric Combinations. Stud Logica 102 (5) (2014)
Amílcar Sernadas, João Rasga, Cristina Sernadas, Paulo Mateus
Approximate reasoning about logic circuits with single-fan-out unreliable gates. J. Log. Comput. 24 (5) (2014)
João Rasga, Amílcar Sernadas, Cristina Sernadas
Importing Logics: Soundness and Completeness Preservation. Stud Logica 101 (1) (2013)
Cristina Sernadas, João Rasga, Amílcar Sernadas
Preservation of Craig interpolation by the product of matrix logics. J. Appl. Log. 11 (3) (2013)
Amílcar Sernadas, Cristina Sernadas, João Rasga
On meet-combination of logics. J. Log. Comput. 22 (6) (2012)
João Rasga, Amílcar Sernadas, Cristina Sernadas
Importing Logics. Stud Logica 100 (3) (2012)
Amílcar Sernadas, Cristina Sernadas, João Rasga
On Combined Connectives. Logica Universalis 5 (2) (2011)
Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
Preservation by fibring of the finite model property. J. Log. Comput. 21 (2) (2011)
Daowen Qiu, Paulo Mateus, Xiangfu Zou, Amílcar Sernadas
One-way quantum finite automata together with classical states CoRR (2009)
Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio
A Graph-theoretic Account of Logics. J. Log. Comput. 19 (6) (2009)
Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio
On Graph-theoretic Fibring of Logics. J. Log. Comput. 19 (6) (2009)
Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas
Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems. Log. J. IGPL 16 (2) (2008)
Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, Cristina Sernadas
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification. J. Log. Comput. 18 (6) (2008)
Pedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas
Towards Model-Checking Quantum Security Protocols. ICQNM (2007)
Rohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas
Reasoning about probabilistic sequential programs. Theor. Comput. Sci. 379 (1-2) (2007)
Paulo Mateus, Amílcar Sernadas
Weakly complete axiomatization of exogenous quantum propositional logic. Inf. Comput. 204 (5) (2006)
Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
Quantum Institutions. Essays Dedicated to Joseph A. Goguen (2006)
Rohit Chadha, Paulo Mateus, Amílcar Sernadas
Reasoning About Imperative Quantum Programs. MFPS (2006)
Rohit Chadha, Paulo Mateus, Amílcar Sernadas
Reasoning About States of Probabilistic Sequential Programs. CSL (2006)
Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas
Fibring Logics: Past, Present and Future. We Will Show Them! (1) (2005)
Paulo Mateus, Amílcar Sernadas
Weakly complete axiomatization of exogenous quantum propositional logic CoRR (2005)
Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. Log. J. IGPL 12 (3) (2004)
Paulo Mateus, Amílcar Sernadas
Reasoning About Quantum Systems. JELIA (2004)
Cristina Sernadas, Luca Viganò, João Rasga, Amílcar Sernadas
Truth-values as Labels: A General Recipe for Labelled Deduction. J. Appl. Non Class. Logics 13 (3-4) (2003)
Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
Fibring Logics with Topos Semantics. J. Log. Comput. 13 (4) (2003)
Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
Fibring Non-Truth-Functional Logics: Completeness Preservation. J. Log. Lang. Inf. 12 (2) (2003)
Paulo Mateus, Manuel Cabral Morais, Cláudia Nunes, António Pacheco, Amílcar Sernadas, Cristina Sernadas
Categorical foundations for randomly timed automata. Theor. Comput. Sci. 308 (1-3) (2003)
João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
Labelled Deduction over Algebras of Truth-Values. FroCoS (2002)
Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo
Fibring Modal First-Order Logics: Completeness Preservation. Log. J. IGPL 10 (4) (2002)
Pierre-Yves Schobbens, Gunter Saake, Amílcar Sernadas, Cristina Sernadas
A two-level temporal logic for evolving specifications. Inf. Process. Lett. 83 (3) (2002)
João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
Fibring Labelled Deduction Systems. J. Log. Comput. 12 (3) (2002)
Alberto Zanardo, Amílcar Sernadas, Cristina Sernadas
Fibring: Completeness Preservation. J. Symb. Log. 66 (1) (2001)
Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas
Combining Logics: Parchments Revisited. WADT (2001)
Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina Sernadas
Probabilistic Situation Calculus. Ann. Math. Artif. Intell. 32 (1-4) (2001)
Amílcar Sernadas
Fibring Logics, Dov M. Gabbay. J. Log. Lang. Inf. 9 (4) (2000)
Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus
Non-Determinism and Uncertainty in the Situation Calculus. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 8 (2) (2000)
Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
Realization of Probabilistic Automata: Categorial Approach. WADT (1999)
Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
Precategories for combining probabilistic automata. CTCS (1999)
Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus
Nondeterminism and Uncertainty in the Situation Calculus. FLAIRS Conference (1999)
Hugo Lourenço, Amílcar Sernadas
An Institution of Hybrid Systems. WADT (1999)
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
Fibring of Logics as a Categorial Construction. J. Log. Comput. 9 (2) (1999)
Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas
Parameterisation of Logics. WADT (1998)
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Till Mossakowski
Categorial Fibring of Logics with Terms and Binding Operators. FroCoS (1998)
Jaime Ramos, Amílcar Sernadas
The Situation and State Calculus versus Branching Temporal Logic. WADT (1998)
Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker
Logics for Specifying Concurrent Information Systems. Logics for Databases and Information Systems (1998)
Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa
Nonsequential Automata Semantics for a Concurrent, Object-Based Language. Electron. Notes Theor. Comput. Sci. 14 (1998)
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
Denotational Semantics of Object Specification. Acta Informatica 35 (9) (1998)
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
Synchronization of Logics with Mixed Rules: Completeness Preservation. AMAST (1997)
Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas
A Linear Temporal Logic Approach to Objects with Transactions. AMAST (1997)
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
Synchronization of Logics. Stud Logica 59 (1) (1997)
Carlos Caleiro, Gunter Saake, Amílcar Sernadas
Deriving Liveness Goals from Temporal Logic Specifications. J. Symb. Comput. 22 (5/6) (1996)
Amílcar Sernadas, Cristina Sernadas, Jaime Ramos
A Temporal Logic Approach to Object Certification. Data Knowl. Eng. 19 (3) (1996)
Amílcar Sernadas, Cristina Sernadas, José Félix Costa
Object Specification Logic. J. Log. Comput. 5 (5) (1995)
José Félix Costa, Amílcar Sernadas
Progress Assumption in Concurrent Systems. Formal Aspects Comput. 7 (1) (1995)
Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas
Refinement Mapping for General (Discrete Event) Systems Theory. EUROCAST (1995)
Amílcar Sernadas, Cristina Sernadas, José Manuel Valença
A Theory-based Typological Notion of Institutions. COMPASS/ADT (1994)
Hans-Dieter Ehrich, Amílcar Sernadas
Local Specification of Distributed Families of Sequential Objects. COMPASS/ADT (1994)
José Félix Costa, Amílcar Sernadas, Cristina Sernadas
Object Inheritance Beyond Subtyping. Acta Informatica 31 (1) (1994)
Amílcar Sernadas, Cristina Sernadas
Object Certification (Invited Lecture). DAISD (1994)
Klemens Böhm, Amílcar Sernadas
Real-Time Object Specification Logic. DAISD (1993)
José Félix Costa, Amílcar Sernadas, Cristina Sernadas
Data Encapsulation and Modularity: Three Views of Inheritance. MFCS (1993)
Hans-Dieter Ehrich, Grit Denker, Amílcar Sernadas
Constructing Systems as Object Communities. TAPSOFT (1993)
Hans-Dieter Ehrich, Ralf Jungclaus, Grit Denker, Amílcar Sernadas
Object-Oriented Design of Information Systems: Theoretical Foundations. CISM - Advances in Database Systems (1993)
Hans-Dieter Ehrich, Gunter Saake, Amílcar Sernadas
Concepts of Object-Orientation. IS/KI (1992)
Amílcar Sernadas, José Félix Costa, Cristina Sernadas
An Institution of Object Behaviour. COMPASS/ADT (1992)
Cristina Sernadas, Paula Gouveia, Amílcar Sernadas
Refinement: Layered Definition of Conceptual Schemata. ISCO (1992)
José Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich
Object Interaction. MFCS (1992)
Renwei Li, Amílcar Sernadas
Reasoning about Objects Using a Tableau Method. J. Log. Comput. 1 (5) (1991)
José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum
Process Semantics of Temporal Logic Specifications. COMPASS/ADT (1991)
Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas
Objects and their Specification. COMPASS/ADT (1991)
José Carmo, Amílcar Sernadas
Formal techniques for systems specification and verification. Inf. Syst. 16 (3) (1991)
José Luiz Fiadeiro, Amílcar Sernadas
Logics of Modal Terms for Systems Specification. J. Log. Comput. 1 (2) (1990)
Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
From Data Types to Object Types. J. Inf. Process. Cybern. 26 (1/2) (1990)
João Pedro Sousa, Cristina Sernadas, Amílcar Sernadas
An object-oriented specification tool for graphical interfaces. Comput. Graph. 14 (1) (1990)
Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas
A Categorial Theory of Objects as Observed Processes. REX Workshop (1990)
Amílcar Sernadas, Hans-Dieter Ehrich
What is an Object, After All? DS-4 (1990)
Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas
Modular construction of logic knowledge bases: an algebraic approach. Inf. Syst. 15 (1) (1990)
José Carmo, Amílcar Sernadas
Branching versus Linear Logics Yet Again. Formal Aspects Comput. 2 (1) (1990)
Hans-Dieter Ehrich, Amílcar Sernadas
Algebraic Implementation of Objects over Objects. REX Workshop (1989)
Cristina Sernadas, José Luiz Fiadeiro, Robert Meersman, Amílcar Sernadas
Proof-theoretic Conceptual Modeling: the NIAM Case Study. ISCO (1989)
José Carmo, Amílcar Sernadas
Inevitability in Branching Time. Logic at Botik (1989)
Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich
The Basic Building Blocks of Information Systems. ISCO (1989)
Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
Objects, Object Types, and Object Identification. Categorial Methods in Computer Science (1988)
Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
Objects and Object Types. ADT (1988)
José Luiz Fiadeiro, Amílcar Sernadas
Specification and Verification of Database Dynamics. Acta Informatica 25 (6) (1988)
Rogério Carapuça, Luis Andrade, Amílcar Sernadas
A Database Design and Construction Workbench. Computerized Assistance During the Information Systems Life Cycle (1988)
Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas
Object-Oriented Conceptual Modeling from Law. DS-3 (1988)
Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
Abstract Object Types for Databases. OODBS (1988)
José Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas
Knowledgebases as Structured Theories. FSTTCS (1988)
Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich
Object-Oriented Specification of Databases: An Algebraic Approach. VLDB (1987)
José Luiz Fiadeiro, Amílcar Sernadas
Behavioural Aspects of Intelligent Knowledge-Based Information Systems. Temporal Aspects in Information Systems (1987)
José Luiz Fiadeiro, Amílcar Sernadas
Structuring Theories on Consequence. ADT (1987)
José Carmo, Amílcar Sernadas
A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. Temporal Aspects in Information Systems (1987)

Amílcar Sernadas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Amílcar Sernadas