Carlos Olarte

Cited by

	All	Since 2019
Citations	825	293
h-index	16	9
i10-index	27	8

100

200520062007200820092010201120122013201420152016201720182019202020212022202320248 11 6 20 55 28 28 30 42 36 92 38 71 55 60 54 52 39 38 48

Public access

View all

13 articles

1 article

available

not available

Based on funding mandates

Co-authors

Elaine PimentelUniversity College LondonVerified email at ucl.ac.uk
Frank D. ValenciaCNRS, École Polytechnique de ParisVerified email at lix.polytechnique.fr
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 NigamAppleVerified email at apple.com
Jaime AriasCNRS Research Engineer at LIPN, Université Paris 13Verified email at lipn.univ-paris13.fr
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
Juan Francisco Diaz FriasProfesor titular, Escuela de Ingeniería de Sistemas y Computación, Universidad del ValleVerified email at correounivalle.edu.co
Mauricio Toro - https://orcid.org/0000-0...Full Professor at Universidad EAFITVerified email at eafit.edu.co
Giselle ReisCarnegie Mellon University - QatarVerified email at cmu.edu
Bjoern LellmannBMFVerified email at logic.at
Gerardo M. Sarria M.Associate Professor, Pontificia Universidad Javeriana - Cali, ColombiaVerified email at javerianacali.edu.co
Hugo Andrés LópezAssociate Professor, Technical University of DenmarkVerified email at dtu.dk
Gérard AssayagIRCAMVerified email at ircam.fr
Jesus Aranda-BuenoLecturer, Universidad del ValleVerified email at correounivalle.edu.co
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Valeria de PaivaTopos Institute, University of BirminghamVerified email at topos.institute
Alejandro ArbelaezAutonomous University of MadridVerified email at uam.es
Julian GutierrezMonash University Senior 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	60	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
Towards a unified framework for declarative structured communications HA López, C Olarte, JA Pérez arXiv preprint arXiv:1002.0930, 2010	28	2010
Subexponential concurrent constraint programming C Olarte, E Pimentel, V Nigam Theoretical Computer Science 606, 98-120, 2015	27	2015
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	16	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	15	2015
Dynamic spaces in concurrent constraint programming C Olarte, V Nigam, E Pimentel Electronic Notes in Theoretical Computer Science 305, 103-121, 2014	15	2014
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

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

Cited by

Co-authors