Frank D. Valencia

Publication Activity (10 Years)

Years Active: 1998-2020
Publications (10 Years): 10

Top Topics

Constraint Programming

Top Venues

Math. Struct. Comput. Sci.

J. Log. Algebraic Methods Program.

Sci. Comput. Program.

Publications

Mário S. Alvim, Konstantinos Chatzikokolakis, Carlos Olarte, Frank D. Valencia
Catuscia Palamidessi: a journey from logic and concurrency to security and privacy. ACM SIGLOG News 7 (1) (2020)
Martin Leucker, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
Preface to special issue: ICTAC 2015. Math. Struct. Comput. Sci. 29 (1) (2019)
Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia
Characterizing right inverses for spatial constraint systems with applications to modal logic. Theor. Comput. Sci. 744 (2018)
Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia
Observational and behavioural equivalences for soft concurrent constraint programming. J. Log. Algebraic Methods Program. 92 (2017)
Stefan Haar, Salim Perchy, Frank D. Valencia
D-SPACES: Implementing Declarative Semantics for Spatially Structured Information. ICSC (2017)
Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia
Belief, knowledge, lies and other utterances in an algebra for space and extrusion. J. Log. Algebraic Methods Program. 86 (1) (2017)
Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia
Deriving Inverse Operators for Modal Logic. ICTAC (2016)
Sibylle B. Fröschle, Frank D. Valencia
Preface to special issue: EXPRESS 2010. Math. Struct. Comput. Sci. 26 (6) (2016)
Michell Guzmán, Frank D. Valencia
On the Expressiveness of Spatial Constraint Systems. ICLP (Technical Communications) (2016)
Bas Luttik, Frank D. Valencia
Preface to special issue: EXPRESS 2011. Math. Struct. Comput. Sci. 26 (8) (2016)
Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia
A Labelled Semantics for Soft Concurrent Constraint Programming. COORDINATION (2015)
Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia
An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. PPDP (2015)
Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia
Efficient algorithms for program equivalence for confluent concurrent constraint programming. Sci. Comput. Program. 111 (2015)
Luis Fernando Pino, Andrés A. Aristizábal P., Filippo Bonchi, Frank D. Valencia
Weak CCP bisimilarity with strong procedures. Sci. Comput. Program. 100 (2015)
Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. ICTAC (2014)
Carlos Olarte, Camilo Rueda, Frank D. Valencia
Models and emerging trends of concurrent constraint programming. Constraints An Int. J. 18 (4) (2013)
Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia
Efficient computation of program equivalence for confluent concurrent constraint programming. PPDP (2013)
Andrés Aristizábal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino
Partition refinement for bisimilarity in CCP. SAC (2012)
Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank D. Valencia
Partition Refinement for Bisimilarity in CCP CoRR (2012)
Marco Giunti, Catuscia Palamidessi, Frank D. Valencia
Hide and New in the Pi-Calculus EXPRESS/SOS (2012)
Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia
Spatial and Epistemic Modalities in Constraint-Based Process Calculi. CONCUR (2012)
Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia
Deriving Labels and Bisimilarity for Concurrent Constraint Programming. FoSSaCS (2011)
Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia
Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. PACBB (2011)
Marco Carbone, Pawel Sobocinski, Frank D. Valencia
Foreword: Festschrift for Mogens Nielsen's 60th birthday. Theor. Comput. Sci. 410 (41) (2009)
Jesús Aranda, Frank D. Valencia, Cristian Versari
On the Expressive Power of Restriction and Priorities in CCS with Replication. FoSSaCS (2009)
Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. ICLP (2009)
Catuscia Palamidessi, Frank D. Valencia
Preface. Electron. Notes Theor. Comput. Sci. 209 (2008)
Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. ICLP (2008)
Carlos Olarte, Frank D. Valencia
Universal concurrent constraint programing: symbolic semantics and applications to security. SAC (2008)
Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia
On the Asynchronous Nature of the Asynchronous pi-Calculus. Concurrency, Graphs and Models (2008)
Carlos Olarte, Frank D. Valencia
The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. PPDP (2008)
Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. EXPRESS (2007)
Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
Timed Concurrent Constraint Programming for Analysing Biological Systems. Electron. Notes Theor. Comput. Sci. 171 (2) (2007)
Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. APLAS (2007)
Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. LICS (2006)
Catuscia Palamidessi, Frank D. Valencia
Languages for Concurrency. Bull. EATCS 90 (2006)
Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia
A Declarative Framework for Security: Secure Concurrent Constraint Programming. ICLP (2006)
Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia
On Recursion, Replication and Scope Mechanisms in Process Calculi. FMCO (2006)
Catuscia Palamidessi, Frank D. Valencia
Recursion vs Replication in Process Calculi: Expressiveness. Bull. EATCS 87 (2005)
Stefan S. Dantchev, Frank D. Valencia
On the computational limits of infinite satisfaction. SAC (2005)
Frank D. Valencia
Decidability of infinite-state timed CCP processes and first-order LTL. Theor. Comput. Sci. 330 (3) (2005)
Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. FoSSaCS (2004)
Camilo Rueda, Frank D. Valencia
Non-viability Deductions in Arc-Consistency Computation. ICLP (2004)
Camilo Rueda, Frank D. Valencia
On validity in modelization of musical problems by CCP. Soft Comput. 8 (9) (2004)
Frank D. Valencia
Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. ICLP (2003)
Frank D. Valencia
Concurrency, Time, and Constraints. ICLP (2003)
Mogens Nielsen, Frank D. Valencia
Notes on Timed Concurrent Constraint Programming. Lectures on Concurrency and Petri Nets (2003)
Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
On the expressive power of temporal concurrent constraint programming languages. PPDP (2002)
Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nord. J. Comput. 9 (1) (2002)
Mogens Nielsen, Frank D. Valencia
Temporal Concurrent Constraint Programming: Applications and Behavior. Formal and Natural Computing (2002)
Catuscia Palamidessi, Frank D. Valencia
A Temporal Concurrent Constraint Programming Calculus. CP (2001)
Camilo Rueda, Gloria Alvarez, Luis Quesada, Gabriel Tamura, Frank D. Valencia, Juan Francisco Díaz, Gérard Assayag
Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language. Constraints An Int. J. 6 (1) (2001)
Frank D. Valencia
Temporal Concurrent Constraint Programming. CP (2001)
Juan Francisco Díaz, Camilo Rueda, Frank D. Valencia
Pi+- Calculus: A Calculus for Concurrent Processes with Constraints. CLEI Electron. J. 1 (2) (1998)