Carlos Olarte

Carlos Alberto Olarte

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

1Alberto Delgado [2]
2Juan Francisco Díaz [1] [3]
3Moreno Falaschi [7]
4Gustavo Gutierrez [1] [3]
5Catuscia Palamidessi [6] [7]
6Jorge A. Pérez (Jorge Andrés Pérez) [2]
7Camilo Rueda [1] [2] [3] [4] [5]
8Frank D. Valencia (Frank Valencia) [6] [7] [8] [9]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)