Carlos Olarte - Google Scholar

Cited by

	All	Since 2015
Citations	582	328
h-index	12	10
i10-index	19	10

20052006200720082009201020112012201320142015201620172018201920209 9 6 18 54 29 28 23 44 28 76 42 62 66 55 26

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
Bjoern LellmannTU WienVerified email at logic.at
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
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
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

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	56	2008
Models and emerging trends of concurrent constraint programming C Olarte, C Rueda, FD Valencia Constraints 18 (4), 535-578, 2013	46	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
Concurrent constraints models of music interaction M Toro, C Rueda, F Valencia, G Sarria, C Olarte	31	2011
A general proof system for modalities in concurrent constraint programming V Nigam, C Olarte, E Pimentel International Conference on Concurrency Theory, 410-424, 2013	27	2013
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	21	2009
Subexponential concurrent constraint programming C Olarte, E Pimentel, V Nigam Theoretical Computer Science 606, 98-120, 2015	19	2015
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
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	13	2016
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
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	11	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	10	2015
Dynamic spaces in concurrent constraint programming C Olarte, V Nigam, E Pimentel Electronic Notes in Theoretical Computer Science 305, 103-121, 2014	10	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	10	2010
Universal temporal concurrent constraint programming C Olarte	10	2009
A proof theoretic study of soft concurrent constraint programming E Pimentel, C Olarte, V Nigam arXiv preprint arXiv:1405.2329, 2014	9	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

Upload PDF

Follow this author

Cited by

Co-authors