 | 2011 |
| 3 |  | Marta Arias,
Carles Creus,
Adria Gascón,
Guillem Godoy:
Learning Theory through Videos - A Teaching Experience in a Theoretical Course based on Self-learning Videos and Problem-solving Sessions.
CSEDU (2) 2011: 93-98 |
| 2010 |
| 2 |  | Luis Barguñó,
Carles Creus,
Guillem Godoy,
Florent Jacquemard,
Camille Vacher:
The Emptiness Problem for Tree Automata with Global Constraints.
LICS 2010: 263-272 |
| 2009 |
| 1 |  | Carles Creus,
Guillem Godoy,
Francesc Massanes,
Ashish Tiwari:
Non-linear Rewrite Closure and Weak Normalization.
LICS 2009: 365-374 |