Carlos Olarte

According to our database1, Carlos Olarte authored at least 50 papers between 2004 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Hybrid linear logic, revisited.
Mathematical Structures in Computer Science, 2019

Preface.
Electr. Notes Theor. Comput. Sci., 2019

A Game Model for Proofs with Costs.
CoRR, 2019

2018
Mechanizing Focused Linear Logic in Coq.
Electr. Notes Theor. Comput. Sci., 2018

The ILLTP Library for Intuitionistic Linear Logic.
Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

An Assertion language for slicing Constraint Logic Languages.
CoRR, 2018

A Concurrent Constraint Programming Interpretation of Access Permissions.
CoRR, 2018

Proving Structural Properties of Sequent Systems in Rewriting Logic.
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

A Logical Framework for Modelling Breast Cancer Progression.
Proceedings of the Molecular Logic and Computational Synthetic Biology, 2018

2017
On concurrent behaviors and focusing in linear logic.
Theor. Comput. Sci., 2017

On subexponentials, focusing and modalities in concurrent systems.
Theor. Comput. Sci., 2017

Hybrid and Subexponential Linear Logics.
Electr. Notes Theor. Comput. Sci., 2017

From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction.
Electr. Notes Theor. Comput. Sci., 2017

Symbolic Semantics for Multiparty Interactions in the Link-Calculus.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

A uniform framework for substructural logics with modalities.
Proceedings of the LPAR-21, 2017

2016
A proof theoretic view of spatial and temporal dependencies in biochemical systems.
Theor. Comput. Sci., 2016

Slicing Concurrent Constraint Programs.
CoRR, 2016

Hybrid and Subexponential Linear Logics Technical Report.
CoRR, 2016

Session types for communicating systems in event-B.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015
Subexponential concurrent constraint programming.
Theor. Comput. Sci., 2015

Proving Concurrent Constraint Programming Correct, Revisited.
Electr. Notes Theor. Comput. Sci., 2015

Verification of Spatial and Temporal Modalities in Biochemical Systems.
Electr. Notes Theor. Comput. Sci., 2015

A Symbolic Model for Timed Concurrent Constraint Programming.
Electr. Notes Theor. Comput. Sci., 2015

Modelling non-Markovian dynamics in biochemical reactions.
BMC Systems Biology, 2015

Foundations for Reliable and Flexible Interactive Multimedia Scores.
Proceedings of the Mathematics and Computation in Music - 5th International Conference, 2015

A Declarative View of Signaling Pathways.
Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014
Dynamic Spaces in Concurrent Constraint Programming.
Electr. Notes Theor. Comput. Sci., 2014

A Proof Theoretic Study of Soft Concurrent Constraint Programming.
CoRR, 2014

A framework for modelling spatially dependent interactions of biological systems in CCP.
Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2014

2013
Simulating Signalling Pathways With BioWayS.
Electr. Notes Theor. Comput. Sci., 2013

Abstract Interpretation of Temporal Concurrent Constraint Programs.
CoRR, 2013

Models and emerging trends of concurrent constraint programming.
Constraints, 2013

Stochastic modelling of non Markovian Dynamics in Biochemical Reactions.
Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2013

A General Proof System for Modalities in Concurrent Constraint Programming.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012
A linear concurrent constraint approach for the automatic verification of access permissions.
Proceedings of the Principles and Practice of Declarative Programming, 2012

2011
Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach.
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.
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é).
PhD thesis, 2009

Towards a Unified Framework for Declarative Structured Communications
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.
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.
Proceedings of the Logic Programming, 25th International Conference, 2009

2008
Universal concurrent constraint programing: symbolic semantics and applications to security.
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.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

2007
Universal Timed Concurrent Constraint Programming.
Proceedings of the Logic Programming, 23rd International Conference, 2007

Declarative Diagnosis of Temporal Concurrent Constraint Programs.
Proceedings of the Logic Programming, 23rd International Conference, 2007

2006
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems.
CLEI Electron. J., 2006

2005
A stochastic non-deterministic temporal concurrent constraint calculus.
Proceedings of the XXV International Conference of the Chilean Computer Science Society, 2005

2004
Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks.
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Implementing Semiring-Based Constraints Using Mozart.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2004


  Loading...