| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 6 |      | Julian Gutierrez: Concurrent Logic Games on Partial Orders. WoLLIC 2011: 146-160 |
| 5 | | Julian Gutierrez, Julian C. Bradfield: Model-checking games for fixpoint logics with partial order models. Inf. Comput. 209(5): 766-781 (2011) |
| 2010 | ||
| 4 | | Julian Gutierrez: Logics and Games for True Concurrency CoRR abs/1011.1172: (2010) |
| 2009 | ||
| 3 | | Julian Gutierrez, Julian C. Bradfield: Model-Checking Games for Fixpoint Logics with Partial Order Models. CONCUR 2009: 354-368 |
| 2 | | Julian Gutierrez: Logics and Bisimulation Games for Concurrency, Causality and Conflict. FOSSACS 2009: 48-62 |
| 2007 | ||
| 1 | | 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) |
| 1 | Julian C. Bradfield | [3] [5] |
| 2 | Jorge A. Pérez (Jorge Andrés Pérez) | [1] |
| 3 | Camilo Rueda | [1] |
| 4 | Frank D. Valencia (Frank Valencia) | [1] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page