Frank D. Valencia

Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia: Spatial and Epistemic Modalities in Constraint-Based Process Calculi. CONCUR 2012: 317-332

Andrés Aristizábal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino: Partition refinement for bisimilarity in CCP. SAC 2012: 88-93

Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank Valencia: Reducing Weak to Strong Bisimilarity in CCP. ICE 2012: 2-16

Marco Giunti, Catuscia Palamidessi, Frank D. Valencia: Hide and New in the Pi-Calculus. DCM 2012: 65-79

Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank D. Valencia: Partition Refinement for Bisimilarity in CCP. CoRR abs/1212.1548 (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: 138-152

Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia: Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. PACBB 2011: 321-328

Bas Luttik, Frank Valencia (Eds.): Proceedings 18th International Workshop on Expressiveness in Concurrency. EPTCS 64, 2011

Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia: Concurrent and Reactive Constraint Programming. 25 Years GULP 2010: 231-253

Sibylle B. Fröschle, Frank D. Valencia (Eds.): Proceedings 17th International Workshop on Expressiveness in Concurrency. EPTCS 41, 2010

Marco Carbone, Pawel Sobocinski, Frank D. Valencia: Foreword: Festschrift for Mogens Nielsen's 60th birthday. Theor. Comput. Sci. 410(41): 4001-4005 (2009)

Jesús Aranda, Frank D. Valencia, Cristian Versari: On the Expressive Power of Restriction and Priorities in CCS with Replication. FOSSACS 2009: 242-256

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: 509-513

Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia (Eds.): SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Lecture Notes in Computer Science 5404, Springer 2009, isbn 978-3-540-95890-1

Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia: Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. Electr. Notes Theor. Comput. Sci. 194(2): 59-84 (2008)

Catuscia Palamidessi, Frank D. Valencia: Preface. Electr. Notes Theor. Comput. Sci. 209: 1-4 (2008)

Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia: On the Asynchronous Nature of the Asynchronous pi-Calculus. Concurrency, Graphs and Models 2008: 473-492

Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia: Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. ICLP 2008: 682-686

Carlos Olarte, Frank D. Valencia: The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. PPDP 2008: 8-19

Carlos Olarte, Frank D. Valencia: Universal concurrent constraint programing: symbolic semantics and applications to security. SAC 2008: 145-150

Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia: Timed Concurrent Constraint Programming for Analysing Biological Systems. Electr. Notes Theor. Comput. Sci. 171(2): 117-137 (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: 383-398

Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia: Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP 2007: 271-285

Carlos Olarte, Catuscia Palamidessi, Frank Valencia: Universal Timed Concurrent Constraint Programming. ICLP 2007: 464-465

Catuscia Palamidessi, Frank D. Valencia: Languages for Concurrency. Bulletin of the EATCS 90: 155-171 (2006)

Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia: On Recursion, Replication and Scope Mechanisms in Process Calculi. FMCO 2006: 185-206

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: 449-450

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: 59-68

Catuscia Palamidessi, Frank D. Valencia: Recursion vs Replication in Process Calculi: Expressiveness. Bulletin of the EATCS 87: 105-125 (2005)

Frank D. Valencia: Decidability of infinite-state timed CCP processes and first-order LTL. Theor. Comput. Sci. 330(3): 577-607 (2005)

Stefan S. Dantchev, Frank D. Valencia: On the computational limits of infinite satisfaction. SAC 2005: 393-397

Camilo Rueda, Frank D. Valencia: On validity in modelization of musical problems by CCP. Soft Comput. 8(9): 641-648 (2004)

Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia: On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. FoSSaCS 2004: 226-240

Camilo Rueda, Frank D. Valencia: Non-viability Deductions in Arc-Consistency Computation. ICLP 2004: 343-355

Mogens Nielsen, Frank D. Valencia: Notes on Timed Concurrent Constraint Programming. Lectures on Concurrency and Petri Nets 2003: 702-741

Frank D. Valencia: Concurrency, Time, and Constraints. ICLP 2003: 72-101

Frank D. Valencia: Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. ICLP 2003: 422-437

Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia: Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nord. J. Comput. 9(1): 145-188 (2002)

Mogens Nielsen, Frank D. Valencia: Temporal Concurrent Constraint Programming: Applications and Behavior. Formal and Natural Computing 2002: 298-324

Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia: On the expressive power of temporal concurrent constraint programming languages. PPDP 2002: 156-167

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 6(1): 21-52 (2001)

Catuscia Palamidessi, Frank D. Valencia: A Temporal Concurrent Constraint Programming Calculus. CP 2001: 302-316

Frank D. Valencia: Temporal Concurrent Constraint Programming. CP 2001: 786

Juan Francisco Díaz, Camilo Rueda, Frank D. Valencia: Pi+- Calculus: A Calculus for Concurrent Processes with Constraints. CLEI Electron. J. 1(2) (1998)