Frédéric Servais

According to our database, Frédéric Servais authored at least 15 papers between 2006 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Streamability of nested word transductions.

Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais

Log. Methods Comput. Sci., 2019

On the Computation of the Minimal Coverability Set of Petri Nets.

Pierre-Alain Reynier, Frédéric Servais

Proceedings of the Reachability Problems - 13th International Conference, 2019

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

Visibly pushdown transducers.

Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot

J. Comput. Syst. Sci., 2018

2015

Distributed Streaming with Finite Memory.

Frank Neven, Nicole Schweikardt, Frédéric Servais, Tony Tan

Proceedings of the 18th International Conference on Database Theory, 2015

2013

Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning.

Pierre-Alain Reynier, Frédéric Servais

Fundam. Informaticae, 2013

Expressiveness of Visibly Pushdown Transducers.

Mathieu Caralp, Emmanuel Filiot, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot

Proceedings of the Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers, 2013

From Two-Way to One-Way Finite State Transducers.

Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Definability problems for graph query languages.

Timos Antonopoulos, Frank Neven, Frédéric Servais

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

2012

Visibly Pushdown Transducers with Look-Ahead.

Emmanuel Filiot, Frédéric Servais

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

2011

XEvolve: an XML schema evolution framework.

François Picalausa, Frédéric Servais, Esteban Zimányi

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

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

Properties of Visibly Pushdown Transducers.

Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

2008

Visibly Pushdown Transducers.

Jean-François Raskin, Frédéric Servais

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2006

On the Symbolic Computation of the Hardest Configurations of the RUSH HOUR Game.

Sébastien Collette, Jean-François Raskin, Frédéric Servais

Proceedings of the Computers and Games, 5th International Conference, 2006