| 2024 | ESOP | The Session Abstract Machine. | Lus Caires, Bernardo Toninho |
| 2023 | ESOP | Safe Session-Based Concurrency with Shared Linear State. | Pedro Rocha, Lus Caires |
| 2021 | PPDP | A Decade of Dependent Session Types. | Bernardo Toninho, Lus Caires, Frank Pfenning |
| 2019 | CONCUR | Domain-Aware Session Types. | Lus Caires, Jorge A. Prez, Frank Pfenning, Bernardo Toninho |
| 2017 | ESOP | Linearity, Control Effects, and Behavioral Types. | Lus Caires, Jorge A. Prez |
| 2016 | ECOOP | Composing Interfering Abstract Protocols. | Filipe Milito, Jonathan Aldrich, Lus Caires |
| 2016 | FORTE | Multiparty Session Types Within a Canonical Binary Theory, and Beyond. | Lus Caires, Jorge A. Prez |
| 2015 | POPL | Dependent Information Flow Types. | Lusa Loureno, Lus Caires |
| 2014 | ECOOP | Rely-Guarantee Protocols. | Filipe Milito, Jonathan Aldrich, Lus Caires |
| 2013 | ESOP | Behavioral Polymorphism and Parametricity in Session-Based Communication. | Lus Caires, Jorge A. Prez, Frank Pfenning, Bernardo Toninho |
| 2013 | ESOP | Higher-Order Processes, Functions, and Sessions: A Monadic Integration. | Bernardo Toninho, Lus Caires, Frank Pfenning |
| 2013 | POPL | The type discipline of behavioral separation. | Lus Caires, Joo Costa Seco |
| 2012 | CSL | Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. | Henry DeYoung, Lus Caires, Frank Pfenning, Bernardo Toninho |
| 2012 | ESOP | Linear Logical Relations for Session-Based Concurrency. | Jorge A. Prez, Lus Caires, Frank Pfenning, Bernardo Toninho |
| 2012 | FOSSACS | Functions as Session-Typed Processes. | Bernardo Toninho, Lus Caires, Frank Pfenning |
| 2012 | TACAS | SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications. | Lus Caires, Hugo Torres Vieira |
| 2011 | CPP | Proof-Carrying Code in a Session-Typed Process Calculus. | Frank Pfenning, Lus Caires, Bernardo Toninho |
| 2011 | ESOP | Type-Based Access Control in Data-Centric Systems. | Lus Caires, Jorge A. Prez, Joo Costa Seco, Hugo Torres Vieira, Lcio Ferro |
| 2011 | PPDP | Dependent session types via intuitionistic linear type theory. | Bernardo Toninho, Lus Caires, Frank Pfenning |
| 2010 | CONCUR | Session Types as Intuitionistic Linear Propositions. | Lus Caires, Frank Pfenning |
| 2010 | ECOOP | Aliasing control with view-based typestate. | Filipe Milito, Jonathan Aldrich, Lus Caires |
| 2010 | LICS | A simple proof system for lock-free concurrency. | Lus Caires, Carla Ferreira, Antnio Ravara |
| 2009 | ESOP | Conversation Types. | Lus Caires, Hugo Torres Vieira |
| 2008 | ESOP | The Conversation Calculus: A Model of Service-Oriented Computation. | Hugo Torres Vieira, Lus Caires, Joo Costa Seco |
| 2007 | CALCO | Logical Semantics of Types for Concurrency. | Lus Caires |
| 2006 | ESOP | Types for Dynamic Reconfiguration. | Joo Costa Seco, Lus Caires |
| 2005 | ESOP | Subtyping First-Class Polymorphic Components. | Joo Costa Seco, Lus Caires |
| 2004 | CONCUR | Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. | Lus Caires, tienne Lozes |
| 2004 | FOSSACS | Behavioral and Spatial Observations in a Logic for the pi-Calculus. | Lus Caires |
| 2002 | CONCUR | A Spatial Logic for Concurrency (Part II). | Lus Caires, Luca Cardelli |
| 2000 | ECOOP | A Basic Model of Typed Components. | Joo Costa Seco, Lus Caires |
| 1998 | ESOP | Verifiable and Executable Logic Specifications of Concurrent Objects in L | Lus Caires, Lus Monteiro |
| 1994 | ICLP | Higher-Order Polymorphic Unification for Logic Programming. | Lus Caires, Lus Monteiro |
| 1989 | ICLP | Towards Distributed Tools for Heterogeneous Logic Programming Environments. | Jos A. S. Alegria, Artur M. Dias, Lus Caires |