Concepedia

Frank Valencia

FV

Statistics

Publications

21

Citations

524

H-Index

16

Active since

1998

Affiliations

Laboratoire d'Informatique de l'École Polytechnique(Current)

Pontificia Universidad Javeriana

École Polytechnique

Centre National de la Recherche Scientifique

Institut national de recherche en sciences et technologies du numérique

Frank Valencia is an author at Laboratoire d'Informatique de l'École Polytechnique specializing in computer science, computing, and formal methods.

Publications per year

1998–2016

21

Publications

21

Temporal concurrent constraint programming: denotation, logic and applications

Mogens Nielsen, Catuscia Palamidessi, Frank Valencia · 2002 · 90 citations

Computing, Computer Science, Computer Systems +15

On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus

Catuscia Palamidessi, Vijay Saraswat, Frank Valencia et al. · 2006 · 43 citations · Full text

Computing, Computer Science, Mathematics +10

Models and emerging trends of concurrent constraint programming

Carlos Olarte, Camilo Rueda, Frank Valencia · Constraints · 2013 · 40 citations

Computing, Computer Science, Programming Languages +9

Universal concurrent constraint programing

Carlos Olarte, Frank Valencia · 2008 · 35 citations

Computing, Computer Science, Cryptography +15

On the expressive power of temporal concurrent constraint programming languages

Mogens Nielsen, Catuscia Palamidessi, Frank Valencia · 2002 · 33 citations

Computing, Computer Science, Algorithms +14

1–5 of 21