Frank D. Valencia

Frank Valencia

	2009
33		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
32		Jesús Aranda, Frank D. Valencia, Cristian Versari: On the Expressive Power of Restriction and Priorities in CCS with Replication. FOSSACS 2009: 242-256
31		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
30		Marco Carbone, Pawel Sobocinski, Frank D. Valencia: Foreword: Festschrift for Mogens Nielsen's 60th birthday. Theor. Comput. Sci. 410(41): 4001-4005 (2009)
	2008
29		Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia: On the Asynchronous Nature of the Asynchronous pi-Calculus. Concurrency, Graphs and Models 2008: 473-492
28		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		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		Carlos Olarte, Frank D. Valencia: Universal concurrent constraint programing: symbolic semantics and applications to security. SAC 2008: 145-150
25		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		Catuscia Palamidessi, Frank D. Valencia: Preface. Electr. Notes Theor. Comput. Sci. 209: 1-4 (2008)
	2007
23		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		Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia: Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP 2007: 271-285
21		Carlos Olarte, Catuscia Palamidessi, Frank Valencia: Universal Timed Concurrent Constraint Programming. ICLP 2007: 464-465
20		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)
	2006
19		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		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		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		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		Frank D. Valencia: Decidability of infinite-state timed CCP processes and first-order LTL. Theor. Comput. Sci. 330(3): 577-607 (2005)
	2004
13		Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia: On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. FoSSaCS 2004: 226-240
12		Camilo Rueda, Frank D. Valencia: Non-viability Deductions in Arc-Consistency Computation. ICLP 2004: 343-355
11		Camilo Rueda, Frank D. Valencia: On validity in modelization of musical problems by CCP. Soft Comput. 8(9): 641-648 (2004)
	2003
10		Frank D. Valencia: Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. ICLP 2003: 422-437
9		Frank D. Valencia: Concurrency, Time, and Constraints. ICLP 2003: 72-101
8		Mogens Nielsen, Frank D. Valencia: Notes on Timed Concurrent Constraint Programming. Lectures on Concurrency and Petri Nets 2003: 702-741
	2002
7		Mogens Nielsen, Frank D. Valencia: Temporal Concurrent Constraint Programming: Applications and Behavior. Formal and Natural Computing 2002: 298-324
6		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		Catuscia Palamidessi, Frank D. Valencia: A Temporal Concurrent Constraint Programming Calculus. CP 2001: 302-316
3		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		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] [31] [32]
3	Gérard Assayag	[2] [31]
4	Romain Beauxis	[29]
5	Diletta Cacciagrano	[25]
6	Marco Carbone	[30]
7	Flavio Corradini	[25]
8	Stefan S. Dantchev	[16]
9	Juan Francisco Díaz	[1] [2]
10	Moreno Falaschi	[22]
11	Pablo Giambiagi	[13]
12	Cinzia Di Giusto	[19] [23]
13	Julian Gutierrez	[20]
14	Antonín Kucera	[33]
15	Hugo A. López	[18]
16	Peter Bro Miltersen	[33]
17	Mogens Nielsen	[5] [6] [7] [8] [23] [33]
18	Carlos Olarte (Carlos Alberto Olarte)	[21] [22] [26] [27] [31]
19	Catuscia Palamidessi	[4] [5] [6] [15] [17] [18] [19] [21] [22] [24] [29] [33]
20	Jorge A. Pérez (Jorge Andrés Pérez)	[18] [20] [28] [31]
21	Luis Quesada	[2]
22	Camilo Rueda	[1] [2] [11] [12] [18] [20] [28] [31]
23	Vijay A. Saraswat	[17]
24	Gerardo Schneider	[13]
25	Pawel Sobocinski	[30]
26	Gabriel Tamura	[2]
27	Mauricio Toro	[31]
28	Petr Tuma	[33]
29	Cristian Versari	[32]
30	Björn Victor	[17]

Colors in the list of coauthors