dblp.uni-trier.dewww.uni-trier.de

Frank D. Valencia

Frank Valencia

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
31EEMogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia: 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 Springer 2009
30EEJesús Aranda, Frank D. Valencia, Cristian Versari: On the Expressive Power of Restriction and Priorities in CCS with Replication. FOSSACS 2009: 242-256
2008
29EERomain Beauxis, Catuscia Palamidessi, Frank D. Valencia: On the Asynchronous Nature of the Asynchronous pi-Calculus. Concurrency, Graphs and Models 2008: 473-492
28EEJesú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
27EECarlos Olarte, Frank D. Valencia: The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. PPDP 2008: 8-19
26EECarlos Olarte, Frank D. Valencia: Universal concurrent constraint programing: symbolic semantics and applications to security. SAC 2008: 145-150
25EEDiletta 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)
24EECatuscia Palamidessi, Frank D. Valencia: Preface. Electr. Notes Theor. Comput. Sci. 209: 1-4 (2008)
2007
23EEJesú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
22EEMoreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia: Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP 2007: 271-285
21EECarlos Olarte, Catuscia Palamidessi, Frank Valencia: Universal Timed Concurrent Constraint Programming. ICLP 2007: 464-465
20EEJulian Gutiérrez, 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)
2006
19EEJesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia: On Recursion, Replication and Scope Mechanisms in Process Calculi. FMCO 2006: 185-206
18EEHugo 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
17EECatuscia 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
16EEStefan S. Dantchev, Frank D. Valencia: On the computational limits of infinite satisfaction. SAC 2005: 393-397
15 Catuscia Palamidessi, Frank D. Valencia: Recursion vs Replication in Process Calculi: Expressiveness. Bulletin of the EATCS 87: 105-125 (2005)
14EEFrank D. Valencia: Decidability of infinite-state timed CCP processes and first-order LTL. Theor. Comput. Sci. 330(3): 577-607 (2005)
2004
13EEPablo Giambiagi, Gerardo Schneider, Frank D. Valencia: On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. FoSSaCS 2004: 226-240
12EECamilo Rueda, Frank D. Valencia: Non-viability Deductions in Arc-Consistency Computation. ICLP 2004: 343-355
11EECamilo Rueda, Frank D. Valencia: On validity in modelization of musical problems by CCP. Soft Comput. 8(9): 641-648 (2004)
2003
10EEFrank D. Valencia: Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. ICLP 2003: 422-437
9EEFrank D. Valencia: Concurrency, Time, and Constraints. ICLP 2003: 72-101
8EEMogens Nielsen, Frank D. Valencia: Notes on Timed Concurrent Constraint Programming. Lectures on Concurrency and Petri Nets 2003: 702-741
2002
7EEMogens Nielsen, Frank D. Valencia: Temporal Concurrent Constraint Programming: Applications and Behavior. Formal and Natural Computing 2002: 298-324
6EEMogens Nielsen, Catuscia Palamidessi, Frank D. Valencia: On the expressive power of temporal concurrent constraint programming languages. PPDP 2002: 156-167
5 Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia: Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nord. J. Comput. 9(1): 145-188 (2002)
2001
4EECatuscia Palamidessi, Frank D. Valencia: A Temporal Concurrent Constraint Programming Calculus. CP 2001: 302-316
3EEFrank D. Valencia: Temporal Concurrent Constraint Programming. CP 2001: 786
2 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)
1998
1EEJuan 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

1Gloria Alvarez [2]
2Jesús Aranda [19] [23] [25] [28] [30]
3Gérard Assayag [2]
4Romain Beauxis [29]
5Diletta Cacciagrano [25]
6Flavio Corradini [25]
7Stefan S. Dantchev [16]
8Juan Francisco Díaz [1] [2]
9Moreno Falaschi [22]
10Pablo Giambiagi [13]
11Cinzia Di Giusto [19] [23]
12Julian Gutiérrez [20]
13Antonín Kucera [31]
14Hugo A. López [18]
15Peter Bro Miltersen [31]
16Mogens Nielsen [5] [6] [7] [8] [23] [31]
17Carlos Olarte (Carlos Alberto Olarte) [21] [22] [26] [27]
18Catuscia Palamidessi [4] [5] [6] [15] [17] [18] [19] [21] [22] [24] [29] [31]
19Jorge A. Pérez (Jorge Andrés Pérez) [18] [20] [28]
20Luis Quesada [2]
21Camilo Rueda [1] [2] [11] [12] [18] [20] [28]
22Vijay A. Saraswat [17]
23Gerardo Schneider [13]
24Gabriel Tamura [2]
25Petr Tuma [31]
26Cristian Versari [30]
27Björn Victor [17]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)