| 2013 | ||
|---|---|---|
| j2 | Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher: Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories. Logical Methods in Computer Science 9(2) (2013) | |
| 2011 | ||
| c2 | Luis Barguñó, Victor Muntés-Mulero, David Dominguez-Sal, Patrick Valduriez: ParallelGDB: a parallel graph database based on cache specialization. IDEAS 2011: 162-169 | |
| 2010 | ||
| j1 | Luis Barguñó, Guillem Godoy, Eduard Huntingford, Ashish Tiwari: Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories. Logical Methods in Computer Science 6(3) (2010) | |
| c1 | Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher: The Emptiness Problem for Tree Automata with Global Constraints. LICS 2010: 263-272 | |
| 1 | Carles Creus | |
| 2 | David Dominguez-Sal | |
| 3 | Guillem Godoy | |
| 4 | Eduard Huntingford | |
| 5 | Florent Jacquemard | |
| 6 | Victor Muntés-Mulero | |
| 7 | Ashish Tiwari | |
| 8 | Camille Vacher | |
| 9 | Patrick Valduriez |
Colors in the list of coauthors
Last update Sat May 25 22:02:08 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page