| * | 2009 |
|---|
| 10 | 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 |
| 9 | EE | Cinzia Di Giusto,
Jorge A. Pérez,
Gianluigi Zavattaro:
On the Expressiveness of Forwarding in Higher-Order Communication.
ICTAC 2009: 155-169 |
| 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 Gutierrez,
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 |
