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) |