Amílcar Sernadas

116 papers A* 2A 1B 5C 3Misc 1Journal 56Unranked 45

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	Probabilistic logic of quantum observations. Log. J. IGPL Amílcar Sernadas, João Rasga, Cristina Sernadas, Luís Alcácer, Alfredo Barbosa Henriques
2017	J	`jnl`	Decision and optimization problems in the unreliable-circuit logic. Log. J. IGPL João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas
2017	J	`jnl`	Universality of quantum Turing machines with deterministic control. J. Log. Comput. Paulo Mateus, Amílcar Sernadas, André Souto
2016	J	`jnl`	Decision and optimization problems in the Unreliable-Circuit Logic. CoRR João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas
2016	J	`jnl`	Preservation of Admissible Rules when Combining Logics. Rev. Symb. Log. João Rasga, Cristina Sernadas, Amílcar Sernadas
2015	J	`jnl`	Exponentially more concise quantum recognition of non-RMM regular languages. J. Comput. Syst. Sci. Daowen Qiu, Lvzhou Li, Paulo Mateus, Amílcar Sernadas
2014	J	`jnl`	Approximate reasoning about logic circuits with single-fan-out unreliable gates. J. Log. Comput. Amílcar Sernadas, João Rasga, Cristina Sernadas, Paulo Mateus
2014	J	`jnl`	Craig Interpolation in the Presence of Unreliable Connectives. Logica Universalis João Rasga, Cristina Sernadas, Amílcar Sernadas
2014	J	`jnl`	Fibring as Biporting Subsumes Asymmetric Combinations. Stud Logica João Rasga, Amílcar Sernadas, Cristina Sernadas
2013	J	`jnl`	Importing Logics: Soundness and Completeness Preservation. Stud Logica João Rasga, Amílcar Sernadas, Cristina Sernadas
2013	J	`jnl`	Preservation of Craig interpolation by the product of matrix logics. J. Appl. Log. Cristina Sernadas, João Rasga, Amílcar Sernadas
2012	J	`jnl`	Importing Logics. Stud Logica João Rasga, Amílcar Sernadas, Cristina Sernadas
2012	J	`jnl`	On meet-combination of logics. J. Log. Comput. Amílcar Sernadas, Cristina Sernadas, João Rasga
2011	J	`jnl`	On Combined Connectives. Logica Universalis Amílcar Sernadas, Cristina Sernadas, João Rasga
2011	J	`jnl`	Preservation by fibring of the finite model property. J. Log. Comput. Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
2009	J	`jnl`	A Graph-theoretic Account of Logics. J. Log. Comput. Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio
2009	J	`jnl`	On Graph-theoretic Fibring of Logics. J. Log. Comput. Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio
2009	J	`jnl`	One-way quantum finite automata together with classical states CoRR Daowen Qiu, Paulo Mateus, Xiangfu Zou, Amílcar Sernadas
2008	J	`jnl`	Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification. J. Log. Comput. Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, Cristina Sernadas
2008	J	`jnl`	Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems. Log. J. IGPL Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas
2007	J	`jnl`	Reasoning about probabilistic sequential programs. Theor. Comput. Sci. Rohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas
2007	—	`conf`	Towards Model-Checking Quantum Security Protocols. ICQNM Pedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas
2006	—	`conf`	Quantum Institutions. Essays Dedicated to Joseph A. Goguen Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
2006	B	`conf`	Reasoning About Imperative Quantum Programs. MFPS Rohit Chadha, Paulo Mateus, Amílcar Sernadas
2006	B	`conf`	Reasoning About States of Probabilistic Sequential Programs. CSL Rohit Chadha, Paulo Mateus, Amílcar Sernadas
2006	J	`jnl`	Weakly complete axiomatization of exogenous quantum propositional logic. Inf. Comput. Paulo Mateus, Amílcar Sernadas
2005	—	`conf`	Fibring Logics: Past, Present and Future. We Will Show Them! (1) Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas
2005	J	`jnl`	Weakly complete axiomatization of exogenous quantum propositional logic CoRR Paulo Mateus, Amílcar Sernadas
2004	J	`jnl`	Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. Log. J. IGPL Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
2004	B	`conf`	Reasoning About Quantum Systems. JELIA Paulo Mateus, Amílcar Sernadas
2003	J	`jnl`	Categorical foundations for randomly timed automata. Theor. Comput. Sci. Paulo Mateus, Manuel Cabral Morais, Cláudia Nunes, António Pacheco, Amílcar Sernadas, Cristina Sernadas
2003	J	`jnl`	Fibring Logics with Topos Semantics. J. Log. Comput. Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
2003	J	`jnl`	Fibring Non-Truth-Functional Logics: Completeness Preservation. J. Log. Lang. Inf. Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
2003	J	`jnl`	Truth-values as Labels: A General Recipe for Labelled Deduction. J. Appl. Non Class. Logics Cristina Sernadas, Luca Viganò, João Rasga, Amílcar Sernadas
2002	J	`jnl`	A two-level temporal logic for evolving specifications. Inf. Process. Lett. Pierre-Yves Schobbens, Gunter Saake, Amílcar Sernadas, Cristina Sernadas
2002	J	`jnl`	Fibring Labelled Deduction Systems. J. Log. Comput. João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
2002	J	`jnl`	Fibring Modal First-Order Logics: Completeness Preservation. Log. J. IGPL Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo
2002	—	`conf`	Labelled Deduction over Algebras of Truth-Values. FroCoS João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
2001	—	`conf`	Combining Logics: Parchments Revisited. WADT Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas
2001	J	`jnl`	Fibring: Completeness Preservation. J. Symb. Log. Alberto Zanardo, Amílcar Sernadas, Cristina Sernadas
2001	J	`jnl`	Probabilistic Situation Calculus. Ann. Math. Artif. Intell. Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina Sernadas
2000	J	`jnl`	Fibring Logics, Dov M. Gabbay. J. Log. Lang. Inf. Amílcar Sernadas
2000	J	`jnl`	Non-Determinism and Uncertainty in the Situation Calculus. Int. J. Uncertain. Fuzziness Knowl. Based Syst. Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus
1999	—	`conf`	An Institution of Hybrid Systems. WADT Hugo Lourenço, Amílcar Sernadas
1999	J	`jnl`	Fibring of Logics as a Categorial Construction. J. Log. Comput. Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
1999	Misc	`conf`	Nondeterminism and Uncertainty in the Situation Calculus. FLAIRS Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus
1999	—	`conf`	Precategories for combining probabilistic automata. CTCS Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
1999	—	`conf`	Realization of Probabilistic Automata: Categorial Approach. WADT Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
1998	—	`conf`	Categorial Fibring of Logics with Terms and Binding Operators. FroCoS Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Till Mossakowski
1998	J	`jnl`	Denotational Semantics of Object Specification. Acta Informatica Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
1998	—	`conf`	Logics for Specifying Concurrent Information Systems. Logics for Databases and Information Systems Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker
1998	—	`conf`	Parameterisation of Logics. WADT Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas
1998	—	`conf`	The Situation and State Calculus versus Branching Temporal Logic. WADT Jaime Ramos, Amílcar Sernadas
1997	—	`conf`	A Linear Temporal Logic Approach to Objects with Transactions. AMAST Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas
1997	—	`conf`	Nonsequential Automata Semantics for a Concurrent, Object-Based Language. US-Brazil Joint Workshops on the Formal Foundations of Software Systems Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa
1997	—	`conf`	Synchronization of Logics with Mixed Rules: Completeness Preservation. AMAST Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
1997	J	`jnl`	Synchronization of Logics. Stud Logica Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
1996	J	`jnl`	A Temporal Logic Approach to Object Certification. Data Knowl. Eng. Amílcar Sernadas, Cristina Sernadas, Jaime Ramos
1996	J	`jnl`	Deriving Liveness Goals from Temporal Logic Specifications. J. Symb. Comput. Carlos Caleiro, Gunter Saake, Amílcar Sernadas
1995	J	`jnl`	Object Specification Logic. J. Log. Comput. Amílcar Sernadas, Cristina Sernadas, José Félix Costa
1995	J	`jnl`	Progress Assumption in Concurrent Systems. Formal Aspects Comput. José Félix Costa, Amílcar Sernadas
1995	—	`conf`	Refinement Mapping for General (Discrete Event) Systems Theory. EUROCAST Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas
1994	—	`conf`	A Theory-based Typological Notion of Institutions. COMPASS/ADT Amílcar Sernadas, Cristina Sernadas, José Manuel Valença
1994	—	`conf`	Local Specification of Distributed Families of Sequential Objects. COMPASS/ADT Hans-Dieter Ehrich, Amílcar Sernadas
1994	—	`conf`	Object Certification (Invited Lecture). DAISD Amílcar Sernadas, Cristina Sernadas
1994	J	`jnl`	Object Inheritance Beyond Subtyping. Acta Informatica José Félix Costa, Amílcar Sernadas, Cristina Sernadas
1993	—	`conf`	Constructing Systems as Object Communities. TAPSOFT Hans-Dieter Ehrich, Grit Denker, Amílcar Sernadas
1993	B	`conf`	Data Encapsulation and Modularity: Three Views of Inheritance. MFCS José Félix Costa, Amílcar Sernadas, Cristina Sernadas
1993	—	`conf`	Object-Oriented Design of Information Systems: Theoretical Foundations. CISM - Advances in Database Systems Hans-Dieter Ehrich, Ralf Jungclaus, Grit Denker, Amílcar Sernadas
1993	—	`conf`	Real-Time Object Specification Logic. DAISD Klemens Böhm, Amílcar Sernadas
1992	—	`conf`	An Institution of Object Behaviour. COMPASS/ADT Amílcar Sernadas, José Félix Costa, Cristina Sernadas
1992	—	`conf`	Concepts of Object-Orientation. IS/KI Hans-Dieter Ehrich, Gunter Saake, Amílcar Sernadas
1992	B	`conf`	Object Interaction. MFCS José Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich
1992	C	`conf`	Refinement: Layered Definition of Conceptual Schemata. ISCO Cristina Sernadas, Paula Gouveia, Amílcar Sernadas
1992	—	`ch.`	The Reification Dimension in Object-oriented Data Base Design. Specifications of Database Systems Cristina Sernadas, Paula Gouveia, João Gouveia, Amílcar Sernadas, Pedro Resende
1991	A*	`ed.`	17th International Conference on Very Large Data Bases, September 3-6, 1991, Barcelona, Catalonia, Spain, Proceedings. Guy M. Lohman, Amílcar Sernadas, Rafael Camps
1991	J	`jnl`	Formal techniques for systems specification and verification. Inf. Syst. José Carmo, Amílcar Sernadas
1991	—	`conf`	Objects and their Specification. COMPASS/ADT Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas
1991	—	`conf`	Process Semantics of Temporal Logic Specifications. COMPASS/ADT José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum
1991	J	`jnl`	Reasoning about Objects Using a Tableau Method. J. Log. Comput. Renwei Li, Amílcar Sernadas
1990	—	`conf`	A Categorial Theory of Objects as Observed Processes. REX Workshop Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas
1990	J	`jnl`	An object-oriented specification tool for graphical interfaces. Comput. Graph. João Pedro Sousa, Cristina Sernadas, Amílcar Sernadas
1990	J	`jnl`	Branching versus Linear Logics Yet Again. Formal Aspects Comput. José Carmo, Amílcar Sernadas
1990	J	`jnl`	From Data Types to Object Types. J. Inf. Process. Cybern. Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
1990	J	`jnl`	Logics of Modal Terms for Systems Specification. J. Log. Comput. José Luiz Fiadeiro, Amílcar Sernadas
1990	J	`jnl`	Modular construction of logic knowledge bases: an algebraic approach. Inf. Syst. Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas
1990	—	`conf`	What is an Object, After All? DS-4 Amílcar Sernadas, Hans-Dieter Ehrich
1989	—	`conf`	Algebraic Implementation of Objects over Objects. REX Workshop Hans-Dieter Ehrich, Amílcar Sernadas
1989	—	`conf`	Inevitability in Branching Time. Logic at Botik José Carmo, Amílcar Sernadas
1989	C	`conf`	Proof-theoretic Conceptual Modeling: the NIAM Case Study. ISCO Cristina Sernadas, José Luiz Fiadeiro, Robert Meersman, Amílcar Sernadas
1989	C	`conf`	The Basic Building Blocks of Information Systems. ISCO Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich
1988	—	`conf`	A Database Design and Construction Workbench. Computerized Assistance During the Information Systems Life Cycle Rogério Carapuça, Luis Andrade, Amílcar Sernadas
1988	—	`conf`	Abstract Object Types for Databases. OODBS Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
1988	—	`conf`	Knowledgebases as Structured Theories. FSTTCS José Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas
1988	—	`conf`	Object-Oriented Conceptual Modeling from Law. DS-3 Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas
1988	—	`conf`	Objects and Object Types. ADT Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
1988	—	`conf`	Objects, Object Types, and Object Identification. Categorial Methods in Computer Science Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
1988	—	`ed.`	Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, "Data and Knowledge" (DS-2). Albufeira, Portugal, 3-7 November, 1986 Robert Meersman, Amílcar Sernadas
1988	J	`jnl`	Specification and Verification of Database Dynamics. Acta Informatica José Luiz Fiadeiro, Amílcar Sernadas
1987	—	`conf`	A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. Temporal Aspects in Information Systems José Carmo, Amílcar Sernadas
1987	—	`conf`	Abstract Object Types: A Temporal Perspective. Temporal Logic in Specification Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich
1987	—	`conf`	Behavioural Aspects of Intelligent Knowledge-Based Information Systems. Temporal Aspects in Information Systems José Luiz Fiadeiro, Amílcar Sernadas
1987	A*	`conf`	Object-Oriented Specification of Databases: An Algebraic Approach. VLDB Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich
1987	—	`conf`	Structuring Theories on Consequence. ADT José Luiz Fiadeiro, Amílcar Sernadas
1986	—	`conf`	Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. ADT Amílcar Sernadas, Cristina Sernadas, José Luiz Fiadeiro
1986	—	`conf`	Future Information Systems (Panel). IFIP Congress Amílcar Sernadas
1986	J	`jnl`	The INFOLOG linear tense propositional logic of events and transactions. Inf. Syst. José Luiz Fiadeiro, Amílcar Sernadas
1985	—	`conf`	Abstraction and Inference Mechanism for Knowledge Representation. Foundations of Knowledge Base Management (Xania) Amílcar Sernadas, Cristina Sernadas
1985	—	`conf`	Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions. DS-1 Cristina Sernadas, Amílcar Sernadas
1985	—	`ed.`	Information Systems - Theoretical and Formal Aspects, TFAIS 1985, Proceedings of the IFIP WG8.1 Working Conference, Sitges, Spain, 16-18 April 1985. TFAIS Amílcar Sernadas, Janis A. Bubenko Jr., Antoni Olivé
1985	A	`conf`	The Use of E-R Abstractions for Knowledge Representation. ER Amílcar Sernadas, Cristina Sernadas
1985	J	`jnl`	Towards knowledge-based infolog specifications A case study of information engineering. Decis. Support Syst. Helder Coelho, António Rodrigues, Amílcar Sernadas
1982	—	`conf`	BIPS: A Layered Predicative Query Language for a DBTG Database System. JCDKB Amílcar Sernadas, Graça Gaspar, José Granado
1981	J	`jnl`	SYSTEMATICS: Its Syntax and Semantics as a Query Language (1). Comput. J. Amílcar Sernadas
1981	J	`jnl`	SYSTEMATICS: Its Syntax and Semantics as a Query Language (2). Comput. J. Amílcar Sernadas
1980	J	`jnl`	Temporal aspects of logical procedure definiton. Inf. Syst. Amílcar Sernadas