Frank D. Valencia

Cited by

	All	Since 2015
Citations	1280	462
h-index	21	11
i10-index	34	12

140

105

2000200120022003200420052006200720082009201020112012201320142015201620172018201920204 11 20 23 31 41 44 52 74 126 63 45 66 108 85 115 59 63 95 72 58

Co-authors

Catuscia PalamidessiINRIA, University of Paris Saclay and Ecole PolytechniqueVerified email at lix.polytechnique.fr
Carlos OlarteProfessor of Computer Science, ECT, Universidade Federal do Rio Grande do Norte, BrazilVerified email at ect.ufrn.br
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Andres A. Aristizabal P.PhD Student at École Polytechnique de ParisVerified email at lix.polytechnique.fr
Luis Fernando Pino DuqueSoftware Engineer, GoogleVerified email at lix.polytechnique.fr
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
Hugo Andrés LópezAssistant Professor, University of CopenhagenVerified email at di.ku.dk
Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerified email at cse.gu.se
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Luis QuesadaResearch Project Leader, Insight Centre for Data AnalyticsVerified email at insight-centre.org
Mauricio Toro - https://orcid.org/0000-0...Assistant Professor at Eafit UniversityVerified email at eafit.edu.co
Vijay SaraswatGoldman Sachs ResearchVerified email at saraswat.org
Gabriel TamuraProfessor, Dept. of Information and Communication Tecnologies, Icesi UniversityVerified email at icesi.edu.co
Flavio CorradiniProfessore di Informatica, Università di CamerinoVerified email at unicam.it
Diletta Romana CacciagranoUniversity of CamerinoVerified email at unicam.it
Julian GutierrezMonash University LecturerVerified email at monash.edu
Marco GiuntiNew University of LisbonVerified email at campus.fct.unl.pt
Peter Bro MiltersenFormer Professor of Computer Science at Aarhus UniversityVerified email at cs.au.dk
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz

Frank D. Valencia

CNRS, École Polytechnique de Paris & Pontificia Universidad Javeriana Cali

Verified email at lix.polytechnique.fr - Homepage

Formal Methods Concurrency Theory Logic in Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Temporal concurrent constraint programming: Denotation, logic and applications M Nielsen, C Palamidessi, FD Valencia Nord. J. Comput. 9 (1), 145-188, 2002	136	2002
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
A temporal concurrent constraint programming calculus C Palamidessi, FD Valencia International Conference on Principles and Practice of Constraint …, 2001	56	2001
Spatial and epistemic modalities in constraint-based process calculi S Knight, C Palamidessi, P Panangaden, FD Valencia International Conference on Concurrency Theory, 317-332, 2012	53	2012
On the expressiveness of linearity vs persistence in the asychronous pi-calculus C Palamidessi, V Saraswat, FD Valencia, B Victor 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 59-68, 2006	53	2006
On the expressive power of temporal concurrent constraint programming languages M Nielsen, C Palamidessi, FD Valencia Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002	53	2002
Models and emerging trends of concurrent constraint programming C Olarte, C Rueda, FD Valencia Constraints 18 (4), 535-578, 2013	51	2013
Integrating constraints and concurrent objects in musical applications: A calculus and its visual language C Rueda, G Alvarez, LO Quesada, G Tamura, F Valencia, JF Díaz, ... Constraints 6 (1), 21-52, 2001	41	2001
On the expressiveness of infinite behavior and name scoping in process calculi P Giambiagi, G Schneider, FD Valencia International Conference on Foundations of Software Science and Computation …, 2004	37	2004
Deriving labels and bisimilarity for concurrent constraint programming A Aristizábal, F Bonchi, C Palamidessi, L Pino, F Valencia International Conference on Foundations of Software Science and …, 2011	34	2011
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
Decidability of infinite-state timed CCP processes and first-order LTL FD Valencia Theoretical Computer Science 330 (3), 577-607, 2005	34	2005
Concurrent constraints models of music interaction M Toro, C Rueda, F Valencia, G Sarria, C Olarte	31	2011
Timed concurrent constraint programming for analysing biological systems J Gutiérrez, JA Pérez, C Rueda, FD Valencia Electronic Notes in Theoretical Computer Science 171 (2), 117-137, 2007	31	2007
On the Asynchronous Nature of the Asynchronous π-Calculus R Beauxis, C Palamidessi, FD Valencia Concurrency, Graphs and Models, 473-492, 2008	30	2008
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
Temporal concurrent constraint programming FD Valencia CP 1, 786, 2001	26	2001
On the expressive power of restriction and priorities in ccs with replication J Aranda, FD Valencia, C Versari International Conference on Foundations of Software Science and …, 2009	24	2009
Recursion vs replication in process calculi: Expressiveness C Palamidessi, F Valencia	24	2005
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

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