Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(58)
Catuscia Palamidessi
18
Camilo Rueda
16
Mogens Nielsen
10
Carlos Alberto Olarte
9
Jesus Aranda (Jesús Aranda)
7
Conferences
(13)
ICLP(JICSLP)
8
FoSSaCS
3
PPDP
2
SAC
2
CP
2
Journals
(9)
ENTCS
4
TCS
2
CONSTRAINTS
2
NJC
1
SOCO
1
Keywords
(102)
Embed
Subscribe
Academic
Authors
Frank D. Valencia
Edit
Frank D. Valencia
Universidad Nacional de Colombia
Publications: 60
|
Citations: 299
|
G-Index: 15
|
H-Index: 11
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Programming Languages
,
Algorithms & Theory
,
Software Engineering
View FAQ about top research area and research interests
Collaborated with
58 co-authors
from 1998 to 2011
; Cited by
134 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(60)
BibTeX
|
RIS
|
RefWorks
Download
A comparative analysis of distributed MPC techniques applied to the HD-MPC four-tank benchmark
I. Alvarado
,
D. Limon
,
D. Muñoz de la Peña
,
J. M. Maestre
,
M. A. Ridao
,
H. Scheu
,
W. Marquardt
,
R. R. Negenborn
,
B. De Schutter
,
F. Valencia
,
J. Espinosa
Journal:
Journal of Process Control - J PROCESS CONTROL
, vol. 21, no. 5, pp. 800-815, 2011
Deriving Labels and Bisimilarity for Concurrent Constraint Programming
Andrés Aristizábal
,
Filippo Bonchi
,
Catuscia Palamidessi
,
Luis Pino
,
Frank D. Valencia
Conference:
Foundations of Software Science and Computation Structure - FoSSaCS
, pp. 138-152, 2011
Concurrent and Reactive Constraint Programming
(
Citations: 2
)
Maurizio Gabbrielli
,
Catuscia Palamidessi
,
Frank D. Valencia
Conference:
APPIA-GULP-PRODE - AGP
, pp. 231-253, 2010
On the Expressive Power of Restriction and Priorities in CCS with Replication
(
Citations: 8
)
Jesús Aranda
,
Frank D. Valencia
,
Cristian Versari
Conference:
Foundations of Software Science and Computation Structure - FoSSaCS
, pp. 242-256, 2009
Concurrent Constraint Calculi: a Declarative Paradigm for Modeling Music Systems
(
Citations: 3
)
Carlos Olarte
,
Camilo Rueda
,
Frank D. Valencia
Published in 2009.
Order by:
Citations
(299 times by 139 publications)
Psi-calculi: a framework for mobile processes with nominal data and logic
Jesper Bengtson
,
Magnus Johansson
,
Joachim Parrow
,
Björn Victor
Journal:
Computing Research Repository - CORR
, vol. abs/1101.3, 2011
Deriving Labels and Bisimilarity for Concurrent Constraint Programming
Andrés Aristizábal
,
Filippo Bonchi
,
Catuscia Palamidessi
,
Luis Pino
,
Frank D. Valencia
Conference:
Foundations of Software Science and Computation Structure - FoSSaCS
, pp. 138-152, 2011
Constraint Logic Programming
(
Citations: 4
)
Marco Gavanelli
,
Francesca Rossi
Conference:
APPIA-GULP-PRODE - AGP
, pp. 64-86, 2010
Towards a Unified Framework for Declarative Structured Communications
(
Citations: 4
)
Hugo A. López
,
Carlos Olarte
,
Jorge A. Perez
Journal:
Computing Research Repository - CORR
, vol. abs/1002.0, 2010
Weak Equivalences in Psi-Calculi
(
Citations: 2
)
Magnus Johansson
,
Jesper Bengtson
,
Joachim Parrow
,
Björn Victor
Conference:
Logic in Computer Science - LICS
, pp. 322-331, 2010
Comments