2008 |
8 | EE | Jorge A. Pérez,
Camilo Rueda:
Non-determinism and Probabilities in Timed Concurrent Constraint Programming.
ICLP 2008: 677-681 |
7 | 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 |
6 | EE | Ivan Lanese,
Jorge A. Pérez,
Davide Sangiorgi,
Alan Schmitt:
On the Expressiveness and Decidability of Higher-Order Process Calculi.
LICS 2008: 145-155 |
2007 |
5 | 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 |
4 | 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 |
2005 |
3 | EE | Alberto Delgado,
Jorge Andrés Pérez,
Camilo Rueda:
Implementing an Abstraction Framework for Soft Constraints.
SARA 2005: 60-75 |
2004 |
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 | 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 |