| 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 |
