Carlos Caleiro

	2011
34		Bruno Conchinha, David A. Basin, Carlos Caleiro: FAST: An Efficient Decision Procedure for Deduction and Static Equivalence. RTA 2011: 11-20
33		Carlos Caleiro, Ricardo Gonçalves: Towards a Behavioral Algebraic Theory of Logical Valuations. Fundam. Inform. 106(2-4): 191-209 (2011)
32		Carlos Caleiro, Paula Gouveia, Jaime Ramos: Hierarchical logical consequence. Logic Journal of the IGPL 19(4): 544-565 (2011)
31		David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò: Distributed temporal logic for the analysis of security protocol models. Theor. Comput. Sci. 412(31): 4007-4043 (2011)
	2010
30		Bruno Conchinha, David A. Basin, Carlos Caleiro: Efficient Decision Procedures for Message Deducibility and Static Equivalence. Formal Aspects in Security and Trust 2010: 34-49
29		Carlos Caleiro, João Marcos: Two Many Values: An Algorithmic Outlook on Suszko's Thesis. ISMVL 2010: 93-97
	2009
28		Carlos Caleiro, Ricardo Gonçalves: Algebraic Valuations as Behavioral Logical Matrices. WoLLIC 2009: 13-25
27		Carlos Caleiro, João Marcos: Classic-Like Analytic Tableaux for Finite-Valued Logics. WoLLIC 2009: 268-280
26		Bruno Montalto, Carlos Caleiro: Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities. Electr. Notes Theor. Comput. Sci. 253(3): 143-165 (2009)
25		David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò: Labelled Tableaux for Distributed Temporal Logic. J. Log. Comput. 19(6): 1245-1279 (2009)
24		Carlos Caleiro, Ricardo Gonçalves: Behavioral algebraization of da Costa's C-systems. Journal of Applied Non-Classical Logics 19(2): 127-148 (2009)
23		Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins: Behavioral Algebraization of Logics. Studia Logica 91(1): 63-111 (2009)
	2008
22		David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò: A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. TIME 2008: 101-109
	2007
21		Carlos Caleiro, Jaime Ramos: Combining Classical and Intuitionistic Implications. FroCos 2007: 118-132
	2006
20		Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas: Quantum Institutions. Essays Dedicated to Joseph A. Goguen 2006: 50-64
19		Carlos Caleiro, Ricardo Gonçalves: On the Algebraization of Many-Sorted Logics. WADT 2006: 21-36
18		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		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		Carlos Caleiro, Luca Viganò, David A. Basin: Deconstructing Alice and Bob. Electr. Notes Theor. Comput. Sci. 135(1): 3-22 (2005)
14		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		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		Carlos Caleiro, Paula Gouveia, Jaime Ramos: Completeness Results for Fibred Parchments: Beyond the Propositional Base. WADT 2002: 185-200
	2001
10		Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas: Combining Logics: Parchments Revisited. WADT 2001: 48-70
	2000
9		Hans-Dieter Ehrich, Carlos Caleiro: Specifying Communication in Distributed Information Systems. Acta Inf. 36(8): 591-616 (2000)
	1999
8		Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro: Fibring of Logics as a Categorial Construction. J. Log. Comput. 9(2): 149-179 (1999)
	1998
7		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		Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas: Parameterisation of Logics. WADT 1998: 48-62
5		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] [25] [30] [31] [34]
2	Walter Alexandre Carnielli	[12]
3	Bruno Conchinha	[30] [34]
4	Marcelo E. Coniglio	[12]
5	Grit Denker	[4] [7]
6	Hans-Dieter Ehrich	[7] [9]
7	Ricardo Gonçalves	[19] [23] [24] [28] [33]
8	Paula Gouveia	[11] [32]
9	João Marcos	[27] [29]
10	Manuel A. Martins (Manuel António Martins)	[23]
11	Paulo Mateus	[10] [20]
12	Bruno Montalto	[26]
13	Jaime Ramos	[4] [10] [11] [13] [21] [22] [25] [31] [32]
14	Gunter Saake	[1]
15	Amílcar Sernadas	[1] [2] [3] [4] [5] [6] [7] [8] [10] [12] [17] [20]
16	Cristina Sernadas	[2] [3] [5] [6] [8] [12] [17] [20]
17	Luca Viganò	[14] [15] [16] [18] [22] [25] [31]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page