Carlos Olarte

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 53

Top Venues

CoRR

LSFA

Theor. Comput. Sci.

Math. Struct. Comput. Sci.

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Carlos Olarte, Peter Csaba Ölveczky
Timed Strategies for Real-Time Rewrite Theories. CoRR (2024)
Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
Reasoning About Group Polarization: From Semantic Games to Sequent Systems. LPAR (2024)
Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. CoRR (2024)
Carlos Olarte, Elaine Pimentel
Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study. CoRR (2024)
Carlos Olarte, Peter Csaba Ölveczky
Timed Strategies for Real-Time Rewrite Theories. WRLA (2024)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets. CoRR (2024)
Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. WRLA (2024)
Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models. IEEE Trans. Reliab. 73 (2) (2024)
Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
Reasoning About Group Polarization: From Semantic Games to Sequent Systems. CoRR (2024)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving. Sci. Comput. Program. 233 (2024)
Carlos Olarte, Elaine Pimentel, Camilo Rocha
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. J. Log. Algebraic Methods Program. 130 (2023)
Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models. CoRR (2023)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. Petri Nets (2023)
Alberto Ciaffaglione, Carlos Olarte
Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. CoRR (2023)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. CoRR (2023)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. FTSCS (2022)
Carlos Olarte, Camilo Rocha, Daniel Osorio
A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B. CoRR (2022)
Bruno Xavier, Carlos Olarte, Elaine Pimentel
A linear logic framework for multimodal logics. Math. Struct. Comput. Sci. 32 (9) (2022)
Elaine Pimentel, Carlos Olarte, Vivek Nigam
Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). FSCD (2021)
Carlos Olarte, Elaine Pimentel, Camilo Rocha
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems. CoRR (2021)
Daniele Nantes, Carlos Olarte, Daniel Ventura
A subexponential view of domains in session types. CoRR (2021)
Amy P. Felty, Carlos Olarte, Bruno Xavier
A focused linear logical framework and its application to metatheory of object logics. Math. Struct. Comput. Sci. 31 (3) (2021)
Linda Brodo, Carlos Olarte
Verification Techniques for a Network Algebra. Fundam. Informaticae 172 (1) (2020)
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
Dynamic Slicing for Concurrent Constraint Languages. Fundam. Informaticae 177 (3-4) (2020)
Mário S. Alvim, Konstantinos Chatzikokolakis, Carlos Olarte, Frank D. Valencia
Catuscia Palamidessi: a journey from logic and concurrency to security and privacy. ACM SIGLOG News 7 (1) (2020)
Carlos Olarte, Elaine Pimentel, Bruno Xavier
A Fresh View of Linear Logic as a Logical Framework. LSFA (2020)
Sérgio Medeiros, Carlos Olarte
A Semantic Framework for PEGs. CoRR (2020)
Linda Brodo, Carlos Olarte
A Constraint-based Language for Multiparty Interactions. LSFA (2020)
Sérgio Queiroz de Medeiros, Carlos Olarte
A semantic framework for PEGs. SLE (2020)
Abdorrahim Bahrami, Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty, Pietro Lió, Carlos Olarte
Computational Logic for Biomedicine and Neurosciences. CoRR (2020)
Kaustuv Chaudhuri, Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
Hybrid linear logic, revisited. Math. Struct. Comput. Sci. 29 (8) (2019)
Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
A Game Model for Proofs with Costs. CoRR (2019)
Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
A Game Model for Proofs with Costs. TABLEAUX (2019)
Carlos Olarte, Elaine Pimentel, Camilo Rocha
Proving Structural Properties of Sequent Systems in Rewriting Logic. WRLA@ETAPS (2018)
Carlos Olarte, Elaine Pimentel, Camilo Rueda
A concurrent constraint programming interpretation of access permissions. Theory Pract. Log. Program. 18 (2) (2018)
Moreno Falaschi, Carlos Olarte
An Assertion language for slicing Constraint Logic Languages. CoRR (2018)
Beniamino Accattoli, Carlos Olarte
Preface. LSFA (2018)
Moreno Falaschi, Carlos Olarte
An Assertion Language for Slicing Constraint Logic Languages. LOPSTR (2018)
Joëlle Despeyroux, Amy P. Felty, Pietro Liò, Carlos Olarte
A Logical Framework for Modelling Breast Cancer Progression. MLCSB (2018)
Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis
The ILLTP Library for Intuitionistic Linear Logic. Linearity-TLLA@FLoC (2018)
Carlos Olarte, Elaine Pimentel, Camilo Rueda
A Concurrent Constraint Programming Interpretation of Access Permissions. CoRR (2018)
Linda Brodo, Carlos Olarte
Symbolic Semantics for Multiparty Interactions in the Link-Calculus. SOFSEM (2017)
Vivek Nigam, Carlos Olarte, Elaine Pimentel
On subexponentials, focusing and modalities in concurrent systems. Theor. Comput. Sci. 693 (2017)
Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam
Mechanizing Focused Linear Logic in Coq. LSFA (2017)
Carlos Olarte, Elaine Pimentel
On concurrent behaviors and focusing in linear logic. Theor. Comput. Sci. 685 (2017)
Björn Lellmann, Carlos Olarte, Elaine Pimentel
A uniform framework for substructural logics with modalities. LPAR (2017)
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
Slicing Concurrent Constraint Programs. LOPSTR (2016)
Carlos Olarte, Davide Chiarugi, Moreno Falaschi, Diana Hermith
A proof theoretic view of spatial and temporal dependencies in biochemical systems. Theor. Comput. Sci. 641 (2016)
Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
Hybrid and Subexponential Linear Logics Technical Report. CoRR (2016)
Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
Hybrid and Subexponential Linear Logics. LSFA (2016)
Carlos Olarte, Camilo Rueda
Session types for communicating systems in event-B. SAC (2016)
Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel
From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. LSFA (2016)
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
Slicing Concurrent Constraint Programs. CoRR (2016)
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
Abstract interpretation of temporal concurrent constraint programs. Theory Pract. Log. Program. 15 (3) (2015)
Carlos Olarte, Elaine Pimentel, Vivek Nigam
Subexponential concurrent constraint programming. Theor. Comput. Sci. 606 (2015)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte
Verification of Spatial and Temporal Modalities in Biochemical Systems. Electron. Notes Theor. Comput. Sci. 316 (2015)
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
A Declarative View of Signaling Pathways. Programming Languages with Applications to Biology and Security (2015)
Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, Camilo Rueda
Foundations for Reliable and Flexible Interactive Multimedia Scores. MCM (2015)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte, Luca Torella
Modelling non-Markovian dynamics in biochemical reactions. BMC Syst. Biol. 9 (S-3) (2015)
Elaine Pimentel, Carlos Olarte, Vivek Nigam
A Proof Theoretic Study of Soft Concurrent Constraint Programming. Theory Pract. Log. Program. 14 (4-5) (2014)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte
A framework for modelling spatially dependent interactions of biological systems in CCP. IWBBIO (2014)
Carlos Olarte, Elaine Pimentel
Proving Concurrent Constraint Programming Correct, Revisited. LSFA (2014)
Elaine Pimentel, Carlos Olarte, Vivek Nigam
A Proof Theoretic Study of Soft Concurrent Constraint Programming. CoRR (2014)
Jaime Arias, Michell Guzmán, Carlos Olarte
A Symbolic Model for Timed Concurrent Constraint Programming. LSFA (2014)
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
Abstract Interpretation of Temporal Concurrent Constraint Programs. CoRR (2013)
Carlos Olarte, Vivek Nigam, Elaine Pimentel
Dynamic Spaces in Concurrent Constraint Programming. LSFA (2013)
Carlos Olarte, Camilo Rueda, Frank D. Valencia
Models and emerging trends of concurrent constraint programming. Constraints An Int. J. 18 (4) (2013)
Vivek Nigam, Carlos Olarte, Elaine Pimentel
A General Proof System for Modalities in Concurrent Constraint Programming. CONCUR (2013)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Roberto Marangoni, Carlos Olarte
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. IWBBIO (2013)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, Carlos Olarte
Simulating Signalling Pathways With BioWayS. Electron. Notes Theor. Comput. Sci. 293 (2013)
Carlos Olarte, Elaine Pimentel, Camilo Rueda, Néstor Cataño
A linear concurrent constraint approach for the automatic verification of access permissions. PPDP (2012)
Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia
Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. PACBB (2011)
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
Compositional modelling of signalling pathways in timed concurrent constraint programming. BCB (2010)
Hugo A. López, Carlos Olarte, Jorge A. Pérez
Towards a Unified Framework for Declarative Structured Communications PLACES (2009)
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
A framework for abstract interpretation of timed concurrent constraint programs. PPDP (2009)
Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. ICLP (2009)
Carlos Olarte, Frank D. Valencia
Universal concurrent constraint programing: symbolic semantics and applications to security. SAC (2008)
Carlos Olarte, Frank D. Valencia
The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. PPDP (2008)
Carlos Olarte, Catuscia Palamidessi, Frank Valencia
Universal Timed Concurrent Constraint Programming. ICLP (2007)
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia
Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP (2007)
Carlos Olarte, Camilo Rueda
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems. CLEI Electron. J. 9 (2) (2006)
Carlos Olarte, Camilo Rueda
A stochastic non-deterministic temporal concurrent constraint calculus. SCCC (2005)

Carlos Olarte.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carlos Olarte