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