Carlos Olarte

According to our database, Carlos Olarte authored at least 75 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models.

Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk

IEEE Trans. Reliab., June, 2024

Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving.

Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming

Sci. Comput. Program., 2024

A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets.

Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci

Fundam. Informaticae, 2024

Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study.

Carlos Olarte, Elaine Pimentel

CoRR, 2024

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic.

Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia

Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024

Timed Strategies for Real-Time Rewrite Theories.

Carlos Olarte, Peter Csaba Ölveczky

Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024

Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic.

Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk

Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024

Reasoning About Group Polarization: From Semantic Games to Sequent Systems.

Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

Process Calculi and Rewriting Techniques for Analyzing Reaction Systems.

Demis Ballis, Linda Brodo, Moreno Falaschi, Carlos Olarte

Proceedings of the Computational Methods in Systems Biology, 2024

2023

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems.

Carlos Olarte, Elaine Pimentel, Camilo Rocha

J. Log. Algebraic Methods Program., 2023

Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models.

Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk

CoRR, 2023

Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.

Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

A linear logic framework for multimodal logics.

Bruno Xavier, Carlos Olarte, Elaine Pimentel

Math. Struct. Comput. Sci., October, 2022

A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B.

Carlos Olarte, Camilo Rocha, Daniel Osorio

CoRR, 2022

Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata.

Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

2021

A focused linear logical framework and its application to metatheory of object logics.

Amy P. Felty, Carlos Olarte, Bruno Xavier

Math. Struct. Comput. Sci., 2021

A subexponential view of domains in session types.

Daniele Nantes, Carlos Olarte, Daniel Ventura

Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk).

Elaine Pimentel, Carlos Olarte, Vivek Nigam

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020

Catuscia Palamidessi: a journey from logic and concurrency to security and privacy.

Mário S. Alvim, Konstantinos Chatzikokolakis, Carlos Olarte, Frank D. Valencia

ACM SIGLOG News, 2020

Dynamic Slicing for Concurrent Constraint Languages.

Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi

Fundam. Informaticae, 2020

Verification Techniques for a Network Algebra.

Linda Brodo, Carlos Olarte

Fundam. Informaticae, 2020

Computational Logic for Biomedicine and Neurosciences.

Abdorrahim Bahrami, Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty, Pietro Lió, Carlos Olarte

CoRR, 2020

A semantic framework for PEGs.

Sérgio Queiroz de Medeiros, Carlos Olarte

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

A Fresh View of Linear Logic as a Logical Framework.

Carlos Olarte, Elaine Pimentel, Bruno Xavier

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

A Constraint-based Language for Multiparty Interactions.

Linda Brodo, Carlos Olarte

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

2019

Hybrid linear logic, revisited.

Kaustuv Chaudhuri, Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel

Math. Struct. Comput. Sci., 2019

A Game Model for Proofs with Costs.

Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018

A concurrent constraint programming interpretation of access permissions.

Carlos Olarte, Elaine Pimentel, Camilo Rueda

Theory Pract. Log. Program., 2018

Preface.

Beniamino Accattoli, Carlos Olarte

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

The ILLTP Library for Intuitionistic Linear Logic.

Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis

Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

Proving Structural Properties of Sequent Systems in Rewriting Logic.

Carlos Olarte, Elaine Pimentel, Camilo Rocha

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

A Logical Framework for Modelling Breast Cancer Progression.

Joëlle Despeyroux, Amy P. Felty, Pietro Liò, Carlos Olarte

Proceedings of the Molecular Logic and Computational Synthetic Biology, 2018

An Assertion Language for Slicing Constraint Logic Languages.

Moreno Falaschi, Carlos Olarte

Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

2017

On concurrent behaviors and focusing in linear logic.

Carlos Olarte, Elaine Pimentel

Theor. Comput. Sci., 2017

On subexponentials, focusing and modalities in concurrent systems.

Vivek Nigam, Carlos Olarte, Elaine Pimentel

Theor. Comput. Sci., 2017

Mechanizing Focused Linear Logic in Coq.

Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

Symbolic Semantics for Multiparty Interactions in the Link-Calculus.

Linda Brodo, Carlos Olarte

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

A uniform framework for substructural logics with modalities.

Björn Lellmann, Carlos Olarte, Elaine Pimentel

