Frédéric Servais

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