| 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 | 59 | 2008 |
| Models and emerging trends of concurrent constraint programming C Olarte, C Rueda, FD Valencia Constraints 18, 535-578, 2013 | 54 | 2013 |
| A general proof system for modalities in concurrent constraint programming V Nigam, C Olarte, E Pimentel International Conference on Concurrency Theory, 410-424, 2013 | 38 | 2013 |
| 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 | 37 | 2008 |
| Concurrent constraints models of music interaction M Toro, C Rueda, F Valencia, G Sarria, C Olarte Constraint Programming in Music, 133, 2011 | 32 | 2011 |
| Subexponential concurrent constraint programming C Olarte, E Pimentel, V Nigam Theoretical Computer Science 606, 98-120, 2015 | 28 | 2015 |
| Towards a unified framework for declarative structured communications HA López, C Olarte, JA Pérez arXiv preprint arXiv:1002.0930, 2010 | 28 | 2010 |
| 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 | 27 | 2009 |
| Declarative diagnosis of temporal concurrent constraint programs M Falaschi, C Olarte, C Palamidessi, F Valencia International Conference on Logic Programming, 271-285, 2007 | 24 | 2007 |
| Mechanizing focused linear logic in coq B Xavier, C Olarte, G Reis, V Nigam Electronic Notes in Theoretical Computer Science 338, 219-236, 2018 | 23 | 2018 |
| A declarative language for dynamic multimedia interaction systems C Olarte, C Rueda Mathematics and Computation in Music: Second International Conference, MCM …, 2009 | 22 | 2009 |
| A uniform framework for substructural logics with modalities. B Lellmann, C Olarte, E Pimentel LPAR, 435-455, 2017 | 21 | 2017 |
| 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 | 20 | 2016 |
| 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 | 18 | 2009 |
| 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 | 18 | 2004 |
| On subexponentials, focusing and modalities in concurrent systems V Nigam, C Olarte, E Pimentel Theoretical Computer Science 693, 35-58, 2017 | 17 | 2017 |
| Modelling non-Markovian dynamics in biochemical reactions D Chiarugi, M Falaschi, D Hermith, C Olarte, L Torella BMC systems biology 9, 1-13, 2015 | 17 | 2015 |
| Dynamic spaces in concurrent constraint programming C Olarte, V Nigam, E Pimentel Electronic Notes in Theoretical Computer Science 305, 103-121, 2014 | 16 | 2014 |
| Abstract interpretation of temporal concurrent constraint programs M Falaschi, C Olarte, C Palamidessi Theory and Practice of Logic Programming 15 (3), 312-357, 2015 | 15 | 2015 |
| 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 | 14 | 2014 |
Elaine PimentelUniversity College London在 ucl.ac.uk 的电子邮件经过验证
