Carlos Olarte

Cited by

	All	Since 2016
Citations	687	328
h-index	14	10
i10-index	22	12

100

200520062007200820092010201120122013201420152016201720182019202020219 9 6 19 55 29 29 25 45 32 92 44 64 66 50 55 49

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Frank D. ValenciaCNRS, École Polytechnique de Paris & Pontificia Universidad Javeriana CaliVerified email at lix.polytechnique.fr
Elaine PimentelUniversidade Federal do Rio Grande do NorteVerified email at mat.ufmg.br
Moreno FalaschiProfessor of Computer ScienceVerified email at unisi.it
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
Davide ChiarugiInstitute of Metabolic Science, University of CambridgeVerified email at cam.ac.uk
Vivek NigamHuaweiVerified email at huawei.com
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
Mauricio Toro - https://orcid.org/0000-0...Associate Professor at Eafit UniversityVerified email at eafit.edu.co
Juan Francisco Diaz FriasProfesor titular, Escuela de Ingeniería de Sistemas y Computación, Universidad del ValleVerified email at correounivalle.edu.co
Giselle ReisCarnegie Mellon University - QatarVerified email at cmu.edu
Gerardo M. Sarria M.Associate Professor, Pontificia Universidad Javeriana - Cali, ColombiaVerified email at javerianacali.edu.co
Bjoern LellmannBMDWVerified email at logic.at
Hugo Andrés LópezAssistant Professor, University of CopenhagenVerified email at di.ku.dk
Gérard AssayagIRCAMVerified email at ircam.fr
JESUS A. ARANDA B.Lecturer, Universidad del ValleVerified email at correounivalle.edu.co
Jaime AriasCNRS Research Engineer at LIPN, Université Paris 13Verified email at lipn.univ-paris13.fr
Valeria de PaivaUniversity of BirminghamVerified email at cs.bham.ac.uk
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Alejandro ArbelaezUniversity College CorkVerified email at cs.ucc.ie
Julian GutierrezMonash University LecturerVerified email at monash.edu

Carlos Olarte

Associate Professor at Université Sorbonne Paris Nord

Verified email at lipn.univ-paris13.fr - Homepage

Concurrency theory verification logic semantics of programming languages formal methods


Title Sort by citations Sort by year Sort by 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	59	2008
Models and emerging trends of concurrent constraint programming C Olarte, C Rueda, FD Valencia Constraints 18 (4), 535-578, 2013	52	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	35	2008
A general proof system for modalities in concurrent constraint programming V Nigam, C Olarte, E Pimentel International Conference on Concurrency Theory, 410-424, 2013	33	2013
Concurrent constraints models of music interaction M Toro, C Rueda, F Valencia, G Sarria, C Olarte Constraint Programming in Music, 133, 2011	32	2011
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 International Conference on Logic Programming, 509-513, 2009	26	2009
Subexponential concurrent constraint programming C Olarte, E Pimentel, V Nigam Theoretical Computer Science 606, 98-120, 2015	24	2015
A declarative language for dynamic multimedia interaction systems C Olarte, C Rueda International Conference on Mathematics and Computation in Music, 218-227, 2009	24	2009
Declarative diagnosis of temporal concurrent constraint programs M Falaschi, C Olarte, C Palamidessi, F Valencia International Conference on Logic Programming, 271-285, 2007	23	2007
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
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	16	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	15	2009
Concurrent constraint programming: Calculi, languages and emerging applications C Olarte, C Rueda, F Valencia Newsletter of the ALP 21 (2-3), 11, 2008	14*	2008
Mechanizing focused linear logic in coq B Xavier, C Olarte, G Reis, V Nigam Electronic Notes in Theoretical Computer Science 338, 219-236, 2018	13	2018
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	13	2015
Abstract interpretation of temporal concurrent constraint programs M Falaschi, C Olarte, C Palamidessi Theory and Practice of Logic Programming 15 (3), 312-357, 2015	13	2015
Dynamic spaces in concurrent constraint programming C Olarte, V Nigam, E Pimentel Electronic Notes in Theoretical Computer Science 305, 103-121, 2014	13	2014
A uniform framework for substructural logics with modalities. B Lellmann, C Olarte, E Pimentel LPAR, 435-455, 2017	12	2017
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	12	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors