Carlos Olarte

Carlos Alberto Olarte

	2009
11		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
10		Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi: A framework for abstract interpretation of timed concurrent constraint programs. PPDP 2009: 207-218
	2008
9		Carlos Olarte, Frank D. Valencia: The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. PPDP 2008: 8-19
8		Carlos Olarte, Frank D. Valencia: Universal concurrent constraint programing: symbolic semantics and applications to security. SAC 2008: 145-150
	2007
7		Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia: Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP 2007: 271-285
6		Carlos Olarte, Catuscia Palamidessi, Frank Valencia: Universal Timed Concurrent Constraint Programming. ICLP 2007: 464-465
	2006
5		Carlos Olarte, Camilo Rueda: A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems. CLEI Electron. J. 9(2): (2006)
	2005
4		Carlos Olarte, Camilo Rueda: A stochastic non-deterministic temporal concurrent constraint calculus. SCCC 2005: 30-36
	2004
3		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
2		Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda: Implementing Semiring-Based Constraints Using Mozart. MOZ 2004: 224-236
1		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

Coauthor Index

1	Jesús Aranda	[11]
2	Gérard Assayag	[11]
3	Alberto Delgado	[2]
4	Juan Francisco Díaz	[1] [3]
5	Moreno Falaschi	[7] [10]
6	Gustavo Gutierrez	[1] [3]
7	Catuscia Palamidessi	[6] [7] [10]
8	Jorge A. Pérez (Jorge Andrés Pérez)	[2] [11]
9	Camilo Rueda	[1] [2] [3] [4] [5] [11]
10	Mauricio Toro	[11]
11	Frank D. Valencia (Frank Valencia)	[6] [7] [8] [9] [11]