| 2025 | Coordination | A Constraint Opinion Model. | Fabio Gadducci, Carlos Olarte, Frank Valencia |
| 2025 | CSL | Playing with Modalities (Invited Talk). | Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, Christian G. Fermller |
| 2025 | TABLEAUX | The Modal Cube Revisited: Semantics Without Worlds. | Renato R. Leme, Carlos Olarte, Elaine Pimentel, Marcelo Esteban Coniglio |
| 2024 | LPAR | Reasoning About Group Polarization: From Semantic Games to Sequent Systems. | Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermller |
| 2024 | PPDP | Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic. | Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk |
| 2021 | FSCD | Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). | Elaine Pimentel, Carlos Olarte, Vivek Nigam |
| 2020 | SLE | A semantic framework for PEGs. | Srgio Queiroz de Medeiros, Carlos Olarte |
| 2019 | TABLEAUX | A Game Model for Proofs with Costs. | Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermller |
| 2018 | LOPSTR | An Assertion Language for Slicing Constraint Logic Languages. | Moreno Falaschi, Carlos Olarte |
| 2017 | LPAR | A uniform framework for substructural logics with modalities. | Bjrn Lellmann, Carlos Olarte, Elaine Pimentel |
| 2017 | SOFSEM | Symbolic Semantics for Multiparty Interactions in the Link-Calculus. | Linda Brodo, Carlos Olarte |
| 2016 | LOPSTR | Slicing Concurrent Constraint Programs. | Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi |
| 2016 | SAC | Session types for communicating systems in event-B. | Carlos Olarte, Camilo Rueda |
| 2013 | CONCUR | A General Proof System for Modalities in Concurrent Constraint Programming. | Vivek Nigam, Carlos Olarte, Elaine Pimentel |
| 2012 | PPDP | A linear concurrent constraint approach for the automatic verification of access permissions. | Carlos Olarte, Elaine Pimentel, Camilo Rueda, Nstor Catao |
| 2011 | PACBB | Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. | Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia |
| 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 | PPDP | A framework for abstract interpretation of timed concurrent constraint programs. | Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi |
| 2008 | PPDP | The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. | Carlos Olarte, Frank D. Valencia |
| 2008 | SAC | Universal concurrent constraint programing: symbolic semantics and applications to security. | Carlos Olarte, Frank D. Valencia |
| 2007 | ICLP | Declarative Diagnosis of Temporal Concurrent Constraint Programs. | Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia |
| 2007 | ICLP | Universal Timed Concurrent Constraint Programming. | Carlos Olarte, Catuscia Palamidessi, Frank Valencia |