Carlos Caleiro

2008
22	EE	David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò: A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. TIME 2008: 101-109
2007
21	EE	Carlos Caleiro, Jaime Ramos: Combining Classical and Intuitionistic Implications. FroCos 2007: 118-132
2006
20	EE	Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas: Quantum Institutions. Essays Dedicated to Joseph A. Goguen 2006: 50-64
19	EE	Carlos Caleiro, Ricardo Gonçalves: On the Algebraization of Many-Sorted Logics. WADT 2006: 21-36
18	EE	Carlos Caleiro, Luca Viganò, David A. Basin: On the semantics of Alice&Bob specifications of security protocols. Theor. Comput. Sci. 367(1-2): 88-122 (2006)
2005
17		Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas: Fibring Logics: Past, Present and Future. We Will Show Them! (1) 2005: 363-388
16	EE	Carlos Caleiro, Luca Viganò, David A. Basin: Metareasoning about Security Protocols using Distributed Temporal Logic. Electr. Notes Theor. Comput. Sci. 125(1): 67-89 (2005)
15	EE	Carlos Caleiro, Luca Viganò, David A. Basin: Deconstructing Alice and Bob. Electr. Notes Theor. Comput. Sci. 135(1): 3-22 (2005)
14	EE	Carlos Caleiro, Luca Viganò, David A. Basin: Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis. Logic Journal of the IGPL 13(6): 637-663 (2005)
2004
13	EE	Carlos Caleiro, Jaime Ramos: Cryptomorphisms at Work. WADT 2004: 45-60
2003
12		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)
2002
11	EE	Carlos Caleiro, Paula Gouveia, Jaime Ramos: Completeness Results for Fibred Parchments: Beyond the Propositional Base. WADT 2002: 185-200
2001
10	EE	Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas: Combining Logics: Parchments Revisited. WADT 2001: 48-70
2000
9	EE	Hans-Dieter Ehrich, Carlos Caleiro: Specifying Communication in Distributed Information Systems. Acta Inf. 36(8): 591-616 (2000)
1999
8	EE	Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro: Fibring of Logics as a Categorial Construction. J. Log. Comput. 9(2): 149-179 (1999)
1998
7	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
6	EE	Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas: Parameterisation of Logics. WADT 1998: 48-62
5	EE	Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro: Denotational Semantics of Object Specification. Acta Inf. 35(9): 729-773 (1998)
1997
4		Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas: A Linear Temporal Logic Approach to Objects with Transactions. AMAST 1997: 170-184
3		Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro: Synchronization of Logics with Mixed Rules: Completeness Preservation. AMAST 1997: 465-478
2		Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro: Synchronization of Logics. Studia Logica 59(1): 217-247 (1997)
1996
1		Carlos Caleiro, Gunter Saake, Amílcar Sernadas: Deriving Liveness Goals from Temporal Logic Specifications. J. Symb. Comput. 22(5/6): 521-553 (1996)

Coauthor Index

1	David A. Basin	[14] [15] [16] [18] [22]
2	Walter Alexandre Carnielli	[12]
3	Marcelo E. Coniglio	[12]
4	Grit Denker	[4] [7]
5	Hans-Dieter Ehrich	[7] [9]
6	Ricardo Gonçalves	[19]
7	Paula Gouveia	[11]
8	Paulo Mateus	[10] [20]
9	Jaime Ramos	[4] [10] [11] [13] [21] [22]
10	Gunter Saake	[1]
11	Amílcar Sernadas	[1] [2] [3] [4] [5] [6] [7] [8] [10] [12] [17] [20]
12	Cristina Sernadas	[2] [3] [5] [6] [8] [12] [17] [20]
13	Luca Viganò	[14] [15] [16] [18] [22]

Colors in the list of coauthors