Carlos Olarte

Carlos Alberto Olarte

	2011
14		Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia: Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. PACBB 2011: 321-328
	2010
13		Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi: Compositional modelling of signalling pathways in timed concurrent constraint programming. BCB 2010: 414-417
	2009
12		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
11		Hugo A. López, Carlos Olarte, Jorge A. Pérez: Towards a Unified Framework for Declarative Structured Communications PLACES 2009: 1-15
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	[12]
2	Gérard Assayag	[12]
3	Davide Chiarugi	[13]
4	Alberto Delgado	[2]
5	Juan Francisco Díaz	[1] [3]
6	Moreno Falaschi	[7] [10] [13]
7	Gustavo Gutierrez	[1] [3]
8	Diana Hermith	[14]
9	Hugo A. López	[11]
10	Catuscia Palamidessi	[6] [7] [10] [13]
11	Jorge A. Pérez (Jorge Andrés Pérez)	[2] [11] [12]
12	Camilo Rueda	[1] [2] [3] [4] [5] [12] [14]
13	Mauricio Toro	[12]
14	Frank D. Valencia (Frank Valencia)	[6] [7] [8] [9] [12] [14]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page