Luís Caires

	2011
37		Frank Pfenning, Luís Caires, Bernardo Toninho: Proof-Carrying Code in a Session-Typed Process Calculus. CPP 2011: 21-36
36		Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão: Type-Based Access Control in Data-Centric Systems. ESOP 2011: 136-155
35		Bernardo Toninho, Luís Caires, Frank Pfenning: Dependent session types via intuitionistic linear type theory. PPDP 2011: 161-172
34		Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro: Core Calculi for Service-Oriented Computing. Results of the SENSORIA Project 2011: 153-188
33		Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino: Tools and Verification. Results of the SENSORIA Project 2011: 408-427
	2010
32		Mário Pires, Luís Caires: A Type System for Access Control Views in Object-Oriented Languages. ARSPA-WITS 2010: 59-76
31		Luís Caires, Frank Pfenning: Session Types as Intuitionistic Linear Propositions. CONCUR 2010: 222-236
30		Luís Caires, Hugo Torres Vieira: Analysis of Service Oriented Software Systems with the Conversation Calculus. FACS 2010: 6-33
29		Bernardo Toninho, Luís Caires: A Spatial-Epistemic Logic for Reasoning about Security Protocols SecCo 2010: 1-15
28		Luís Caires, Vasco Thudichum Vasconcelos: 18th International Conference on Concurrency Theory. Inf. Comput. 208(6): 605 (2010)
27		Luís Caires, Hugo Torres Vieira: Conversation types. Theor. Comput. Sci. 411(51-52): 4399-4440 (2010)
	2009
26		Luís Caires, Hugo Torres Vieira: Conversation Types. ESOP 2009: 285-300
	2008
25		Hugo Torres Vieira, Luís Caires, João Costa Seco: The Conversation Calculus: A Model of Service-Oriented Computation. ESOP 2008: 269-283
24		Luís Caires, Carla Ferreira, Hugo Torres Vieira: A Process Calculus Analysis of Compensations. TGC 2008: 87-103
23		Luís Caires: Spatial-behavioral types for concurrency and resource control in distributed systems. Theor. Comput. Sci. 402(2-3): 120-141 (2008)
	2007
22		Luís Caires, Vasco Thudichum Vasconcelos: CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings Springer 2007
21		Luís Caires: Logical Semantics of Types for Concurrency. CALCO 2007: 16-35
20		Luís Caires, Hugo Torres Vieira: Extensionality of Spatial Observations in Distributed Systems. Electr. Notes Theor. Comput. Sci. 175(3): 131-149 (2007)
	2006
19		João Costa Seco, Luís Caires: Types for Dynamic Reconfiguration. ESOP 2006: 214-229
18		Luís Caires: Spatial-Behavioral Types, Distributed Services, and Resources. TGC 2006: 98-115
17		Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro: SCC: A Service Centered Calculus. WS-FM 2006: 38-57
16		Luís Caires, Étienne Lozes: Elimination of quantifiers and undecidability in spatial logics for concurrency. Theor. Comput. Sci. 358(2-3): 293-314 (2006)
	2005
15		Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings Springer 2005
14		João Costa Seco, Luís Caires: Subtyping First-Class Polymorphic Components. ESOP 2005: 342-356
	2004
13		Luís Caires, Étienne Lozes: Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. CONCUR 2004: 240-257
12		Luís Caires: Behavioral and Spatial Observations in a Logic for the pi-Calculus. FoSSaCS 2004: 72-89
11		Luís Caires, Luca Cardelli: A spatial logic for concurrency - II. Theor. Comput. Sci. 322(3): 517-565 (2004)
	2003
10		Luís Caires, Luca Cardelli: A spatial logic for concurrency (part I). Inf. Comput. 186(2): 194-235 (2003)
	2002
9		Luís Caires, Luca Cardelli: A Spatial Logic for Concurrency (Part II). CONCUR 2002: 209-225
	2001
8		Luís Caires, Luca Cardelli: A Spatial Logic for Concurrency. TACS 2001: 1-37
	2000
7		João Costa Seco, Luís Caires: A Basic Model of Typed Components. ECOOP 2000: 108-128
	1998
6		Luís Caires, Luís Monteiro: Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi. ESOP 1998: 42-56
	1997
5		Luís Caires, Luís Monteiro: Proof Net Semantics of Proof Search Computation. ALP/HOA 1997: 194-208
	1996
4		Luís Caires: A Language for the Logical Specification of Processes and Relations. ALP 1996: 150-164
	1994
3		Luís Caires, Luís Monteiro: Higher-Order Polymorphic Unification for Logic Programming. ICLP 1994: 419-433
	1992
2		Luís Moniz Pereira, Luís Caires, José Júlio Alferes: SLWV - A Theorem Prover for Logic Programming. ELP 1992: 1-23
	1989
1		José A. S. Alegria, Artur M. Dias, Luís Caires: Towards Distributed Tools for Heterogeneous Logic Programming Environments. ICLP 1989: 505-520

Coauthor Index

1	José A. S. Alegria	[1]
2	José Júlio Alferes	[2]
3	Massimo Bartoletti	[33]
4	Michele Boreale	[17]
5	Roberto Bruni	[17]
6	Luca Cardelli	[8] [9] [10] [11]
7	Artur M. Dias	[1]
8	Lúcio Ferrão	[36]
9	Carla Ferreira	[24]
10	Giuseppe F. Italiano	[15]
11	Ivan Lanese	[17] [33]
12	Michele Loreti	[17]
13	Étienne Lozes	[13] [16]
14	Francisco Martins	[17]
15	Franco Mazzanti	[33]
16	Ugo Montanari	[17]
17	Luís Monteiro	[3] [5] [6] [15]
18	Rocco De Nicola	[17] [34]
19	Catuscia Palamidessi	[15]
20	Luís Moniz Pereira (Luíz Moniz Pereira)	[2]
21	Jorge A. Pérez (Jorge Andrés Pérez)	[36]
22	Frank Pfenning	[31] [35] [37]
23	Mário Pires	[32]
24	Rosario Pugliese	[34]
25	António Ravara	[17]
26	Davide Sangiorgi	[17] [33]
27	João Costa Seco	[7] [14] [19] [25] [36]
28	Bernardo Toninho	[29] [35] [37]
29	Vasco Thudichum Vasconcelos	[17] [22] [28] [34]
30	Hugo Torres Vieira	[20] [24] [25] [26] [27] [30] [33] [36]
31	Moti Yung (Mordechai M. Yung)	[15]
32	Gianluigi Zavattaro	[17] [34]
33	Roberto Zunino	[33]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page