Segui
Carlos Olarte
Carlos Olarte
Associate Professor at Université Sorbonne Paris Nord
Email verificata su lipn.univ-paris13.fr - Home page
Titolo
Citata da
Citata da
Anno
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
602008
Models and emerging trends of concurrent constraint programming
C Olarte, C Rueda, FD Valencia
Constraints 18, 535-578, 2013
562013
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
372008
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
292015
Towards a unified framework for declarative structured communications
HA López, C Olarte, JA Pérez
arXiv preprint arXiv:1002.0930, 2010
282010
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
Mechanizing focused linear logic in coq
B Xavier, C Olarte, G Reis, V Nigam
Electronic Notes in Theoretical Computer Science 338, 219-236, 2018
262018
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
A uniform framework for substructural logics with modalities.
B Lellmann, C Olarte, E Pimentel
LPAR, 435-455, 2017
212017
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
172017
Modelling non-Markovian dynamics in biochemical reactions
D Chiarugi, M Falaschi, D Hermith, C Olarte, L Torella
BMC systems biology 9, 1-13, 2015
172015
Dynamic spaces in concurrent constraint programming
C Olarte, V Nigam, E Pimentel
Electronic Notes in Theoretical Computer Science 305, 103-121, 2014
162014
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
A proof theoretic study of soft concurrent constraint programming
E Pimentel, C Olarte, V Nigam
Theory and Practice of Logic Programming 14 (4-5), 649-663, 2014
142014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20