Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Luís Caires
2010 – today
- 2013
[c34]Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho: Behavioral Polymorphism and Parametricity in Session-Based Communication. ESOP 2013: 330-349- [c33]Bernardo Toninho, Luís Caires, Frank Pfenning: Higher-Order Processes, Functions, and Sessions: A Monadic Integration. ESOP 2013: 350-369
- [c32]
- 2012
- [c31]Henry DeYoung, Luís Caires, Frank Pfenning, Bernardo Toninho: Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. CSL 2012: 228-242
- [c30]Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho: Linear Logical Relations for Session-Based Concurrency. ESOP 2012: 539-558
- [c29]Bernardo Toninho, Luís Caires, Frank Pfenning: Functions as Session-Typed Processes. FoSSaCS 2012: 346-360
- [c28]Luís Caires, Hugo Torres Vieira: SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications. TACAS 2012: 485-491
- [c27]
- 2011
- [p2]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
- [p1]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
- [c26]Frank Pfenning, Luís Caires, Bernardo Toninho: Proof-Carrying Code in a Session-Typed Process Calculus. CPP 2011: 21-36
- [c25]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
- [c24]Bernardo Toninho, Luís Caires, Frank Pfenning: Dependent session types via intuitionistic linear type theory. PPDP 2011: 161-172
- 2010
- [j8]Luís Caires, Vasco Thudichum Vasconcelos: 18th International Conference on Concurrency Theory. Inf. Comput. 208(6): 605 (2010)
- [j7]Luís Caires, Hugo Torres Vieira: Conversation types. Theor. Comput. Sci. 411(51-52): 4399-4440 (2010)
- [c23]Luís Caires, Frank Pfenning: Session Types as Intuitionistic Linear Propositions. CONCUR 2010: 222-236
- [c22]Luís Caires, Hugo Torres Vieira: Analysis of Service Oriented Software Systems with the Conversation Calculus. FACS 2010: 6-33
- [c21]Mário Pires, Luís Caires: A Type System for Access Control Views in Object-Oriented Languages. ARSPA-WITS 2010: 59-76
- [c20]Bernardo Toninho, Luís Caires: A Spatial-Epistemic Logic for Reasoning about Security Protocols. SecCo 2010: 1-15
2000 – 2009
- 2009
- [c19]
- 2008
- [j6]
- [j5]Luís Caires: Spatial-behavioral types for concurrency and resource control in distributed systems. Theor. Comput. Sci. 402(2-3): 120-141 (2008)
- [c18]Hugo Torres Vieira, Luís Caires, João Costa Seco: The Conversation Calculus: A Model of Service-Oriented Computation. ESOP 2008: 269-283
- [c17]Luís Caires, Carla Ferreira, Hugo Torres Vieira: A Process Calculus Analysis of Compensations. TGC 2008: 87-103
- 2007
- [j4]Luís Caires, Hugo Torres Vieira: Extensionality of Spatial Observations in Distributed Systems. Electr. Notes Theor. Comput. Sci. 175(3): 131-149 (2007)
- [c16]
- [e2]Luís Caires, Vasco Thudichum Vasconcelos (Eds.): CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings. Lecture Notes in Computer Science 4703, Springer 2007, ISBN 978-3-540-74406-1
- 2006
- [j3]Luís Caires, Étienne Lozes: Elimination of quantifiers and undecidability in spatial logics for concurrency. Theor. Comput. Sci. 358(2-3): 293-314 (2006)
- [c15]
- [c14]
- [c13]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
- 2005
- [c12]
- [e1]Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung (Eds.): Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings. Lecture Notes in Computer Science 3580, Springer 2005, ISBN 3-540-27580-0
- 2004
- [j2]Luís Caires, Luca Cardelli: A spatial logic for concurrency - II. Theor. Comput. Sci. 322(3): 517-565 (2004)
- [c11]Luís Caires, Étienne Lozes: Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. CONCUR 2004: 240-257
- [c10]Luís Caires: Behavioral and Spatial Observations in a Logic for the pi-Calculus. FoSSaCS 2004: 72-89
- 2003
- [j1]Luís Caires, Luca Cardelli: A spatial logic for concurrency (part I). Inf. Comput. 186(2): 194-235 (2003)
- 2002
- [c9]
- 2001
- [c8]
- 2000
- [c7]
1990 – 1999
- 1998
- [c6]Luís Caires, Luís Monteiro: Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi. ESOP 1998: 42-56
- 1997
- [c5]
- 1996
- [c4]
- 1994
- [c3]Luís Caires, Luís Monteiro: Higher-Order Polymorphic Unification for Logic Programming. ICLP 1994: 419-433
- 1992
- [c2]Luís Moniz Pereira, Luís Caires, José Júlio Alferes: SLWV - A Theorem Prover for Logic Programming. ELP 1992: 1-23
1980 – 1989
- 1989
- [c1]José A. S. Alegria, Artur M. Dias, Luís Caires: Towards Distributed Tools for Heterogeneous Logic Programming Environments. ICLP 1989: 505-520
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-19 20:14 CET by the dblp team