ask others

Luís Caires

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c45]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/CairesP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/CairesP17
Luís Caires, Jorge A. Pérez:
Linearity, Control Effects, and Behavioral Types. ESOP 2017: 229-259
2016
[j11]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/csur/HuttelLVCCDMPRT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/csur/HuttelLVCCDMPRT16
Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro:
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49(1): 3:1-3:36 (2016)
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/CairesPT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/CairesPT16
Luís Caires, Frank Pfenning, Bernardo Toninho:
Linear logic propositions as session types. Mathematical Structures in Computer Science 26(3): 367-423 (2016)
[c44]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/MilitaoAC16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/MilitaoAC16
Filipe Militão, Jonathan Aldrich, Luís Caires:
Composing Interfering Abstract Protocols. ECOOP 2016: 16:1-16:26
[c43]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/forte/CairesP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/CairesP16
Luís Caires, Jorge A. Pérez:
Multiparty Session Types Within a Canonical Binary Theory, and Beyond. FORTE 2016: 74-95
2015
[c42]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/LourencoC15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/LourencoC15
Luísa Lourenço, Luís Caires:
Dependent Information Flow Types. POPL 2015: 317-328
2014
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/PerezCPT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/PerezCPT14
Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho:
Linear logical relations and observational equivalences for session-based concurrency. Inf. Comput. 239: 254-302 (2014)
[c41]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/MilitaoAC14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/MilitaoAC14
Filipe Militão, Jonathan Aldrich, Luís Caires:
Rely-Guarantee Protocols. ECOOP 2014: 334-359
[c40]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/plpv/MilitaoAC14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/plpv/MilitaoAC14
Filipe Militão, Jonathan Aldrich, Luís Caires:
Substructural typestates. PLPV 2014: 15-26
[c39]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tgc/ToninhoCP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tgc/ToninhoCP14
Bernardo Toninho, Luís Caires, Frank Pfenning:
Corecursion and Non-divergence in Session-Typed Processes. TGC 2014: 159-175
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/CairesP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/CairesP14
Luís Caires, Jorge A. Pérez:
A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions. CoRR abs/1407.4242 (2014)
2013
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/CairesPPT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/CairesPPT13
Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho:
Behavioral Polymorphism and Parametricity in Session-Based Communication. ESOP 2013: 330-349
[c37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/ToninhoCP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/ToninhoCP13
Bernardo Toninho, Luís Caires, Frank Pfenning:
Higher-Order Processes, Functions, and Sessions: A Monadic Integration. ESOP 2013: 350-369
[c36]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/CairesS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/CairesS13
Luís Caires, João Costa Seco:
The type discipline of behavioral separation. POPL 2013: 275-286
[c35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tgc/LourencoC13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tgc/LourencoC13
Luísa Lourenço, Luís Caires:
Information Flow Analysis for Valued-Indexed Data Security Compartments. TGC 2013: 180-198
2012
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/DeYoungCPT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/DeYoungCPT12
Henry DeYoung, Luís Caires, Frank Pfenning, Bernardo Toninho:
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. CSL 2012: 228-242
[c33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/PerezCPT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/PerezCPT12
Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho:
Linear Logical Relations for Session-Based Concurrency. ESOP 2012: 539-558
[c32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/ToninhoCP12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/ToninhoCP12
Bernardo Toninho, Luís Caires, Frank Pfenning:
Functions as Session-Typed Processes. FoSSaCS 2012: 346-360
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/CairesV12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/CairesV12
Luís Caires, Hugo Torres Vieira:
SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications. TACAS 2012: 485-491
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tgc/BaltazarCVV12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tgc/BaltazarCVV12
Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos, Hugo Torres Vieira:
A Type System for Flexible Role Assignment in Multiparty Communicating Systems. TGC 2012: 82-96
[c29]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/tldi/CairesPT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tldi/CairesPT12
Luís Caires, Frank Pfenning, Bernardo Toninho:
Towards concurrent type theory. TLDI 2012: 1-12
2011
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cpp/PfenningCT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cpp/PfenningCT11
Frank Pfenning, Luís Caires, Bernardo Toninho:
Proof-Carrying Code in a Session-Typed Process Calculus. CPP 2011: 21-36
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/CairesPSVF11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/CairesPSVF11
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
[c26]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ppdp/ToninhoCP11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ppdp/ToninhoCP11
Bernardo Toninho, Luís Caires, Frank Pfenning:
Dependent session types via intuitionistic linear type theory. PPDP 2011: 161-172
[p2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - books/sp/sensoria2011/CairesNPVZ11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/sp/sensoria2011/CairesNPVZ11
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - books/sp/sensoria2011/BartolettiCLMSVZ11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/sp/sensoria2011/BartolettiCLMSVZ11
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
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/CairesV10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/CairesV10
Luís Caires, Vasco Thudichum Vasconcelos:
18th International Conference on Concurrency Theory. Inf. Comput. 208(6): 605 (2010)
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/CairesV10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/CairesV10
Luís Caires, Hugo Torres Vieira:
Conversation types. Theor. Comput. Sci. 411(51-52): 4399-4440 (2010)
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/CairesP10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/CairesP10
Luís Caires, Frank Pfenning:
Session Types as Intuitionistic Linear Propositions. CONCUR 2010: 222-236
[c24]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ecoop/MilitaoAC10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/MilitaoAC10
Filipe Militão, Jonathan Aldrich, Luís Caires:
Aliasing control with view-based typestate. FTfJP@ECOOP 2010: 7:1-7:7
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/CairesV10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/CairesV10
Luís Caires, Hugo Torres Vieira:
Analysis of Service Oriented Software Systems with the Conversation Calculus. FACS 2010: 6-33
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip1-7/PiresC10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifip1-7/PiresC10
Mário Pires, Luís Caires:
A Type System for Access Control Views in Object-Oriented Languages. ARSPA-WITS 2010: 59-76
[c21]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/lics/CairesFR10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/CairesFR10
Luís Caires, Carla Ferreira, António Ravara:
A simple proof system for lock-free concurrency. PSPL@LICS 2010: 1-3
[c20]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1102-5584
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1102-5584
Bernardo Toninho, Luís Caires:
A Spatial-Epistemic Logic for Reasoning about Security Protocols. SecCo 2010: 1-15

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/CairesV09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/CairesV09
Luís Caires, Hugo Torres Vieira:
Conversation Types. ESOP 2009: 285-300
2008
[j6]
- no documents available
- export record
  dblp key:
  - journals/eatcs/Caires08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eatcs/Caires08
Luís Caires:
Dynamic Spatial Logics: A Tutorial Survey. Bulletin of the EATCS 94: 77-112 (2008)
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Caires08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Caires08
Luís Caires:
Spatial-behavioral types for concurrency and resource control in distributed systems. Theor. Comput. Sci. 402(2-3): 120-141 (2008)
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/VieiraCS08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/VieiraCS08
Hugo Torres Vieira, Luís Caires, João Costa Seco:
The Conversation Calculus: A Model of Service-Oriented Computation. ESOP 2008: 269-283
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tgc/CairesFV08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tgc/CairesFV08
Luís Caires, Carla Ferreira, Hugo Torres Vieira:
A Process Calculus Analysis of Compensations. TGC 2008: 87-103
2007
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/CairesV07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/CairesV07
Luís Caires, Hugo Torres Vieira:
Extensionality of Spatial Observations in Distributed Systems. Electr. Notes Theor. Comput. Sci. 175(3): 131-149 (2007)
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/Caires07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/Caires07
Luís Caires:
Logical Semantics of Types for Concurrency. CALCO 2007: 16-35
[e2]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/2007
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/2007
Luís Caires, Vasco Thudichum Vasconcelos:
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 [contents]
2006
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/CairesL06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/CairesL06
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/SecoC06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/SecoC06
João Costa Seco, Luís Caires:
Types for Dynamic Reconfiguration. ESOP 2006: 214-229
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tgc/Caires06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tgc/Caires06
Luís Caires:
Spatial-Behavioral Types, Distributed Services, and Resources. TGC 2006: 98-115
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wsfm/BorealeBCNLLMMRSVZ06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wsfm/BorealeBCNLLMMRSVZ06
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/SecoC05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/SecoC05
João Costa Seco, Luís Caires:
Subtyping First-Class Polymorphic Components. ESOP 2005: 342-356
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/2005
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/2005
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. Lecture Notes in Computer Science 3580, Springer 2005, ISBN 3-540-27580-0 [contents]
2004
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/CairesC04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/CairesC04
Luís Caires, Luca Cardelli:
A spatial logic for concurrency - II. Theor. Comput. Sci. 322(3): 517-565 (2004)
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/CairesL04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/CairesL04
Luís Caires, Étienne Lozes:
Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. CONCUR 2004: 240-257
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Caires04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Caires04
Luís Caires:
Behavioral and Spatial Observations in a Logic for the pi-Calculus. FoSSaCS 2004: 72-89
2003
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/CairesC03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/CairesC03
Luís Caires, Luca Cardelli:
A spatial logic for concurrency (part I). Inf. Comput. 186(2): 194-235 (2003)
2002
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/CairesC02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/CairesC02
Luís Caires, Luca Cardelli:
A Spatial Logic for Concurrency (Part II). CONCUR 2002: 209-225
2001
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacs/CairesC01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacs/CairesC01
Luís Caires, Luca Cardelli:
A Spatial Logic for Concurrency. TACS 2001: 1-37
2000
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/SecoC00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/SecoC00
João Costa Seco, Luís Caires:
A Basic Model of Typed Components. ECOOP 2000: 108-128

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/CairesM98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/CairesM98
Luís Caires, Luís Monteiro:
Verifiable and Executable Logic Specifications of Concurrent Objects in L_pi. ESOP 1998: 42-56
1997
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/CairesM97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/CairesM97
Luís Caires, Luís Monteiro:
Proof Net Semantics of Proof Search Computation. ALP/HOA 1997: 194-208
1996
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/alp/Caires96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/alp/Caires96
Luís Caires:
A Language for the Logical Specification of Processes and Relations. ALP 1996: 150-164
1994
[c3]
- no documents available
- export record
  dblp key:
  - conf/iclp/CairesM94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iclp/CairesM94
Luís Caires, Luís Monteiro:
Higher-Order Polymorphic Unification for Logic Programming. ICLP 1994: 419-433
1992
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/elp/PereiraCA92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/elp/PereiraCA92
Luís Moniz Pereira, Luís Caires, José Júlio Alferes:
SLWV - A Theorem Prover for Logic Programming. ELP 1992: 1-23

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c1]
- no documents available
- export record
  dblp key:
  - conf/iclp/AlegriaDC89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iclp/AlegriaDC89
José A. S. Alegria, Artur M. Dias, Luís Caires:
Towards Distributed Tools for Heterogeneous Logic Programming Environments. ICLP 1989: 505-520

Coauthor Index

see FAQ

maintained by

at