F
Frédéric Servais
Researcher at University of Hasselt
Publications - 23
Citations - 351
Frédéric Servais is an academic researcher from University of Hasselt. The author has contributed to research in topics: Pushdown automaton & Nested word. The author has an hindex of 10, co-authored 23 publications receiving 334 citations. Previous affiliations of Frédéric Servais include Université libre de Bruxelles & École Normale Supérieure.
Papers
More filters
Journal Article
Visibly pushdown transducers
TL;DR: This work studies properties of visibly pushdown transducers and identifies subclasses with useful properties like decidability of type checking as well as preservation of regularity of visible pushdown languages.
Book ChapterDOI
Properties of visibly pushdown transducers
TL;DR: It is proved that functionality is decidable in PSpace for visibly pushdown transducers via a pumping argument: if a word with two outputs has a sufficiently large nesting depth, there exists a nested word withTwo outputs whose nesting depth is strictly smaller.
Proceedings ArticleDOI
From Two-Way to One-Way Finite State Transducers
TL;DR: This paper addresses the following definability problem: given a function defined by a two- way finite state transducer, is it definable by a one-way finite stateTransductions, and shows that this problem is decidable.
Journal ArticleDOI
Minimal coverability set for petri nets: Karp and Miller algorithm with pruning
TL;DR: The MP algorithm can be viewed as the MCT algorithm with a slightly more aggressive pruning strategy which ensures completeness, and experimental results show that this algorithm is a strong improvement over the K&M algorithm.
Book ChapterDOI
Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning
TL;DR: The MP algorithm can be viewed as the MCT algorithm with a slightly more aggressive pruning strategy which ensures completeness, and experimental results show that this algorithm is a strong improvement over the K&M algorithm.