Frédéric Servais

Available identifiers

zbMath Open servais.fredericMaRDI QIDQ1672008

List of research outcomes

Publication	Date of Publication	Type
Expressiveness of visibly pushdown transducers	2021-06-17	Paper
On the computation of the minimal coverability set of Petri nets	2019-10-22	Paper
Streamability of nested word transductions	2019-05-17	Paper
Visibly pushdown transducers	2018-09-07	Paper
Finite-State Map-Reduce Computation and Relational Algebra Queries	2018-08-20	Paper
From two-way to one-way finite state transducers	2017-07-03	Paper
Distributed streaming with finite memory	2017-06-13	Paper
Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning	2013-04-18	Paper
Streamability of nested word transductions	2012-08-31	Paper
Visibly pushdown transducers with look-ahead	2012-06-15	Paper
Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning	2011-06-29	Paper
Properties of visibly pushdown transducers	2010-09-03	Paper
Visibly Pushdown Transducers	2008-08-19	Paper
On the Symbolic Computation of the Hardest Configurations of the RUSH HOUR Game	2008-01-04	Paper

Research outcomes over time

This page was built for person: Frédéric Servais