Frank D. Valencia

Frank Valencia

2009
31	EE	Mogens 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
30	EE	Jesús Aranda, Frank D. Valencia, Cristian Versari: On the Expressive Power of Restriction and Priorities in CCS with Replication. FOSSACS 2009: 242-256
2008
29	EE	Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia: On the Asynchronous Nature of the Asynchronous pi-Calculus. Concurrency, Graphs and Models 2008: 473-492
28	EE	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
27	EE	Carlos Olarte, Frank D. Valencia: The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. PPDP 2008: 8-19
26	EE	Carlos Olarte, Frank D. Valencia: Universal concurrent constraint programing: symbolic semantics and applications to security. SAC 2008: 145-150
25	EE	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)
24	EE	Catuscia Palamidessi, Frank D. Valencia: Preface. Electr. Notes Theor. Comput. Sci. 209: 1-4 (2008)
2007
23	EE	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
22	EE	Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia: Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP 2007: 271-285
21	EE	Carlos Olarte, Catuscia Palamidessi, Frank Valencia: Universal Timed Concurrent Constraint Programming. ICLP 2007: 464-465
20	EE	Julian 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
19	EE	Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia: On Recursion, Replication and Scope Mechanisms in Process Calculi. FMCO 2006: 185-206
18	EE	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
17	EE	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
16	EE	Stefan 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)
14	EE	Frank D. Valencia: Decidability of infinite-state timed CCP processes and first-order LTL. Theor. Comput. Sci. 330(3): 577-607 (2005)
2004
13	EE	Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia: On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. FoSSaCS 2004: 226-240
12	EE	Camilo Rueda, Frank D. Valencia: Non-viability Deductions in Arc-Consistency Computation. ICLP 2004: 343-355
11	EE	Camilo Rueda, Frank D. Valencia: On validity in modelization of musical problems by CCP. Soft Comput. 8(9): 641-648 (2004)
2003
10	EE	Frank D. Valencia: Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. ICLP 2003: 422-437
9	EE	Frank D. Valencia: Concurrency, Time, and Constraints. ICLP 2003: 72-101
8	EE	Mogens Nielsen, Frank D. Valencia: Notes on Timed Concurrent Constraint Programming. Lectures on Concurrency and Petri Nets 2003: 702-741
2002
7	EE	Mogens Nielsen, Frank D. Valencia: Temporal Concurrent Constraint Programming: Applications and Behavior. Formal and Natural Computing 2002: 298-324
6	EE	Mogens 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
4	EE	Catuscia Palamidessi, Frank D. Valencia: A Temporal Concurrent Constraint Programming Calculus. CP 2001: 302-316
3	EE	Frank 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
1	EE	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

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

Colors in the list of coauthors