The Emptiness Problem for Tree Automata with Global Constraints. - Luis Barguñó; Carles Creus; Guillem Godoy; Florent Jacquemard; Camille Vacher (LICS, 2010)

Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories - Luis Barguñó; Guillem Godoy; Eduard Huntingford; Ashish Tiwari 001 (Log. Methods Comput. Sci., 2010)

ParallelGDB: a parallel graph database based on cache specialization. - Luis Barguñó; Victor Muntés-Mulero; David Dominguez-Sal; Patrick Valduriez (IDEAS, 2011)

Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories - Luis Barguñó; Carles Creus; Guillem Godoy; Florent Jacquemard; Camille Vacher (Log. Methods Comput. Sci., 2013)