 | 2009 |
|---|
| 7 |       | Jesús Aranda,
Frank D. Valencia,
Cristian Versari:
On the Expressive Power of Restriction and Priorities in CCS with Replication.
FOSSACS 2009: 242-256 |
| 6 | | 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 |
| 2008 |
|---|
| 5 | | 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 |
| 4 | | Diletta Cacciagrano,
Flavio Corradini,
Jesús Aranda,
Frank D. Valencia:
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus.
Electr. Notes Theor. Comput. Sci. 194(2): 59-84 (2008) |
| 2007 |
|---|
| 3 | | Jesús Aranda,
Cinzia Di Giusto,
Mogens Nielsen,
Frank D. Valencia:
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence.
APLAS 2007: 383-398 |
| 2006 |
|---|
| 2 | | Jesús Aranda,
Cinzia Di Giusto,
Catuscia Palamidessi,
Frank D. Valencia:
On Recursion, Replication and Scope Mechanisms in Process Calculi.
FMCO 2006: 185-206 |
| 2004 |
|---|
| 1 | | Jesús Aranda,
Juan Francisco Díaz,
V. James Ortíz:
The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics.
MOZ 2004: 305-316 |
