dblp.uni-trier.dewww.uni-trier.de

Cristina Sernadas Vis

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

*2008
62EEWalter Alexandre Carnielli, João Rasga, Cristina Sernadas: Preservation of Interpolation Features by Fibring. J. Log. Comput. 18(1): 123-151 (2008)
61EELuí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)
60EELuí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
59EECarlos 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
57EEPaulo 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
56EEPaulo 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
55EEMarcelo 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)
52EEPaulo 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
51EEJoão Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò: Labelled Deduction over Algebras of Truth-Values. FroCos 2002: 222-238
50EEPierre-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)
49EEJoã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)
47EEAmí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
44EEJavier 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
41EEPaulo Mateus, Amílcar Sernadas, Cristina Sernadas: Precategories for combining probabilistic automata. Electr. Notes Theor. Comput. Sci. 29: (1999)
40EEAmí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
38EEStefan Conrad, Jaime Ramos, Gunter Saake, Cristina Sernadas: Evolving Logical Specification in Information Systems. Logics for Databases and Information Systems 1998: 199-228
37EECarlos Caleiro, Cristina Sernadas, Amílcar Sernadas: Parameterisation of Logics. WADT 1998: 48-62
36EEAmí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
33EERalf 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)
32EEAmí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
26EEJosé 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
23EEJosé 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
21EEGunter 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
17EEJoã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
11EEJosé 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
8EEAmí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
2EEAmí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

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]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)