2008 |
16 | EE | Jorge A. Pérez,
Camilo Rueda:
Non-determinism and Probabilities in Timed Concurrent Constraint Programming.
ICLP 2008: 677-681 |
15 | EE | Jesús Aranda,
Jorge A. Pérez,
Camilo Rueda,
Frank D. Valencia:
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming.
ICLP 2008: 682-686 |
2007 |
14 | EE | Julian Gutiérrez,
Jorge A. Pérez,
Camilo Rueda,
Frank D. Valencia:
Timed Concurrent Constraint Programming for Analysing Biological Systems.
Electr. Notes Theor. Comput. Sci. 171(2): 117-137 (2007) |
2006 |
13 | EE | Hugo A. López,
Catuscia Palamidessi,
Jorge Andrés Pérez,
Camilo Rueda,
Frank D. Valencia:
A Declarative Framework for Security: Secure Concurrent Constraint Programming.
ICLP 2006: 449-450 |
12 | EE | Carlos Olarte,
Camilo Rueda:
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems.
CLEI Electron. J. 9(2): (2006) |
2005 |
11 | EE | Alberto Delgado,
Jorge Andrés Pérez,
Camilo Rueda:
Implementing an Abstraction Framework for Soft Constraints.
SARA 2005: 60-75 |
10 | EE | Carlos Olarte,
Camilo Rueda:
A stochastic non-deterministic temporal concurrent constraint calculus.
SCCC 2005: 30-36 |
2004 |
9 | 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 |
8 | EE | Camilo Rueda,
Frank D. Valencia:
Non-viability Deductions in Arc-Consistency Computation.
ICLP 2004: 343-355 |
7 | EE | Alberto Delgado,
Carlos Alberto Olarte,
Jorge Andrés Pérez,
Camilo Rueda:
Implementing Semiring-Based Constraints Using Mozart.
MOZ 2004: 224-236 |
6 | 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 |
5 | EE | Alberto Delgado,
Jorge Andrés Pérez,
Gustavo Pabón,
Rafael Jordan,
Juan Francisco Díaz,
Camilo Rueda:
An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine.
MOZ 2004: 317-327 |
4 | EE | Camilo Rueda,
Frank D. Valencia:
On validity in modelization of musical problems by CCP.
Soft Comput. 8(9): 641-648 (2004) |
2001 |
3 | | Camilo Rueda,
Gloria Alvarez,
Luis Quesada,
Gabriel Tamura,
Frank D. Valencia,
Juan Francisco Díaz,
Gérard Assayag:
Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language.
Constraints 6(1): 21-52 (2001) |
2000 |
2 | EE | Juan Francisco Díaz,
Camilo Rueda:
Modelos para la Computación Móvil (Invited paper).
Revista Comlombiana de Computación 1(1): 29-45 (2000) |
1998 |
1 | EE | Juan Francisco Díaz,
Camilo Rueda,
Frank D. Valencia:
Pi+- Calculus: A Calculus for Concurrent Processes with Constraints.
CLEI Electron. J. 1(2): (1998) |