On the Symbolic Computation of the Hardest Configurations of the RUSH HOUR Game. - Sébastien Collette; Jean-François Raskin; Frédéric Servais (Computers and Games, 2006)

Visibly Pushdown Transducers. - Jean-François Raskin; Frédéric Servais (ICALP (2), 2008)

Properties of Visibly Pushdown Transducers. - Emmanuel Filiot; Jean-François Raskin; Pierre-Alain Reynier; Frédéric Servais; Jean-Marc Talbot (MFCS, 2010)

On Functionality of Visibly Pushdown Transducers - Emmanuel Filiot; Jean-François Raskin; Pierre-Alain Reynier; Frédéric Servais; Jean-Marc Talbot (CoRR, 2010)

XEvolve: an XML schema evolution framework. - François Picalausa; Frédéric Servais; Esteban Zimányi (SAC, 2011)

Visibly Pushdown Transducers with Look-Ahead. - Emmanuel Filiot; Frédéric Servais (SOFSEM, 2012)

Definability problems for graph query languages. - Timos Antonopoulos; Frank Neven; Frédéric Servais (ICDT, 2013)

From Two-Way to One-Way Finite State Transducers. - Emmanuel Filiot; Olivier Gauwin; Pierre-Alain Reynier; Frédéric Servais (LICS, 2013)

Expressiveness of Visibly Pushdown Transducers. - Mathieu Caralp; Emmanuel Filiot; Pierre-Alain Reynier; Frédéric Servais; Jean-Marc Talbot (TTATT, 2013)

Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning. - Pierre-Alain Reynier; Frédéric Servais (Fundam. Informaticae, 2013)

Distributed Streaming with Finite Memory. - Frank Neven; Nicole Schweikardt; Frédéric Servais; Tony Tan (ICDT, 2015)

Visibly pushdown transducers. - Emmanuel Filiot; Jean-François Raskin; Pierre-Alain Reynier; Frédéric Servais; Jean-Marc Talbot (J. Comput. Syst. Sci., 2018)

Finite-State Map-Reduce Computation and Relational Algebra Queries. - Frank Neven; Nicole Schweikardt; Frédéric Servais; Tony Tan (ACM Trans. Comput. Log., 2018)

On the Computation of the Minimal Coverability Set of Petri Nets. - Pierre-Alain Reynier; Frédéric Servais (RP, 2019)

Streamability of nested word transductions. - Emmanuel Filiot; Olivier Gauwin; Pierre-Alain Reynier; Frédéric Servais (Log. Methods Comput. Sci., 2019)