Folgen
Carlos Olarte
Carlos Olarte
Associate Professor at Université Sorbonne Paris Nord
Bestätigte E-Mail-Adresse bei lipn.univ-paris13.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
572008
Models and emerging trends of concurrent constraint programming
C Olarte, C Rueda, FD Valencia
Constraints 18, 535-578, 2013
542013
A general proof system for modalities in concurrent constraint programming
V Nigam, C Olarte, E Pimentel
International Conference on Concurrency Theory, 410-424, 2013
382013
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
362008
Concurrent constraints models of music interaction
M Toro, C Rueda, F Valencia, G Sarria, C Olarte
Constraint Programming in Music, 133, 2011
322011
Subexponential concurrent constraint programming
C Olarte, E Pimentel, V Nigam
Theoretical Computer Science 606, 98-120, 2015
272015
Towards a unified framework for declarative structured communications
HA López, C Olarte, JA Pérez
arXiv preprint arXiv:1002.0930, 2010
272010
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
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009
262009
Declarative diagnosis of temporal concurrent constraint programs
M Falaschi, C Olarte, C Palamidessi, F Valencia
International Conference on Logic Programming, 271-285, 2007
242007
A declarative language for dynamic multimedia interaction systems
C Olarte, C Rueda
Mathematics and Computation in Music: Second International Conference, MCM …, 2009
222009
Mechanizing focused linear logic in coq
B Xavier, C Olarte, G Reis, V Nigam
Electronic Notes in Theoretical Computer Science 338, 219-236, 2018
212018
A uniform framework for substructural logics with modalities.
B Lellmann, C Olarte, E Pimentel
LPAR, 435-455, 2017
202017
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
202016
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
202004
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
172009
On subexponentials, focusing and modalities in concurrent systems
V Nigam, C Olarte, E Pimentel
Theoretical Computer Science 693, 35-58, 2017
162017
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
162015
Abstract interpretation of temporal concurrent constraint programs
M Falaschi, C Olarte, C Palamidessi
Theory and Practice of Logic Programming 15 (3), 312-357, 2015
152015
Dynamic spaces in concurrent constraint programming
C Olarte, V Nigam, E Pimentel
Electronic Notes in Theoretical Computer Science 305, 103-121, 2014
152014
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
142010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20