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
332011
Subexponential concurrent constraint programming
C Olarte, E Pimentel, V Nigam
Theoretical Computer Science 606, 98-120, 2015
272015
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
272009
Towards a unified framework for declarative structured communications
HA López, C Olarte, JA Pérez
arXiv preprint arXiv:1002.0930, 2010
262010
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
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
182009
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
182004
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, 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
142014
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