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

Amílcar Sernadas Vis

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

*2009
93EEDaowen Qiu, Paulo Mateus, Xiangfu Zou, Amílcar Sernadas: One-way quantum finite automata together with classical states CoRR abs/0909.1428: (2009)
2008
92EELuí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)
91EELuí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
90EEPedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas: Towards Model-Checking Quantum Security Protocols. ICQNM 2007: 14
89EERohit 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
88EERohit Chadha, Paulo Mateus, Amílcar Sernadas: Reasoning About States of Probabilistic Sequential Programs. CSL 2006: 240-255
87EECarlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas: Quantum Institutions. Essays Dedicated to Joseph A. Goguen 2006: 50-64
86EERohit Chadha, Paulo Mateus, Amílcar Sernadas: Reasoning About Imperative Quantum Programs. Electr. Notes Theor. Comput. Sci. 158: 19-39 (2006)
85EEPaulo 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
83EEPaulo Mateus, Amílcar Sernadas: Weakly complete axiomatization of exogenous quantum propositional logic CoRR abs/math/0503453: (2005)
2004
82EEPaulo Mateus, Amílcar Sernadas: Reasoning About Quantum Systems. JELIA 2004: 239-251
81EEPaulo 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
80EEMarcelo 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)
77EEPaulo 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
76EEJoão Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò: Labelled Deduction over Algebras of Truth-Values. FroCos 2002: 222-238
75EEPierre-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)
74EEJoão Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò: Fibring Labelled Deduction Systems. J. Log. Comput. 12(3): 443-473 (2002)
73EEAmílcar Sernadas, Cristina Sernadas, Alberto Zanardo: Fibring Modal First-Order Logics: Completeness Preservation. Logic Journal of the IGPL 10(4): 413-451 (2002)
2001
72EECarlos 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
69EEJavier 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
64EEPaulo Mateus, Amílcar Sernadas, Cristina Sernadas: Precategories for combining probabilistic automata. Electr. Notes Theor. Comput. Sci. 29: (1999)
63EEAmílcar Sernadas, Cristina Sernadas, Carlos Caleiro: Fibring of Logics as a Categorial Construction. J. Log. Comput. 9(2): 149-179 (1999)
1998
62EEHans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker: Logics for Specifying Concurrent Information Systems. Logics for Databases and Information Systems 1998: 167-198
61EEJaime Ramos, Amílcar Sernadas: The Situation and State Calculus versus Branching Temporal Logic. WADT 1998: 293-309
60EECarlos Caleiro, Cristina Sernadas, Amílcar Sernadas: Parameterisation of Logics. WADT 1998: 48-62
59EEAmílcar Sernadas, Cristina Sernadas, Carlos Caleiro: Denotational Semantics of Object Specification. Acta Inf. 35(9): 729-773 (1998)
58EEPaulo 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
54EEAmí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
52EEPaulo 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
43EEJosé Félix Costa, Amílcar Sernadas, Cristina Sernadas: Data Encapsulation and Modularity: Three Views of Inheritance. MFCS 1993: 382-391
42EEHans-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
38EEJosé 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
31EEHans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas: A Categorial Theory of Objects as Observed Processes. REX Workshop 1990: 203-228
30EEJoã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
25EEJosé Carmo, Amílcar Sernadas: Inevitability in Branching Time. Logic at Botik 1989: 41-62
24EEHans-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
18EEJosé 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
11EEAmí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
6EEAmí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)

Coauthor Index

1Luis Andrade [20]
2Pedro Baltazar [90]
3Klemens Böhm [44]
4Carlos Caleiro [53] [55] [56] [57] [59] [60] [62] [63] [72] [78] [84] [87]
5Rafael Camps [37]
6Rogério Carapuça [20]
7José Carmo [14] [25] [28] [34]
8Walter Alexandre Carnielli [78]
9Rohit Chadha [86] [88] [89] [90]
10Marcelo E. Coniglio [78] [80]
11José Félix Costa [36] [38] [41] [43] [46] [50] [51] [52] [58]
12Luís Cruz-Filipe [89] [91] [92]
13Grit Denker [42] [45] [57] [62]
14Hans-Dieter Ehrich [11] [12] [17] [21] [22] [24] [29] [31] [32] [35] [38] [40] [42] [45] [49] [62]
15José Luiz Fiadeiro [8] [10] [12] [13] [15] [16] [18] [19] [26] [27] [36]
16Graça Gaspar [4]
17Martin Gogolla [35]
18Joseph A. Goguen [31]
19Paula Gouveia [39]
20José Granado [4]
21Ralf Jungclaus [45]
22Renwei Li [33]
23Guy M. Lohman [37]
24Hugo Lourenço [66]
25T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [36]
26Paulo Mateus [64] [65] [67] [69] [71] [72] [77] [81] [82] [83] [85] [86] [87] [88] [89] [90] [93]
27Robert Meersman [23]
28Paulo Blauth Menezes [52] [58]
29M. Morais [77]
30C. Nunes [77]
31António Pacheco [71] [77]
32Javier Pinto [67] [69] [71]
33Daowen Qiu [93]
34Jaime Ramos [54] [57] [61] [72]
35João Rasga [74] [76] [79] [92]
36Gunter Saake [40] [53] [75]
37Pierre-Yves Schobbens [75]
38Cristina Sernadas [5] [6] [7] [10] [11] [12] [17] [18] [19] [21] [22] [27] [29] [30] [38] [39] [41] [43] [46] [47] [48] [50] [54] [55] [56] [59] [60] [63] [64] [65] [67] [69] [70] [71] [73] [74] [75] [76] [77] [78] [79] [80] [81] [84] [87] [91] [92]
39João Pedro Sousa [30]
40José Manuel Valença [48]
41Luca Viganò [74] [76] [79] [81]
42Alberto Zanardo [70] [73]
43Xiangfu Zou [93]

Colors in the list of coauthors

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