| 2008 |
|---|
| 61 | EE | Walter Alexandre Carnielli,
João Rasga,
Cristina Sernadas:
Preservation of Interpolation Features by Fibring.
J. Log. Comput. 18(1): 123-151 (2008) |
| 60 | 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) |
| 2006 |
|---|
| 59 | EE | Carlos Caleiro,
Paulo Mateus,
Amílcar Sernadas,
Cristina Sernadas:
Quantum Institutions.
Essays Dedicated to Joseph A. Goguen 2006: 50-64 |
| 2005 |
|---|
| 58 | | Carlos Caleiro,
Amílcar Sernadas,
Cristina Sernadas:
Fibring Logics: Past, Present and Future.
We Will Show Them! (1) 2005: 363-388 |
| 57 | EE | Paulo Mateus,
João Rasga,
Cristina Sernadas:
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination.
Logic Journal of the IGPL 13(2): 173-199 (2005) |
| 2004 |
|---|
| 56 | 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 |
|---|
| 55 | EE | Marcelo E. Coniglio,
Amílcar Sernadas,
Cristina Sernadas:
Fibring Logics with Topos Semantics.
J. Log. Comput. 13(4): 595-624 (2003) |
| 54 | | 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) |
| 53 | | 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) |
| 52 | 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 |
|---|
| 51 | EE | João Rasga,
Amílcar Sernadas,
Cristina Sernadas,
Luca Viganò:
Labelled Deduction over Algebras of Truth-Values.
FroCos 2002: 222-238 |
| 50 | 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) |
| 49 | EE | João Rasga,
Amílcar Sernadas,
Cristina Sernadas,
Luca Viganò:
Fibring Labelled Deduction Systems.
J. Log. Comput. 12(3): 443-473 (2002) |
| 48 | | Cristina Sernadas,
João Rasga,
Walter Alexandre Carnielli:
Modulated Fibring and The Collapsing Problem.
J. Symb. Log. 67(4): 1541-1569 (2002) |
| 47 | 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 |
|---|
| 46 | | 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) |
| 45 | | Alberto Zanardo,
Amílcar Sernadas,
Cristina Sernadas:
Fibring: Completeness Preservation.
J. Symb. Log. 66(1): 414-439 (2001) |
| 2000 |
|---|
| 44 | 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) |
| 1999 |
|---|
| 43 | | Javier Pinto,
Amílcar Sernadas,
Cristina Sernadas,
Paulo Mateus:
Nondeterminism and Uncertainty in the Situation Calculus.
FLAIRS Conference 1999: 454-460 |
| 42 | | Paulo Mateus,
Amílcar Sernadas,
Cristina Sernadas:
Realization of Probabilistic Automata: Categorial Approach.
WADT 1999: 237-251 |
| 41 | EE | Paulo Mateus,
Amílcar Sernadas,
Cristina Sernadas:
Precategories for combining probabilistic automata.
Electr. Notes Theor. Comput. Sci. 29: (1999) |
| 40 | EE | Amílcar Sernadas,
Cristina Sernadas,
Carlos Caleiro:
Fibring of Logics as a Categorial Construction.
J. Log. Comput. 9(2): 149-179 (1999) |
| 1998 |
|---|
| 39 | | Paula Gouveia,
Cristina Sernadas:
Abductive Reasoning over Temporal Specifications of Objects.
Advances in Modal Logic 1998: 275-300 |
| 38 | EE | Stefan Conrad,
Jaime Ramos,
Gunter Saake,
Cristina Sernadas:
Evolving Logical Specification in Information Systems.
Logics for Databases and Information Systems 1998: 199-228 |
| 37 | EE | Carlos Caleiro,
Cristina Sernadas,
Amílcar Sernadas:
Parameterisation of Logics.
WADT 1998: 48-62 |
| 36 | EE | Amílcar Sernadas,
Cristina Sernadas,
Carlos Caleiro:
Denotational Semantics of Object Specification.
Acta Inf. 35(9): 729-773 (1998) |
| 1997 |
|---|
| 35 | | Amílcar Sernadas,
Cristina Sernadas,
Carlos Caleiro:
Synchronization of Logics with Mixed Rules: Completeness Preservation.
AMAST 1997: 465-478 |
| 34 | | Amílcar Sernadas,
Cristina Sernadas,
Carlos Caleiro:
Synchronization of Logics.
Studia Logica 59(1): 217-247 (1997) |
| 1996 |
|---|
| 33 | EE | Ralf Jungclaus,
Gunter Saake,
Thorsten Hartmann,
Cristina Sernadas:
TROLL - A Language for Object-Oriented Specification of Information Systems.
ACM Trans. Inf. Syst. 14(2): 175-211 (1996) |
| 32 | EE | Amílcar Sernadas,
Cristina Sernadas,
Jaime Ramos:
A Temporal Logic Approach to Object Certification.
Data Knowl. Eng. 19(3): 267-294 (1996) |
| 1995 |
|---|
| 31 | | Amílcar Sernadas,
Cristina Sernadas,
José Félix Costa:
Object Specification Logic.
J. Log. Comput. 5(5): 603-630 (1995) |
| 1994 |
|---|
| 30 | | Amílcar Sernadas,
Cristina Sernadas,
José Manuel Valença:
A Theory-based Typological Notion of Institutions.
COMPASS/ADT 1994: 420-436 |
| 29 | | Amílcar Sernadas,
Cristina Sernadas:
Object Certification (Invited Lecture).
DAISD 1994: 55-78 |
| 28 | | José Félix Costa,
Amílcar Sernadas,
Cristina Sernadas:
Object Inheritance Beyond Subtyping.
Acta Inf. 31(1): 5-26 (1994) |
| 1993 |
|---|
| 27 | | Paula Gouveia,
Cristina Sernadas:
Reasoning Aspects in Information Systems and Databases.
DAISD 1993: 201-223 |
| 26 | | José Félix Costa,
Amílcar Sernadas,
Cristina Sernadas:
Data Encapsulation and Modularity: Three Views of Inheritance.
MFCS 1993: 382-391 |
| 1992 |
|---|
| 25 | | Amílcar Sernadas,
José Félix Costa,
Cristina Sernadas:
An Institution of Object Behaviour.
COMPASS/ADT 1992: 337-351 |
| 24 | | Cristina Sernadas,
Paula Gouveia,
Amílcar Sernadas:
Refinement: Layered Definition of Conceptual Schemata.
ISCO 1992: 19-51 |
| 23 | | José Félix Costa,
Amílcar Sernadas,
Cristina Sernadas,
Hans-Dieter Ehrich:
Object Interaction.
MFCS 1992: 200-208 |
| 1991 |
|---|
| 22 | | Cristina Sernadas,
Paula Gouveia,
Antónia Lopes:
Gentzen-Type System for Verification in Conceptual Modeling.
FMLDO 1991: 215-228 |
| 21 | EE | Gunter Saake,
Ralf Jungclaus,
Cristina Sernadas:
Abstract Data Type Semantics for Many-Sorted Object Query Algebras.
MFDBS 1991: 291-307 |
| 20 | | Cristina Sernadas,
José Luiz Fiadeiro:
Towards object-oriented conceptual modeling.
Data Knowl. Eng. 6: 479-508 (1991) |
| 1990 |
|---|
| 19 | | Cristina Sernadas,
Paula Gouveia,
Luísa Silva,
Antónia Lopes:
Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling.
DAISD 1990: 93-110 |
| 18 | | José Luiz Fiadeiro,
Cristina Sernadas,
T. S. E. Maibaum,
Gunter Saake:
Proof-Theoretic Semantics of Object-Oriented Specification Constructs.
DS-4 1990: 243-284 |
| 17 | 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) |
| 16 | | Hans-Dieter Ehrich,
Amílcar Sernadas,
Cristina Sernadas:
From Data Types to Object Types.
Elektronische Informationsverarbeitung und Kybernetik 26(1/2): 33-48 (1990) |
| 15 | | Cristina Sernadas,
José Luiz Fiadeiro,
Amílcar Sernadas:
Modular construction of logic knowledge bases: an algebraic approach.
Inf. Syst. 15(1): 37-59 (1990) |
| 1988 |
|---|
| 14 | | Hans-Dieter Ehrich,
Amílcar Sernadas,
Cristina Sernadas:
Objects and Object Types.
ADT 1988 |
| 13 | | Hans-Dieter Ehrich,
Amílcar Sernadas,
Cristina Sernadas:
Objects, Object Types, and Object Identification.
Categorial Methods in Computer Science 1988: 142-156 |
| 12 | | Cristina Sernadas,
José Luiz Fiadeiro,
Amílcar Sernadas:
Object-Oriented Conceptual Modeling from Law.
DS-3 1988: 305-327 |
| 11 | | José Luiz Fiadeiro,
Amílcar Sernadas,
Cristina Sernadas:
Knowledgebases as Structured Theories.
FSTTCS 1988: 469-486 |
| 10 | | Hans-Dieter Ehrich,
Amílcar Sernadas,
Cristina Sernadas:
Abstract Object Types for Databases.
OODBS 1988: 144-149 |
| 1987 |
|---|
| 9 | | Amílcar Sernadas,
José Luiz Fiadeiro,
Cristina Sernadas,
Hans-Dieter Ehrich:
Abstract Object Types: A Temporal Perspective.
Temporal Logic in Specification 1987: 324-350 |
| 8 | EE | Amílcar Sernadas,
Cristina Sernadas,
Hans-Dieter Ehrich:
Object-Oriented Specification of Databases: An Algebraic Approach.
VLDB 1987: 107-116 |
| 7 | | Cristina Sernadas,
Helder Coelho,
Graça Gaspar:
Communication knowledge systems: Part I - Big talk among small systems.
Applied Artificial Intelligence 1(3): 233-260 (1987) |
| 6 | | Cristina Sernadas,
Helder Coelho,
Graça Gaspar:
Communication knowledge systems. Part II - big talk among small systems.
Applied Artificial Intelligence 1(4): 315-335 (1987) |
| 5 | | Cristina Sernadas,
Rogério Carapuça:
The Role of Conceptual Modelling Abstractions in Compiler Development.
Comput. J. 30(4): 328-336 (1987) |
| 1986 |
|---|
| 4 | | Amílcar Sernadas,
Cristina Sernadas,
José Luiz Fiadeiro:
Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure.
ADT 1986 |
| 1985 |
|---|
| 3 | | Cristina Sernadas,
Amílcar Sernadas:
Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions.
DS-1 1985: 121-140 |
| 2 | EE | Amílcar Sernadas,
Cristina Sernadas:
The Use of E-R Abstractions for Knowledge Representation.
ER 1985: 224-231 |
| 1 | | Amílcar Sernadas,
Cristina Sernadas:
Abstraction and Inference Mechanism for Knowledge Representation.
Foundations of Knowledge Base Management (Xania) 1985: 91-116 |
