Carlos Olarte

Cited by

	All	Since 2015
Citations	627	367
h-index	13	11
i10-index	21	13

100

20052006200720082009201020112012201320142015201620172018201920209 9 6 18 54 29 28 23 44 31 92 49 63 65 57 40

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 PalamidessiINRIA, University of Paris Saclay and Ecole PolytechniqueVerified email at lix.polytechnique.fr
Davide ChiarugiInstitute of Metabolic Science, University of CambridgeVerified email at cam.ac.uk
Vivek Nigamfortiss GmbHVerified email at fortiss.org
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
Mauricio Toro - https://orcid.org/0000-0...Assistant 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
Bjoern LellmannTU WienVerified email at logic.at
Gerardo M. Sarria M.Associate Professor, Pontificia Universidad Javeriana - Cali, ColombiaVerified email at javerianacali.edu.co
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
Néstor CatañoAssociate Professor at Innopolis UniversityVerified email at innopolis.ru
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

Carlos Olarte

Professor of Computer Science, ECT, Universidade Federal do Rio Grande do Norte, Brazil

Verified email at ect.ufrn.br - Homepage

Concurrency theory constraint programming 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	58	2008
Models and emerging trends of concurrent constraint programming C Olarte, C Rueda, FD Valencia Constraints 18 (4), 535-578, 2013	50	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	34	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	32	2013
Concurrent constraints models of music interaction M Toro, C Rueda, F Valencia, G Sarria, C Olarte	31	2011
Towards a unified framework for declarative structured communications HA López, C Olarte, JA Pérez arXiv preprint arXiv:1002.0930, 2010	26	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
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
A declarative language for dynamic multimedia interaction systems C Olarte, C Rueda International Conference on Mathematics and Computation in Music, 218-227, 2009	22	2009
Subexponential concurrent constraint programming C Olarte, E Pimentel, V Nigam Theoretical Computer Science 606, 98-120, 2015	20	2015
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	15	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	14	2009
Dynamic spaces in concurrent constraint programming C Olarte, V Nigam, E Pimentel Electronic Notes in Theoretical Computer Science 305, 103-121, 2014	13	2014
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	13	2004
Modelling non-Markovian dynamics in biochemical reactions D Chiarugi, M Falaschi, D Hermith, C Olarte, L Torella BMC systems biology 9 (S3), S8, 2015	12	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	12	2015
Concurrent constraint programming: Calculi, languages and emerging applications C Olarte, C Rueda, F Valencia Newsletter of the ALP 21 (2-3), 11, 2008	12*	2008
A proof theoretic study of soft concurrent constraint programming E Pimentel, C Olarte, V Nigam arXiv preprint arXiv:1405.2329, 2014	11	2014
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	11	2010
Mechanizing focused linear logic in Coq B Xavier, C Olarte, G Reis, V Nigam Electronic Notes in Theoretical Computer Science 338, 219-236, 2018	10	2018

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

Upload PDF

Follow this author

Cited by

Co-authors