Carlos Olarte
Title
Cited by
Cited by
Year
Universal concurrent constraint programing: symbolic semantics and applications to security
C Olarte, FD Valencia
Proceedings of the 2008 ACM symposium on Applied computing, 145-150, 2008
582008
Models and emerging trends of concurrent constraint programming
C Olarte, C Rueda, FD Valencia
Constraints 18 (4), 535-578, 2013
512013
The expressivity of universal timed CCP: Undecidability of monadic FLTL and closure operators for security
C Olarte, FD Valencia
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
332008
Concurrent constraints models of music interaction
M Toro, C Rueda, F Valencia, G Sarria, C Olarte
Constraint Programming in Music, 133, 2011
322011
A general proof system for modalities in concurrent constraint programming
V Nigam, C Olarte, E Pimentel
International Conference on Concurrency Theory, 410-424, 2013
312013
Towards a unified framework for declarative structured communications
HA López, C Olarte, JA Pérez
arXiv preprint arXiv:1002.0930, 2010
262010
An overview of FORCES: an INRIA project on declarative formalisms for emergent systems
J Aranda, G Assayag, C Olarte, JA Pérez, C Rueda, M Toro, FD Valencia
International Conference on Logic Programming, 509-513, 2009
262009
A declarative language for dynamic multimedia interaction systems
C Olarte, C Rueda
International Conference on Mathematics and Computation in Music, 218-227, 2009
232009
Declarative diagnosis of temporal concurrent constraint programs
M Falaschi, C Olarte, C Palamidessi, F Valencia
International Conference on Logic Programming, 271-285, 2007
232007
Subexponential concurrent constraint programming
C Olarte, E Pimentel, V Nigam
Theoretical Computer Science 606, 98-120, 2015
212015
A proof theoretic view of spatial and temporal dependencies in biochemical systems
C Olarte, D Chiarugi, M Falaschi, D Hermith
Theoretical Computer Science 641, 25-42, 2016
152016
A framework for abstract interpretation of timed concurrent constraint programs
M Falaschi, C Olarte, C Palamidessi
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
152009
Loss reduction in distribution networks using concurrent constraint programming
NG Caicedo, CA Lozano, JF Díaz, C Rueda, G Gutiérrez, C Olarte
2004 International Conference on Probabilistic Methods Applied to Power …, 2004
152004
Modelling non-Markovian dynamics in biochemical reactions
D Chiarugi, M Falaschi, D Hermith, C Olarte, L Torella
BMC systems biology 9 (3), 1-13, 2015
132015
Abstract interpretation of temporal concurrent constraint programs
M Falaschi, C Olarte, C Palamidessi
Theory and Practice of Logic Programming 15 (3), 312-357, 2015
132015
Dynamic spaces in concurrent constraint programming
C Olarte, V Nigam, E Pimentel
Electronic Notes in Theoretical Computer Science 305, 103-121, 2014
132014
Concurrent constraint programming: Calculi, languages and emerging applications
C Olarte, C Rueda, F Valencia
Newsletter of the ALP 21 (2-3), 11, 2008
13*2008
Compositional modelling of signalling pathways in timed concurrent constraint programming
D Chiarugi, M Falaschi, C Olarte, C Palamidessi
Proceedings of the First ACM International Conference on Bioinformatics and …, 2010
122010
Mechanizing focused linear logic in coq
B Xavier, C Olarte, G Reis, V Nigam
Electronic Notes in Theoretical Computer Science 338, 219-236, 2018
112018
A proof theoretic study of soft concurrent constraint programming
E Pimentel, C Olarte, V Nigam
arXiv preprint arXiv:1405.2329, 2014
102014
The system can't perform the operation now. Try again later.
Articles 1–20