Frédéric Servais

Publication Activity (10 Years)

Years Active: 2006-2019
Publications (10 Years): 6

Top Topics

Relational Algebra

Top Venues

J. Comput. Syst. Sci.

Fundam. Informaticae

Publications

Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
Streamability of nested word transductions. Log. Methods Comput. Sci. 15 (2) (2019)
Pierre-Alain Reynier, Frédéric Servais
On the Computation of the Minimal Coverability Set of Petri Nets. RP (2019)
Frank Neven, Nicole Schweikardt, Frédéric Servais, Tony Tan
Finite-State Map-Reduce Computation and Relational Algebra Queries. ACM Trans. Comput. Log. 19 (2) (2018)
Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot
Visibly pushdown transducers. J. Comput. Syst. Sci. 97 (2018)
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
Streamability of nested word transductions. CoRR (2017)
Frank Neven, Nicole Schweikardt, Frédéric Servais, Tony Tan
Distributed Streaming with Finite Memory. ICDT (2015)
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
From Two-Way to One-Way Finite State Transducers CoRR (2013)
Pierre-Alain Reynier, Frédéric Servais
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning. Fundam. Informaticae 122 (1-2) (2013)
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
From Two-Way to One-Way Finite State Transducers. LICS (2013)
Mathieu Caralp, Emmanuel Filiot, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot
Expressiveness of Visibly Pushdown Transducers. TTATT (2013)
Timos Antonopoulos, Frank Neven, Frédéric Servais
Definability problems for graph query languages. ICDT (2013)
Emmanuel Filiot, Frédéric Servais
Visibly Pushdown Transducers with Look-Ahead. SOFSEM (2012)
Pierre-Alain Reynier, Frédéric Servais
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning. Petri Nets (2011)
François Picalausa, Frédéric Servais, Esteban Zimányi
XEvolve: an XML schema evolution framework. SAC (2011)
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
Streamability of Nested Word Transductions. FSTTCS (2011)
Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot
Properties of Visibly Pushdown Transducers. MFCS (2010)
Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot
On Functionality of Visibly Pushdown Transducers CoRR (2010)
Jean-François Raskin, Frédéric Servais
Visibly Pushdown Transducers. ICALP (2) (2008)
Sébastien Collette, Jean-François Raskin, Frédéric Servais
On the Symbolic Computation of the Hardest Configurations of the RUSH HOUR Game. Computers and Games (2006)