Camilo Rueda

	2009
19		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
18		Néstor Cataño, Camilo Rueda: Teaching Formal Methods for the Unconquered Territory. TFM 2009: 2-19
17		Néstor Cataño, Fernando Barraza, Daniel García, Pablo Ortega, Camilo Rueda: A Case Study in JML-Assisted Software Development. Electr. Notes Theor. Comput. Sci. 240: 5-21 (2009)
	2008
16		Jorge A. Pérez, Camilo Rueda: Non-determinism and Probabilities in Timed Concurrent Constraint Programming. ICLP 2008: 677-681
15		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
	2007
14		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
13		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
12		Carlos Olarte, Camilo Rueda: A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems. CLEI Electron. J. 9(2): (2006)
	2005
11		Alberto Delgado, Jorge Andrés Pérez, Camilo Rueda: Implementing an Abstraction Framework for Soft Constraints. SARA 2005: 60-75
10		Carlos Olarte, Camilo Rueda: A stochastic non-deterministic temporal concurrent constraint calculus. SCCC 2005: 30-36
	2004
9		Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda: CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction. CP 2004: 813-814
8		Camilo Rueda, Frank D. Valencia: Non-viability Deductions in Arc-Consistency Computation. ICLP 2004: 343-355
7		Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda: Implementing Semiring-Based Constraints Using Mozart. MOZ 2004: 224-236
6		Juan Francisco Díaz, Gustavo Gutierrez, Carlos Alberto Olarte, Camilo Rueda: Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. MOZ 2004: 263-276
5		Alberto Delgado, Jorge Andrés Pérez, Gustavo Pabón, Rafael Jordan, Juan Francisco Díaz, Camilo Rueda: An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine. MOZ 2004: 317-327
4		Camilo Rueda, Frank D. Valencia: On validity in modelization of musical problems by CCP. Soft Comput. 8(9): 641-648 (2004)
	2001
3		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)
	2000
2		Juan Francisco Díaz, Camilo Rueda: Modelos para la Computación Móvil (Invited paper). Revista Comlombiana de Computación 1(1): 29-45 (2000)
	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	[3]
2	Jesús Aranda	[15] [19]
3	Gérard Assayag	[3] [19]
4	Fernando Barraza	[17]
5	Néstor Cataño	[17] [18]
6	Alberto Delgado	[5] [7] [11]
7	Juan Francisco Díaz	[1] [2] [3] [5] [6] [9]
8	Daniel García	[17]
9	Gustavo Gutierrez	[6] [9]
10	Julian Gutierrez	[14]
11	Rafael Jordan	[5]
12	Hugo A. López	[13]
13	Carlos Olarte (Carlos Alberto Olarte)	[6] [7] [9] [10] [12] [19]
14	Pablo Ortega	[17]
15	Gustavo Pabón	[5]
16	Catuscia Palamidessi	[13]
17	Jorge A. Pérez (Jorge Andrés Pérez)	[5] [7] [11] [13] [14] [15] [16] [19]
18	Luis Quesada	[3]
19	Gabriel Tamura	[3]
20	Mauricio Toro	[19]
21	Frank D. Valencia (Frank Valencia)	[1] [3] [4] [8] [13] [14] [15] [19]

Colors in the list of coauthors