F. Valencia
发表
M. Bonsangue,
C. Palamidessi,
C. Giusto,
2006
.
F. Valencia,
2007
.
M. Nielsen,
F. Valencia,
2004
.
G. Schneider,
P. Giambiagi,
F. Valencia,
2007
.
M. Alvim,
K. Chatzikokolakis,
C. Olarte,
2019
.
Jesús Aranda,
F. Valencia,
Cristian Versari,
2008
.
Camilo Rueda,
Frank D. Valencia,
Juan Francisco Díaz,
1998,
CLEI Electron. J..
Camilo Rueda,
Frank D. Valencia,
Carlos Olarte,
2013,
Constraints.
C. Palamidessi,
M. Giunti,
F. Valencia,
2012
.
Hugo A. López,
C. Rueda,
F. Valencia,
2006
.
C. Olarte,
F. Valencia,
2009
.
V. Saraswat,
C. Palamidessi,
B. Victor,
2004
.
Hugo A. López,
C. Rueda,
F. Valencia,
2005
.
Carlos Pinz'on,
F. Valencia,
Santiago Quintero,
2022,
ArXiv.
Frank D. Valencia,
Tom Chothia,
Catuscia Palamidessi,
2005
.
Camilo Rueda,
Frank D. Valencia,
Carlos Olarte,
2011
.
Maurizio Gabbrielli,
Frank D. Valencia,
Catuscia Palamidessi,
2010,
25 Years GULP.
Camilo Rueda,
Frank D. Valencia,
Carlos Olarte,
2009
.
Camilo Rueda,
Frank D. Valencia,
Carlos Olarte,
2008
.
Frank D. Valencia,
Catuscia Palamidessi,
Jesús Aranda,
2006,
FMCO.
Frank D. Valencia,
F. Valencia,
2005,
Theor. Comput. Sci..
Frank D. Valencia,
Catuscia Palamidessi,
C. Palamidessi,
2005,
Bull. EATCS.
Frank D. Valencia,
F. Valencia,
2003,
ICLP.
Frank D. Valencia,
Mogens Nielsen,
M. Nielsen,
2003,
Lectures on Concurrency and Petri Nets.
Frank D. Valencia,
Mogens Nielsen,
Catuscia Palamidessi,
2002,
PPDP '02.
Frank D. Valencia,
Mogens Nielsen,
Catuscia Palamidessi,
2002,
Nord. J. Comput..
Frank D. Valencia,
Mogens Nielsen,
Catuscia Palamidessi,
2002
.
Frank D. Valencia,
Mogens Nielsen,
M. Nielsen,
2001,
Formal and Natural Computing.
Frank D. Valencia,
Catuscia Palamidessi,
Jesús Aranda,
2002,
Lecture Notes in Computer Science.
Frank D. Valencia,
F. Valencia,
2001,
CP.
Frank D. Valencia,
Catuscia Palamidessi,
C. Palamidessi,
2001,
CP.
F. Valencia,
2000
.
Camilo Rueda,
Frank D. Valencia,
Carlos Pinzón,
2019,
The Art of Modelling Computational Systems.
Frank D. Valencia,
Catuscia Palamidessi,
Romain Beauxis,
2008,
Concurrency, Graphs and Models.
Frank D. Valencia,
Catuscia Palamidessi,
C. Palamidessi,
2006,
Bull. EATCS.
Frank D. Valencia,
Filippo Bonchi,
P. AndrésA.Aristizábal,
2015,
Sci. Comput. Program..
Frank D. Valencia,
Filippo Bonchi,
Luis Fernando Pino,
2014,
ICTAC.
Frank D. Valencia,
Filippo Bonchi,
Catuscia Palamidessi,
2011,
FoSSaCS.
Camilo Rueda,
Frank D. Valencia,
Stefan Haar,
2015,
PPDP.
Camilo Rueda,
Frank D. Valencia,
Martin Leucker,
2015,
Lecture Notes in Computer Science.
Frank D. Valencia,
Catuscia Palamidessi,
Carlos Olarte,
2007,
ICLP.
Michell Guzmán,
Frank D. Valencia,
F. Valencia,
2017,
ICLP.
Camilo Rueda,
Michell Guzmán,
Frank D. Valencia,
2017,
J. Log. Algebraic Methods Program..
Mário S. Alvim,
Frank D. Valencia,
Sophia Knight,
2019,
The Art of Modelling Computational Systems.
C. Rocha,
M. Romero,
F. Valencia,
2019,
ArXiv.
Santiago Quintero,
Camilo Rueda,
Michell Guzmán,
2021,
J. Log. Algebraic Methods Program..
Camilo Rueda,
Michell Guzmán,
Frank D. Valencia,
2018,
Theor. Comput. Sci..
Camilo Rueda,
Michell Guzmán,
Frank D. Valencia,
2016,
ICTAC.
C. Palamidessi,
P. Piantanida,
F. Valencia,
2022,
AAAI.
Björn Victor,
Frank D. Valencia,
Catuscia Palamidessi,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Hugo A. López,
J. Gutierrez,
C. Rueda,
2007
.
Frank D. Valencia,
Catuscia Palamidessi,
Marco Giunti,
2012,
EXPRESS/SOS.
C. Rueda,
Carlos Pinz'on,
F. Valencia,
2022,
arXiv.org.
Frank D. Valencia,
Stefan Haar,
Salim Perchy,
2016
.
Santiago Quintero,
Sergio Ramírez,
Camilo Rueda,
2020,
RAMiCS.
Santiago Quintero,
Camilo Rueda,
Michell Guzmán,
2019,
CONCUR.
Frank D. Valencia,
Prakash Panangaden,
Catuscia Palamidessi,
2012,
CONCUR.
Camilo Rueda,
Frank D. Valencia,
C. Rueda,
2004,
Soft Comput..
C. Olarte,
Diana Hermith,
C. Rueda,
2011,
PACBB.
Camilo Rueda,
Frank D. Valencia,
C. Rueda,
2004,
ICLP.
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems
pdf
Santiago Quintero,
Camilo Rueda,
Frank Valencia,
2020,
ArXiv.
Frank D. Valencia,
Carlos Olarte,
C. Olarte,
2008,
SAC '08.
Santiago Quintero,
Frank Valencia,
Sophia Knight,
2021,
FORTE.
Frank D. Valencia,
Carlos Olarte,
C. Olarte,
2008,
PPDP.
Frank D. Valencia,
F. Valencia,
2003,
ICLP.
Frank D. Valencia,
Jesús Aranda,
Cristian Versari,
2009,
FoSSaCS.