Luis Barguñó

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Regular Tree Languages

Monadic Second Order Logic

Constraint Programming

Finite Automaton

Top Venues

Log. Methods Comput. Sci.

Publications

Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher
Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories Log. Methods Comput. Sci. 9 (2) (2013)
Luis Barguñó, Victor Muntés-Mulero, David Dominguez-Sal, Patrick Valduriez
: a parallel graph database based on cache specialization. IDEAS (2011)
Luis Barguñó, Guillem Godoy, Eduard Huntingford, Ashish Tiwari
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories Log. Methods Comput. Sci. 6 (3) (2010)
Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher
The Emptiness Problem for Tree Automata with Global Constraints. LICS (2010)