Carlos Alberto Olarte
List of publications from the DBLP Bibliography Server - FAQ
| 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 | |
| 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] |