| 2008 |
|---|
| 91 | EE | Luís Cruz-Filipe,
Amílcar Sernadas,
Cristina Sernadas:
Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems.
Logic Journal of the IGPL 16(2): 121-153 (2008) |
| 2007 |
|---|
| 90 | EE | Pedro Baltazar,
Rohit Chadha,
Paulo Mateus,
Amílcar Sernadas:
Towards Model-Checking Quantum Security Protocols.
ICQNM 2007: 14 |
| 89 | EE | Rohit Chadha,
Luís Cruz-Filipe,
Paulo Mateus,
Amílcar Sernadas:
Reasoning about probabilistic sequential programs.
Theor. Comput. Sci. 379(1-2): 142-165 (2007) |
| 2006 |
|---|
| 88 | EE | Rohit Chadha,
Paulo Mateus,
Amílcar Sernadas:
Reasoning About States of Probabilistic Sequential Programs.
CSL 2006: 240-255 |
| 87 | EE | Carlos Caleiro,
Paulo Mateus,
Amílcar Sernadas,
Cristina Sernadas:
Quantum Institutions.
Essays Dedicated to Joseph A. Goguen 2006: 50-64 |
| 86 | EE | Rohit Chadha,
Paulo Mateus,
Amílcar Sernadas:
Reasoning About Imperative Quantum Programs.
Electr. Notes Theor. Comput. Sci. 158: 19-39 (2006) |
| 85 | EE | Paulo Mateus,
Amílcar Sernadas:
Weakly complete axiomatization of exogenous quantum propositional logic.
Inf. Comput. 204(5): 771-794 (2006) |
| 2005 |
|---|
| 84 | | Carlos Caleiro,
Amílcar Sernadas,
Cristina Sernadas:
Fibring Logics: Past, Present and Future.
We Will Show Them! (1) 2005: 363-388 |
| 83 | EE | Paulo Mateus,
Amílcar Sernadas:
Weakly complete axiomatization of exogenous quantum propositional logic
CoRR abs/math/0503453: (2005) |
| 2004 |
|---|
| 82 | EE | Paulo Mateus,
Amílcar Sernadas:
Reasoning About Quantum Systems.
JELIA 2004: 239-251 |
| 81 | EE | Paulo Mateus,
Amílcar Sernadas,
Cristina Sernadas,
Luca Viganò:
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity.
Logic Journal of the IGPL 12(3): 227-274 (2004) |
| 2003 |
|---|
| 80 | EE | Marcelo E. Coniglio,
Amílcar Sernadas,
Cristina Sernadas:
Fibring Logics with Topos Semantics.
J. Log. Comput. 13(4): 595-624 (2003) |
| 79 | | Cristina Sernadas,
Luca Viganò,
João Rasga,
Amílcar Sernadas:
Truth-values as Labels: A General Recipe for Labelled Deduction.
Journal of Applied Non-Classical Logics 13(3-4): 277-315 (2003) |
| 78 | | Carlos Caleiro,
Walter Alexandre Carnielli,
Marcelo E. Coniglio,
Amílcar Sernadas,
Cristina Sernadas:
Fibring Non-Truth-Functional Logics: Completeness Preservation.
Journal of Logic, Language and Information 12(2): 183-211 (2003) |
| 77 | EE | Paulo Mateus,
M. Morais,
C. Nunes,
António Pacheco,
Amílcar Sernadas,
Cristina Sernadas:
Categorical foundations for randomly timed automata.
Theor. Comput. Sci. 308(1-3): 393-427 (2003) |
| 2002 |
|---|
| 76 | EE | João Rasga,
Amílcar Sernadas,
Cristina Sernadas,
Luca Viganò:
Labelled Deduction over Algebras of Truth-Values.
FroCos 2002: 222-238 |
| 75 | EE | Pierre-Yves Schobbens,
Gunter Saake,
Amílcar Sernadas,
Cristina Sernadas:
A two-level temporal logic for evolving specifications.
Inf. Process. Lett. 83(3): 167-172 (2002) |
| 74 | EE | João Rasga,
Amílcar Sernadas,
Cristina Sernadas,
Luca Viganò:
Fibring Labelled Deduction Systems.
J. Log. Comput. 12(3): 443-473 (2002) |
| 73 | EE | Amílcar Sernadas,
Cristina Sernadas,
Alberto Zanardo:
Fibring Modal First-Order Logics: Completeness Preservation.
Logic Journal of the IGPL 10(4): 413-451 (2002) |
| 2001 |
|---|
| 72 | EE | Carlos Caleiro,
Paulo Mateus,
Jaime Ramos,
Amílcar Sernadas:
Combining Logics: Parchments Revisited.
WADT 2001: 48-70 |
| 71 | | Paulo Mateus,
António Pacheco,
Javier Pinto,
Amílcar Sernadas,
Cristina Sernadas:
Probabilistic Situation Calculus.
Ann. Math. Artif. Intell. 32(1-4): 393-431 (2001) |
| 70 | | Alberto Zanardo,
Amílcar Sernadas,
Cristina Sernadas:
Fibring: Completeness Preservation.
J. Symb. Log. 66(1): 414-439 (2001) |
| 2000 |
|---|
| 69 | EE | Javier Pinto,
Amílcar Sernadas,
Cristina Sernadas,
Paulo Mateus:
Non-Determinism and Uncertainty in the Situation Calculus.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 8(2): 127-150 (2000) |
| 68 | | Amílcar Sernadas:
Fibring Logics, Dov M. Gabbay.
Journal of Logic, Language and Information 9(4): 511-513 (2000) |
| 1999 |
|---|
| 67 | | Javier Pinto,
Amílcar Sernadas,
Cristina Sernadas,
Paulo Mateus:
Nondeterminism and Uncertainty in the Situation Calculus.
FLAIRS Conference 1999: 454-460 |
| 66 | | Hugo Lourenço,
Amílcar Sernadas:
An Institution of Hybrid Systems.
WADT 1999: 219-236 |
| 65 | | Paulo Mateus,
Amílcar Sernadas,
Cristina Sernadas:
Realization of Probabilistic Automata: Categorial Approach.
WADT 1999: 237-251 |
| 64 | EE | Paulo Mateus,
Amílcar Sernadas,
Cristina Sernadas:
Precategories for combining probabilistic automata.
Electr. Notes Theor. Comput. Sci. 29: (1999) |
| 63 | EE | Amílcar Sernadas,
Cristina Sernadas,
Carlos Caleiro:
Fibring of Logics as a Categorial Construction.
J. Log. Comput. 9(2): 149-179 (1999) |
| 1998 |
|---|
| 62 | EE | Hans-Dieter Ehrich,
Carlos Caleiro,
Amílcar Sernadas,
Grit Denker:
Logics for Specifying Concurrent Information Systems.
Logics for Databases and Information Systems 1998: 167-198 |
| 61 | EE | Jaime Ramos,
Amílcar Sernadas:
The Situation and State Calculus versus Branching Temporal Logic.
WADT 1998: 293-309 |
| 60 | EE | Carlos Caleiro,
Cristina Sernadas,
Amílcar Sernadas:
Parameterisation of Logics.
WADT 1998: 48-62 |
| 59 | EE | Amílcar Sernadas,
Cristina Sernadas,
Carlos Caleiro:
Denotational Semantics of Object Specification.
Acta Inf. 35(9): 729-773 (1998) |
| 58 | EE | Paulo Blauth Menezes,
Amílcar Sernadas,
José Félix Costa:
Nonsequential Automata Semantics for a Concurrent, Object-Based Language.
Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 1997 |
|---|
| 57 | | Grit Denker,
Jaime Ramos,
Carlos Caleiro,
Amílcar Sernadas:
A Linear Temporal Logic Approach to Objects with Transactions.
AMAST 1997: 170-184 |
| 56 | | Amílcar Sernadas,
Cristina Sernadas,
Carlos Caleiro:
Synchronization of Logics with Mixed Rules: Completeness Preservation.
AMAST 1997: 465-478 |
| 55 | | Amílcar Sernadas,
Cristina Sernadas,
Carlos Caleiro:
Synchronization of Logics.
Studia Logica 59(1): 217-247 (1997) |
| 1996 |
|---|
| 54 | EE | Amílcar Sernadas,
Cristina Sernadas,
Jaime Ramos:
A Temporal Logic Approach to Object Certification.
Data Knowl. Eng. 19(3): 267-294 (1996) |
| 53 | | Carlos Caleiro,
Gunter Saake,
Amílcar Sernadas:
Deriving Liveness Goals from Temporal Logic Specifications.
J. Symb. Comput. 22(5/6): 521-553 (1996) |
| 1995 |
|---|
| 52 | | Paulo Blauth Menezes,
José Félix Costa,
Amílcar Sernadas:
Refinement Mapping for General (Discrete Event) Systems Theory.
EUROCAST 1995: 103-116 |
| 51 | | José Félix Costa,
Amílcar Sernadas:
Progress Assumption in Concurrent Systems.
Formal Asp. Comput. 7(1): 18-36 (1995) |
| 50 | | Amílcar Sernadas,
Cristina Sernadas,
José Félix Costa:
Object Specification Logic.
J. Log. Comput. 5(5): 603-630 (1995) |
| 1994 |
|---|
| 49 | | Hans-Dieter Ehrich,
Amílcar Sernadas:
Local Specification of Distributed Families of Sequential Objects.
COMPASS/ADT 1994: 219-235 |
| 48 | | Amílcar Sernadas,
Cristina Sernadas,
José Manuel Valença:
A Theory-based Typological Notion of Institutions.
COMPASS/ADT 1994: 420-436 |
| 47 | | Amílcar Sernadas,
Cristina Sernadas:
Object Certification (Invited Lecture).
DAISD 1994: 55-78 |
| 46 | | José Félix Costa,
Amílcar Sernadas,
Cristina Sernadas:
Object Inheritance Beyond Subtyping.
Acta Inf. 31(1): 5-26 (1994) |
| 1993 |
|---|
| 45 | | Hans-Dieter Ehrich,
Ralf Jungclaus,
Grit Denker,
Amílcar Sernadas:
Object-Oriented Design of Information Systems: Theoretical Foundations.
CISM - Advances in Database Systems 1993: 201-218 |
| 44 | | Klemens Böhm,
Amílcar Sernadas:
Real-Time Object Specification Logic.
DAISD 1993: 159-173 |
| 43 | | José Félix Costa,
Amílcar Sernadas,
Cristina Sernadas:
Data Encapsulation and Modularity: Three Views of Inheritance.
MFCS 1993: 382-391 |
| 42 | | Hans-Dieter Ehrich,
Grit Denker,
Amílcar Sernadas:
Constructing Systems as Object Communities.
TAPSOFT 1993: 453-467 |
| 1992 |
|---|
| 41 | | Amílcar Sernadas,
José Félix Costa,
Cristina Sernadas:
An Institution of Object Behaviour.
COMPASS/ADT 1992: 337-351 |
| 40 | | Hans-Dieter Ehrich,
Gunter Saake,
Amílcar Sernadas:
Concepts of Object-Orientation.
IS/KI 1992: 1-19 |
| 39 | | Cristina Sernadas,
Paula Gouveia,
Amílcar Sernadas:
Refinement: Layered Definition of Conceptual Schemata.
ISCO 1992: 19-51 |
| 38 | | José Félix Costa,
Amílcar Sernadas,
Cristina Sernadas,
Hans-Dieter Ehrich:
Object Interaction.
MFCS 1992: 200-208 |
| 1991 |
|---|
| 37 | | Guy M. Lohman,
Amílcar Sernadas,
Rafael Camps:
17th International Conference on Very Large Data Bases, September 3-6, 1991, Barcelona, Catalonia, Spain, Proceedings.
Morgan Kaufmann 1991 |
| 36 | | José Luiz Fiadeiro,
José Félix Costa,
Amílcar Sernadas,
T. S. E. Maibaum:
Process Semantics of Temporal Logic Specifications.
COMPASS/ADT 1991: 236-253 |
| 35 | | Hans-Dieter Ehrich,
Martin Gogolla,
Amílcar Sernadas:
Objects and their Specification.
COMPASS/ADT 1991: 40-65 |
| 34 | | José Carmo,
Amílcar Sernadas:
Formal techniques for systems specification and verification.
Inf. Syst. 16(3): 245-272 (1991) |
| 33 | | Renwei Li,
Amílcar Sernadas:
Reasoning about Objects Using a Tableau Method.
J. Log. Comput. 1(5): 575-611 (1991) |
| 1990 |
|---|
| 32 | | Amílcar Sernadas,
Hans-Dieter Ehrich:
What is an Object, After All?
DS-4 1990: 39-69 |
| 31 | | Hans-Dieter Ehrich,
Joseph A. Goguen,
Amílcar Sernadas:
A Categorial Theory of Objects as Observed Processes.
REX Workshop 1990: 203-228 |
| 30 | EE | João Pedro Sousa,
Cristina Sernadas,
Amílcar Sernadas:
An object-oriented specification tool for graphical interfaces.
Computers & Graphics 14(1): 29-40 (1990) |
| 29 | | Hans-Dieter Ehrich,
Amílcar Sernadas,
Cristina Sernadas:
From Data Types to Object Types.
Elektronische Informationsverarbeitung und Kybernetik 26(1/2): 33-48 (1990) |
| 28 | | José Carmo,
Amílcar Sernadas:
Branching versus Linear Logics Yet Again.
Formal Asp. Comput. 2(1): 24-59 (1990) |
| 27 | | Cristina Sernadas,
José Luiz Fiadeiro,
Amílcar Sernadas:
Modular construction of logic knowledge bases: an algebraic approach.
Inf. Syst. 15(1): 37-59 (1990) |
| 26 | | José Luiz Fiadeiro,
Amílcar Sernadas:
Logics of Modal Terms for Systems Specification.
J. Log. Comput. 1(2): 187-227 (1990) |
| 1989 |
|---|
| 25 | | José Carmo,
Amílcar Sernadas:
Inevitability in Branching Time.
Logic at Botik 1989: 41-62 |
| 24 | | Hans-Dieter Ehrich,
Amílcar Sernadas:
Algebraic Implementation of Objects over Objects.
REX Workshop 1989: 239-266 |
| 1988 |
|---|
| 23 | | Robert Meersman,
Amílcar Sernadas:
Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, "Data and Knowledge" (DS-2). Albufeira, Portugal, 3-7 November, 1986
North-Holland 1988 |
| 22 | | Hans-Dieter Ehrich,
Amílcar Sernadas,
Cristina Sernadas:
Objects and Object Types.
ADT 1988 |
| 21 | | Hans-Dieter Ehrich,
Amílcar Sernadas,
Cristina Sernadas:
Objects, Object Types, and Object Identification.
Categorial Methods in Computer Science 1988: 142-156 |
| 20 | | Rogério Carapuça,
Luis Andrade,
Amílcar Sernadas:
A Database Design and Construction Workbench.
Computerized Assistance During the Information Systems Life Cycle 1988: 261-286 |
| 19 | | Cristina Sernadas,
José Luiz Fiadeiro,
Amílcar Sernadas:
Object-Oriented Conceptual Modeling from Law.
DS-3 1988: 305-327 |
| 18 | | José Luiz Fiadeiro,
Amílcar Sernadas,
Cristina Sernadas:
Knowledgebases as Structured Theories.
FSTTCS 1988: 469-486 |
| 17 | | Hans-Dieter Ehrich,
Amílcar Sernadas,
Cristina Sernadas:
Abstract Object Types for Databases.
OODBS 1988: 144-149 |
| 16 | | José Luiz Fiadeiro,
Amílcar Sernadas:
Specification and Verification of Database Dynamics.
Acta Inf. 25(6): 625-661 (1988) |
| 1987 |
|---|
| 15 | | José Luiz Fiadeiro,
Amílcar Sernadas:
Structuring Theories on Consequence.
ADT 1987: 44-72 |
| 14 | | José Carmo,
Amílcar Sernadas:
A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification.
Temporal Aspects in Information Systems 1987: 31-46 |
| 13 | | José Luiz Fiadeiro,
Amílcar Sernadas:
Behavioural Aspects of Intelligent Knowledge-Based Information Systems.
Temporal Aspects in Information Systems 1987: 77-92 |
| 12 | | Amílcar Sernadas,
José Luiz Fiadeiro,
Cristina Sernadas,
Hans-Dieter Ehrich:
Abstract Object Types: A Temporal Perspective.
Temporal Logic in Specification 1987: 324-350 |
| 11 | EE | Amílcar Sernadas,
Cristina Sernadas,
Hans-Dieter Ehrich:
Object-Oriented Specification of Databases: An Algebraic Approach.
VLDB 1987: 107-116 |
| 1986 |
|---|
| 10 | | Amílcar Sernadas,
Cristina Sernadas,
José Luiz Fiadeiro:
Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure.
ADT 1986 |
| 9 | | Amílcar Sernadas:
Future Information Systems (Panel).
IFIP Congress 1986: 641-642 |
| 8 | | José Luiz Fiadeiro,
Amílcar Sernadas:
The INFOLOG linear tense propositional logic of events and transactions.
Inf. Syst. 11(1): 61-85 (1986) |
| 1985 |
|---|
| 7 | | Cristina Sernadas,
Amílcar Sernadas:
Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions.
DS-1 1985: 121-140 |
| 6 | EE | Amílcar Sernadas,
Cristina Sernadas:
The Use of E-R Abstractions for Knowledge Representation.
ER 1985: 224-231 |
| 5 | | Amílcar Sernadas,
Cristina Sernadas:
Abstraction and Inference Mechanism for Knowledge Representation.
Foundations of Knowledge Base Management (Xania) 1985: 91-116 |
| 1982 |
|---|
| 4 | | Amílcar Sernadas,
Graça Gaspar,
José Granado:
BIPS: A Layered Predicative Query Language for a DBTG Database System.
JCDKB 1982: 73-93 |
| 1981 |
|---|
| 3 | | Amílcar Sernadas:
SYSTEMATICS: Its Syntax and Semantics as a Query Language (1).
Comput. J. 24(1): 56-61 (1981) |
| 2 | | Amílcar Sernadas:
SYSTEMATICS: Its Syntax and Semantics as a Query Language (2).
Comput. J. 24(2): 125-129 (1981) |
| 1980 |
|---|
| 1 | | Amílcar Sernadas:
Temporal aspects of logical procedure definiton.
Inf. Syst. 5(3): 167-187 (1980) |
