Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Frank D. Valencia
Frank Valencia
2010 – today
- 2013
[j12]Carlos Olarte, Camilo Rueda, Frank D. Valencia: Models and emerging trends of concurrent constraint programming. Constraints 18(4): 535-578 (2013)- [c30]Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia: Efficient computation of program equivalence for confluent concurrent constraint programming. PPDP 2013: 263-274
- 2012
- [c29]Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia: Spatial and Epistemic Modalities in Constraint-Based Process Calculi. CONCUR 2012: 317-332
- [c28]Andrés Aristizábal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino: Partition refinement for bisimilarity in CCP. SAC 2012: 88-93
- [c27]Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank Valencia: Reducing Weak to Strong Bisimilarity in CCP. ICE 2012: 2-16
- [c26]Marco Giunti, Catuscia Palamidessi, Frank D. Valencia: Hide and New in the Pi-Calculus. DCM 2012: 65-79
- [i1]Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank D. Valencia: Partition Refinement for Bisimilarity in CCP. CoRR abs/1212.1548 (2012)
- 2011
- [c25]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
- [c24]Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia: Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. PACBB 2011: 321-328
- [e3]Bas Luttik, Frank Valencia (Eds.): Proceedings 18th International Workshop on Expressiveness in Concurrency. EPTCS 64, 2011
- 2010
- [c23]Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia: Concurrent and Reactive Constraint Programming. 25 Years GULP 2010: 231-253
- [e2]Sibylle B. Fröschle, Frank D. Valencia (Eds.): Proceedings 17th International Workshop on Expressiveness in Concurrency. EPTCS 41, 2010
2000 – 2009
- 2009
- [j11]Marco Carbone, Pawel Sobocinski, Frank D. Valencia: Foreword: Festschrift for Mogens Nielsen's 60th birthday. Theor. Comput. Sci. 410(41): 4001-4005 (2009)
- [c22]Jesús Aranda, Frank D. Valencia, Cristian Versari: On the Expressive Power of Restriction and Priorities in CCS with Replication. FOSSACS 2009: 242-256
- [c21]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
- [e1]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
- 2008
- [j10]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)
- [j9]
- [c20]Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia: On the Asynchronous Nature of the Asynchronous pi-Calculus. Concurrency, Graphs and Models 2008: 473-492
- [c19]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
- [c18]Carlos Olarte, Frank D. Valencia: The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. PPDP 2008: 8-19
- [c17]Carlos Olarte, Frank D. Valencia: Universal concurrent constraint programing: symbolic semantics and applications to security. SAC 2008: 145-150
- 2007
- [j8]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)
- [c16]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
- [c15]Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia: Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP 2007: 271-285
- [c14]Carlos Olarte, Catuscia Palamidessi, Frank Valencia: Universal Timed Concurrent Constraint Programming. ICLP 2007: 464-465
- 2006
- [j7]Catuscia Palamidessi, Frank D. Valencia: Languages for Concurrency. Bulletin of the EATCS 90: 155-171 (2006)
- [c13]Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia: On Recursion, Replication and Scope Mechanisms in Process Calculi. FMCO 2006: 185-206
- [c12]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
- [c11]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
- 2005
- [j6]Catuscia Palamidessi, Frank D. Valencia: Recursion vs Replication in Process Calculi: Expressiveness. Bulletin of the EATCS 87: 105-125 (2005)
- [j5]Frank D. Valencia: Decidability of infinite-state timed CCP processes and first-order LTL. Theor. Comput. Sci. 330(3): 577-607 (2005)
- [c10]Stefan S. Dantchev, Frank D. Valencia: On the computational limits of infinite satisfaction. SAC 2005: 393-397
- 2004
- [j4]Camilo Rueda, Frank D. Valencia: On validity in modelization of musical problems by CCP. Soft Comput. 8(9): 641-648 (2004)
- [c9]Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia: On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. FoSSaCS 2004: 226-240
- [c8]Camilo Rueda, Frank D. Valencia: Non-viability Deductions in Arc-Consistency Computation. ICLP 2004: 343-355
- 2003
- [c7]Mogens Nielsen, Frank D. Valencia: Notes on Timed Concurrent Constraint Programming. Lectures on Concurrency and Petri Nets 2003: 702-741
- [c6]
- [c5]Frank D. Valencia: Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. ICLP 2003: 422-437
- 2002
- [j3]Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia: Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nord. J. Comput. 9(1): 145-188 (2002)
- [c4]Mogens Nielsen, Frank D. Valencia: Temporal Concurrent Constraint Programming: Applications and Behavior. Formal and Natural Computing 2002: 298-324
- [c3]Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia: On the expressive power of temporal concurrent constraint programming languages. PPDP 2002: 156-167
- 2001
- [j2]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)
- [c2]Catuscia Palamidessi, Frank D. Valencia: A Temporal Concurrent Constraint Programming Calculus. CP 2001: 302-316
- [c1]
1990 – 1999
- 1998
- [j1]Juan Francisco Díaz, Camilo Rueda, Frank D. Valencia: Pi+- Calculus: A Calculus for Concurrent Processes with Constraints. CLEI Electron. J. 1(2) (1998)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:14 CEST by the dblp team