default search action
Carlos Olarte
Person information
- affiliation: Sorbonne Paris North University, France
- affiliation (former): École Polytechnique, Paris, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j20]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. Fundam. Informaticae 192(3-4): 261-312 (2024) - [j19]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: 103074 (2024) - [j18]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): 861-875 (2024) - [c49]Demis Ballis, Linda Brodo, Moreno Falaschi, Carlos Olarte:
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems. CMSB 2024: 1-18 - [c48]Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller:
Reasoning About Group Polarization: From Semantic Games to Sequent Systems. LPAR 2024: 70-87 - [c47]Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk:
Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic. PPDP 2024: 10:1-10:14 - [c46]Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia:
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. WRLA 2024: 104-123 - [c45]Carlos Olarte, Peter Csaba Ölveczky:
Timed Strategies for Real-Time Rewrite Theories. WRLA 2024: 124-144 - [i18]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 abs/2401.01884 (2024) - [i17]Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia:
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. CoRR abs/2402.09021 (2024) - [i16]Carlos Olarte, Peter Csaba Ölveczky:
Timed Strategies for Real-Time Rewrite Theories. CoRR abs/2403.08920 (2024) - [i15]Carlos Olarte, Elaine Pimentel:
Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study. CoRR abs/2404.11445 (2024) - [i14]Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller:
Reasoning About Group Polarization: From Semantic Games to Sequent Systems. CoRR abs/2405.01322 (2024) - 2023
- [j17]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: 100827 (2023) - [c44]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: 369-392 - [e3]Alberto Ciaffaglione, Carlos Olarte:
Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2023, Rome, Italy, 2nd July 2023. EPTCS 396, 2023 [contents] - [i13]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 abs/2303.08929 (2023) - [i12]Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk:
Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models. CoRR abs/2305.04616 (2023) - 2022
- [j16]Bruno Xavier, Carlos Olarte, Elaine Pimentel:
A linear logic framework for multimodal logics. Math. Struct. Comput. Sci. 32(9): 1176-1204 (2022) - [c43]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: 3-15 - [i11]Carlos Olarte, Camilo Rocha, Daniel Osorio:
A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B. CoRR abs/2206.05813 (2022) - 2021
- [j15]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): 312-340 (2021) - [c42]Elaine Pimentel, Carlos Olarte, Vivek Nigam:
Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). FSCD 2021: 3:1-3:21 - [c41]Daniele Nantes, Carlos Olarte, Daniel Ventura:
A subexponential view of domains in session types. LSFA 2021: 93-111 - [i10]Carlos Olarte, Elaine Pimentel, Camilo Rocha:
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems. CoRR abs/2101.03113 (2021) - 2020
- [j14]Linda Brodo, Carlos Olarte:
Verification Techniques for a Network Algebra. Fundam. Informaticae 172(1): 1-38 (2020) - [j13]Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi:
Dynamic Slicing for Concurrent Constraint Languages. Fundam. Informaticae 177(3-4): 331-357 (2020) - [j12]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): 47-50 (2020) - [c40]Linda Brodo, Carlos Olarte:
A Constraint-based Language for Multiparty Interactions. LSFA 2020: 25-50 - [c39]Carlos Olarte, Elaine Pimentel, Bruno Xavier:
A Fresh View of Linear Logic as a Logical Framework. LSFA 2020: 143-165 - [c38]Sérgio Queiroz de Medeiros, Carlos Olarte:
A semantic framework for PEGs. SLE 2020: 230-245 - [i9]Abdorrahim Bahrami, Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty, Pietro Lió, Carlos Olarte:
Computational Logic for Biomedicine and Neurosciences. CoRR abs/2007.07571 (2020) - [i8]Sérgio Medeiros, Carlos Olarte:
A Semantic Framework for PEGs. CoRR abs/2011.04360 (2020)
2010 – 2019
- 2019
- [j11]Kaustuv Chaudhuri, Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel:
Hybrid linear logic, revisited. Math. Struct. Comput. Sci. 29(8): 1151-1176 (2019) - [c37]Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller:
A Game Model for Proofs with Costs. TABLEAUX 2019: 241-258 - [e2]Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia:
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Lecture Notes in Computer Science 11760, Springer 2019, ISBN 978-3-030-31174-2 [contents] - [e1]Beniamino Accattoli, Carlos Olarte:
Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, September 26-28, 2018. Electronic Notes in Theoretical Computer Science 344, Elsevier 2019 [contents] - [i7]Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller:
A Game Model for Proofs with Costs. CoRR abs/1906.11742 (2019) - 2018
- [j10]Carlos Olarte, Elaine Pimentel, Camilo Rueda:
A concurrent constraint programming interpretation of access permissions. Theory Pract. Log. Program. 18(2): 252-295 (2018) - [c36]Moreno Falaschi, Carlos Olarte:
An Assertion Language for Slicing Constraint Logic Languages. LOPSTR 2018: 148-165 - [c35]Joëlle Despeyroux, Amy P. Felty, Pietro Liò, Carlos Olarte:
A Logical Framework for Modelling Breast Cancer Progression. MLCSB 2018: 121-141 - [c34]Carlos Olarte, Elaine Pimentel, Camilo Rocha:
Proving Structural Properties of Sequent Systems in Rewriting Logic. WRLA@ETAPS 2018: 115-135 - [c33]Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis:
The ILLTP Library for Intuitionistic Linear Logic. Linearity-TLLA@FLoC 2018: 118-132 - [c32]Beniamino Accattoli, Carlos Olarte:
Preface. LSFA 2018: 1-2 - [i6]Carlos Olarte, Elaine Pimentel, Camilo Rueda:
A Concurrent Constraint Programming Interpretation of Access Permissions. CoRR abs/1802.04695 (2018) - [i5]Moreno Falaschi, Carlos Olarte:
An Assertion language for slicing Constraint Logic Languages. CoRR abs/1808.04867 (2018) - 2017
- [j9]Carlos Olarte, Elaine Pimentel:
On concurrent behaviors and focusing in linear logic. Theor. Comput. Sci. 685: 46-64 (2017) - [j8]Vivek Nigam, Carlos Olarte, Elaine Pimentel:
On subexponentials, focusing and modalities in concurrent systems. Theor. Comput. Sci. 693: 35-58 (2017) - [c31]Björn Lellmann, Carlos Olarte, Elaine Pimentel:
A uniform framework for substructural logics with modalities. LPAR 2017: 435-455 - [c30]Linda Brodo, Carlos Olarte:
Symbolic Semantics for Multiparty Interactions in the Link-Calculus. SOFSEM 2017: 62-75 - [c29]Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam:
Mechanizing Focused Linear Logic in Coq. LSFA 2017: 219-236 - 2016
- [j7]Carlos Olarte, Davide Chiarugi, Moreno Falaschi, Diana Hermith:
A proof theoretic view of spatial and temporal dependencies in biochemical systems. Theor. Comput. Sci. 641: 25-42 (2016) - [c28]Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi:
Slicing Concurrent Constraint Programs. LOPSTR 2016: 76-93 - [c27]Carlos Olarte, Camilo Rueda:
Session types for communicating systems in event-B. SAC 2016: 1686-1693 - [c26]Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel:
From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. LSFA 2016: 75-93 - [c25]Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel:
Hybrid and Subexponential Linear Logics. LSFA 2016: 95-111 - [i4]Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi:
Slicing Concurrent Constraint Programs. CoRR abs/1608.05252 (2016) - [i3]Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel:
Hybrid and Subexponential Linear Logics Technical Report. CoRR abs/1608.08779 (2016) - 2015
- [j6]Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte, Luca Torella:
Modelling non-Markovian dynamics in biochemical reactions. BMC Syst. Biol. 9(S-3): S8 (2015) - [j5]Carlos Olarte, Elaine Pimentel, Vivek Nigam:
Subexponential concurrent constraint programming. Theor. Comput. Sci. 606: 98-120 (2015) - [j4]Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
Abstract interpretation of temporal concurrent constraint programs. Theory Pract. Log. Program. 15(3): 312-357 (2015) - [c24]Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
A Declarative View of Signaling Pathways. Programming Languages with Applications to Biology and Security 2015: 183-201 - [c23]Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, Camilo Rueda:
Foundations for Reliable and Flexible Interactive Multimedia Scores. MCM 2015: 29-41 - 2014
- [j3]Elaine Pimentel, Carlos Olarte, Vivek Nigam:
A Proof Theoretic Study of Soft Concurrent Constraint Programming. Theory Pract. Log. Program. 14(4-5): 649-663 (2014) - [c22]Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte:
A framework for modelling spatially dependent interactions of biological systems in CCP. IWBBIO 2014: 912-923 - [c21]Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte:
Verification of Spatial and Temporal Modalities in Biochemical Systems. SASB 2014: 29-44 - [c20]Jaime Arias, Michell Guzmán, Carlos Olarte:
A Symbolic Model for Timed Concurrent Constraint Programming. LSFA 2014: 161-177 - [c19]Carlos Olarte, Elaine Pimentel:
Proving Concurrent Constraint Programming Correct, Revisited. LSFA 2014: 179-195 - [i2]Elaine Pimentel, Carlos Olarte, Vivek Nigam:
A Proof Theoretic Study of Soft Concurrent Constraint Programming. CoRR abs/1405.2329 (2014) - 2013
- [j2]Carlos Olarte, Camilo Rueda, Frank D. Valencia:
Models and emerging trends of concurrent constraint programming. Constraints An Int. J. 18(4): 535-578 (2013) - [c18]Vivek Nigam, Carlos Olarte, Elaine Pimentel:
A General Proof System for Modalities in Concurrent Constraint Programming. CONCUR 2013: 410-424 - [c17]Davide Chiarugi, Moreno Falaschi, Diana Hermith, Roberto Marangoni, Carlos Olarte:
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. IWBBIO 2013: 537-544 - [c16]Carlos Olarte, Vivek Nigam, Elaine Pimentel:
Dynamic Spaces in Concurrent Constraint Programming. LSFA 2013: 103-121 - [i1]Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
Abstract Interpretation of Temporal Concurrent Constraint Programs. CoRR abs/1312.2552 (2013) - 2012
- [c15]Carlos Olarte, Elaine Pimentel, Camilo Rueda, Néstor Cataño:
A linear concurrent constraint approach for the automatic verification of access permissions. PPDP 2012: 207-216 - [c14]Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, Carlos Olarte:
Simulating Signalling Pathways With BioWayS. CS2Bio 2012: 17-34 - 2011
- [c13]Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia:
Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. PACBB 2011: 321-328 - 2010
- [c12]Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
Compositional modelling of signalling pathways in timed concurrent constraint programming. BCB 2010: 414-417
2000 – 2009
- 2009
- [b1]Carlos Olarte:
Universal Temporal Concurrent Constraint Programming. (Programmation Concurrent par Contraintes pour Vérifier un Protocole de Sécurité). École Polytechnique, Palaiseau, France, 2009 - [c11]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: 509-513 - [c10]Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
A framework for abstract interpretation of timed concurrent constraint programs. PPDP 2009: 207-218 - [c9]Hugo A. López, Carlos Olarte, Jorge A. Pérez:
Towards a Unified Framework for Declarative Structured Communications. PLACES 2009: 1-15 - 2008
- [c8]Carlos Olarte, Frank D. Valencia:
The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. PPDP 2008: 8-19 - [c7]Carlos Olarte, Frank D. Valencia:
Universal concurrent constraint programing: symbolic semantics and applications to security. SAC 2008: 145-150 - 2007
- [c6]Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia:
Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP 2007: 271-285 - [c5]Carlos Olarte, Catuscia Palamidessi, Frank Valencia:
Universal Timed Concurrent Constraint Programming. ICLP 2007: 464-465 - 2006
- [j1]Carlos Olarte, Camilo Rueda:
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems. CLEI Electron. J. 9(2) (2006) - 2005
- [c4]Carlos Olarte, Camilo Rueda:
A stochastic non-deterministic temporal concurrent constraint calculus. SCCC 2005: 30-36 - 2004
- [c3]Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda:
CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction. CP 2004: 813-814 - [c2]Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda:
Implementing Semiring-Based Constraints Using Mozart. MOZ 2004: 224-236 - [c1]Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda:
Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. MOZ 2004: 263-276
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint