Cristina Sernadas Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Carlos Caleiro [34] [35] [36] [37] [40] [53] [58] [59]
2Rogério Carapuça [5]
3Walter Alexandre Carnielli [48] [53] [62]
4Helder Coelho [6] [7]
5Marcelo E. Coniglio [53] [55]
6Stefan Conrad [38]
7José Félix Costa [23] [25] [26] [28] [31]
8Luís Cruz-Filipe [60] [61]
9Hans-Dieter Ehrich [8] [9] [10] [13] [14] [16] [23]
10José Luiz Fiadeiro [4] [9] [11] [12] [15] [18] [20]
11Graça Gaspar [6] [7]
12Paula Gouveia [19] [22] [24] [27] [39]
13Thorsten Hartmann [33]
14Ralf Jungclaus [21] [33]
15Antónia Lopes [19] [22]
16T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [18]
17Paulo Mateus [41] [42] [43] [44] [46] [52] [56] [57] [59]
18M. Morais [52]
19C. Nunes [52]
20António Pacheco [46] [52]
21Javier Pinto [43] [44] [46]
22Jaime Ramos [32] [38]
23João Rasga [48] [49] [51] [54] [57] [61] [62]
24Gunter Saake [18] [21] [33] [38] [50]
25Pierre-Yves Schobbens [50]
26Amílcar Sernadas [1] [2] [3] [4] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [23] [24] [25] [26] [28] [29] [30] [31] [32] [34] [35] [36] [37] [40] [41] [42] [43] [44] [45] [46] [47] [49] [50] [51] [52] [53] [54] [55] [56] [58] [59] [60] [61]
27Luísa Silva [19]
28João Pedro Sousa [17]
29José Manuel Valença [30]
30Luca Viganò [49] [51] [54] [56]
31Alberto Zanardo [45] [47]

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)