Proceedings of the LPAR-21, 2017

2016

A proof theoretic view of spatial and temporal dependencies in biochemical systems.

Carlos Olarte, Davide Chiarugi, Moreno Falaschi, Diana Hermith

Theor. Comput. Sci., 2016

Hybrid and Subexponential Linear Logics.

Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction.

Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

Hybrid and Subexponential Linear Logics Technical Report.

Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel

CoRR, 2016

Session types for communicating systems in event-B.

Carlos Olarte, Camilo Rueda

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Slicing Concurrent Constraint Programs.

Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015

Abstract interpretation of temporal concurrent constraint programs.

Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi

Theory Pract. Log. Program., 2015

Subexponential concurrent constraint programming.

Carlos Olarte, Elaine Pimentel, Vivek Nigam

Theor. Comput. Sci., 2015

Modelling non-Markovian dynamics in biochemical reactions.

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte, Luca Torella

BMC Syst. Biol., 2015

Foundations for Reliable and Flexible Interactive Multimedia Scores.

Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, Camilo Rueda

Proceedings of the Mathematics and Computation in Music - 5th International Conference, 2015

A Declarative View of Signaling Pathways.

Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014

A Proof Theoretic Study of Soft Concurrent Constraint Programming.

Elaine Pimentel, Carlos Olarte, Vivek Nigam

Theory Pract. Log. Program., 2014

Proving Concurrent Constraint Programming Correct, Revisited.

Carlos Olarte, Elaine Pimentel

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

Verification of Spatial and Temporal Modalities in Biochemical Systems.

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte

Proceedings of the 5th International Workshop on Static Analysis and Systems Biology, 2014

A Symbolic Model for Timed Concurrent Constraint Programming.

Jaime Arias, Michell Guzmán, Carlos Olarte

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

A framework for modelling spatially dependent interactions of biological systems in CCP.

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte

Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2014

2013

Dynamic Spaces in Concurrent Constraint Programming.

Carlos Olarte, Vivek Nigam, Elaine Pimentel

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

Models and emerging trends of concurrent constraint programming.

Carlos Olarte, Camilo Rueda, Frank D. Valencia

Constraints An Int. J., 2013

Stochastic modelling of non Markovian Dynamics in Biochemical Reactions.

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Roberto Marangoni, Carlos Olarte

Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2013

A General Proof System for Modalities in Concurrent Constraint Programming.

Vivek Nigam, Carlos Olarte, Elaine Pimentel

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

Simulating Signalling Pathways With BioWayS.

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, Carlos Olarte

Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, 2012

A linear concurrent constraint approach for the automatic verification of access permissions.

Carlos Olarte, Elaine Pimentel, Camilo Rueda, Néstor Cataño

Proceedings of the Principles and Practice of Declarative Programming, 2012

2011

Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach.

Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia

Proceedings of the 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2011

2010

Compositional modelling of signalling pathways in timed concurrent constraint programming.

Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi

Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology, 2010

2009

Universal Temporal Concurrent Constraint Programming. (Programmation Concurrent par Contraintes pour Vérifier un Protocole de Sécurité).

Carlos Olarte

PhD thesis, 2009

Towards a Unified Framework for Declarative Structured Communications

Hugo A. López, Carlos Olarte, Jorge A. Pérez

Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

A framework for abstract interpretation of timed concurrent constraint programs.

Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.

Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Universal concurrent constraint programing: symbolic semantics and applications to security.

Carlos Olarte, Frank D. Valencia

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security.

Carlos Olarte, Frank D. Valencia

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

2007

Universal Timed Concurrent Constraint Programming.

Carlos Olarte, Catuscia Palamidessi, Frank Valencia

Proceedings of the Logic Programming, 23rd International Conference, 2007

Declarative Diagnosis of Temporal Concurrent Constraint Programs.

Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems.

Carlos Olarte, Camilo Rueda

CLEI Electron. J., 2006

2005

A stochastic non-deterministic temporal concurrent constraint calculus.

Carlos Olarte, Camilo Rueda

Proceedings of the XXV International Conference of the Chilean Computer Science Society, 2005

2004

Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks.

Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Implementing Semiring-Based Constraints Using Mozart.

Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction.

Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda

Proceedings of the Principles and Practice of Constraint Programming, 2004