| 2026 | FORTE | Deadlock-Free Context-Free Session Types. | Andreia Mordido, Jorge A. Prez |
| 2025 | ECOOP | Contrasting Deadlock-Free Session Processes. | Juan C. Jaramillo, Jorge A. Prez |
| 2024 | CONCUR | Around Classical and Intuitionistic Linear Processes. | Juan C. Jaramillo, Dan Frumin, Jorge A. Prez |
| 2023 | APLAS | Typed Non-determinism in Functional and Concurrent Calculi. | Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Prez |
| 2023 | PPDP | Termination in Concurrency, Revisited. | Joseph W. N. Paulus, Jorge A. Prez, Daniele Nantes-Sobrinho |
| 2023 | RV | Monitoring Blackbox Implementations of Multiparty Session Protocols. | Bas van den Heuvel, Jorge A. Prez, Rares A. Dobre |
| 2022 | IFM | Scalable Typestate Analysis for Low-Latency Environments. | Alen Arslanagic, Pavle Subotic, Jorge A. Prez |
| 2021 | ESOP | Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. | Alex C. Keizer, Henning Basold, Jorge A. Prez |
| 2021 | FSCD | Non-Deterministic Functions as Non-Deterministic Processes. | Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Prez |
| 2021 | PPDP | Minimal Session Types for the π-calculus. | Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Prez |
| 2019 | CONCUR | Domain-Aware Session Types. | Lus Caires, Jorge A. Prez, Frank Pfenning, Bernardo Toninho |
| 2019 | ECOOP | Minimal Session Types (Pearl). | Alen Arslanagic, Jorge A. Prez, Erik Voogd |
| 2018 | FORTE | Relating Process Languages for Security and Communication Correctness (Extended Abstract). | Daniele Nantes, Jorge A. Prez |
| 2017 | ESOP | Linearity, Control Effects, and Behavioral Types. | Lus Caires, Jorge A. Prez |
| 2017 | FORTE | Session-Based Concurrency, Reactively. | Mauricio Cano, Jaime Arias, Jorge A. Prez |
| 2017 | PPDP | Causally consistent reversible choreographies: a monitors-as-memories approach. | Claudio Antares Mezzina, Jorge A. Prez |
| 2017 | SAC | Efficient compensation handling via subjective updates. | Jovana Dedeic, Jovanka Pantovic, Jorge A. Prez |
| 2016 | ESOP | On the Relative Expressiveness of Higher-Order Session Processes. | Dimitrios Kouzapas, Jorge A. Prez, Nobuko Yoshida |
| 2016 | FORTE | Multiparty Session Types Within a Canonical Binary Theory, and Beyond. | Lus Caires, Jorge A. Prez |
| 2016 | FORTE | The Challenge of Typed Expressiveness in Concurrency. | Jorge A. Prez |
| 2015 | CONCUR | Characteristic Bisimulation for Higher-Order Session Processes. | Dimitrios Kouzapas, Jorge A. Prez, Nobuko Yoshida |
| 2015 | PPDP | Declarative interpretations of session-based concurrency. | Mauricio Cano, Camilo Rueda, Hugo A. Lpez, Jorge A. Prez |
| 2013 | ESOP | Behavioral Polymorphism and Parametricity in Session-Based Communication. | Lus Caires, Jorge A. Prez, Frank Pfenning, Bernardo Toninho |
| 2013 | SAC | Disciplined structured communications with consistent runtime adaptation. | Cinzia Di Giusto, Jorge A. Prez |
| 2013 | SEFM | Towards Global and Local Types for Adaptation. | Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Prez, Gianluigi Zavattaro |
| 2012 | ESOP | Linear Logical Relations for Session-Based Concurrency. | Jorge A. Prez, Lus Caires, Frank Pfenning, Bernardo Toninho |
| 2012 | ISoLA | Towards the Verification of Adaptable Processes. | Mario Bravetti, Cinzia Di Giusto, Jorge A. Prez, Gianluigi Zavattaro |
| 2011 | ESOP | Type-Based Access Control in Data-Centric Systems. | Lus Caires, Jorge A. Prez, Joo Costa Seco, Hugo Torres Vieira, Lcio Ferro |
| 2011 | FORTE | Adaptable Processes (Extended Abstract). | Mario Bravetti, Cinzia Di Giusto, Jorge A. Prez, Gianluigi Zavattaro |
| 2010 | ICALP | On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. | Ivan Lanese, Jorge A. Prez, Davide Sangiorgi, Alan Schmitt |
| 2009 | ICLP | An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. | Jess Aranda, Grard Assayag, Carlos Olarte, Jorge A. Prez, Camilo Rueda, Mauricio Toro, Frank D. Valencia |
| 2009 | ICTAC | On the Expressiveness of Forwarding in Higher-Order Communication. | Cinzia Di Giusto, Jorge A. Prez, Gianluigi Zavattaro |
| 2008 | ICLP | Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. | Jess Aranda, Jorge A. Prez, Camilo Rueda, Frank D. Valencia |
| 2008 | ICLP | Non-determinism and Probabilities in Timed Concurrent Constraint Programming. | Jorge A. Prez, Camilo Rueda |
| 2008 | LICS | On the Expressiveness and Decidability of Higher-Order Process Calculi. | Ivan Lanese, Jorge A. Prez, Davide Sangiorgi, Alan Schmitt |