| |
| 2009 | ||
|---|---|---|
| 2 | EE | Julian Gutiérrez: Logics and Bisimulation Games for Concurrency, Causality and Conflict. FOSSACS 2009: 48-62 |
| 2007 | ||
| 1 | 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) |
| 1 | Jorge A. Pérez (Jorge Andrés Pérez) | [1] |
| 2 | Camilo Rueda | [1] |
| 3 | Frank D. Valencia (Frank Valencia) | [1] |