Frédéric Servais

MaRDI QIDQ1672008zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Expressiveness of visibly pushdown transducers	2021-06-17	Paper
Expressiveness of visibly pushdown transducers (available as arXiv preprint)	2021-06-17	Paper
On the computation of the minimal coverability set of Petri nets	2019-10-22	Paper
Streamability of nested word transductions (available as arXiv preprint)	2019-05-17	Paper
Visibly pushdown transducers Journal of Computer and System Sciences	2018-09-07	Paper
Finite-State Map-Reduce Computation and Relational Algebra Queries ACM Transactions on Computational Logic	2018-08-20	Paper
From two-way to one-way finite state transducers 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science	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 Fundamenta Informaticae	2013-04-18	Paper
Streamability of nested word transductions	2012-08-31	Paper
Visibly pushdown transducers with look-ahead SOFSEM 2012: Theory and Practice of Computer Science	2012-06-15	Paper
Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning Applications and Theory of Petri Nets	2011-06-29	Paper
Properties of visibly pushdown transducers Mathematical Foundations of Computer Science 2010	2010-09-03	Paper
Visibly Pushdown Transducers Automata, Languages and Programming	2008-08-19	Paper
On the Symbolic Computation of the Hardest Configurations of the RUSH HOUR Game Computers and Games	2008-01-04	Paper

Research outcomes over time

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