EDBT 2026 Demo / reviewers in the wild / expert
Martin Vu
dblp:244/2650
· DBLP profile ↗
6ranked-venue papers
2as first author
5since 2021 · last 2024
0000-0002-3581-7227ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 1 first-author · 4 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Attributed Tree Transducers for Partial Functions
Sebastian Maneth, Martin Vu |
CIAA | 2 |
| 2024 | Functionality of compositions of top-down tree transducers is decidableabstractWe prove that functionality of compositions of top-down tree transducers is decidable by reducing the problem to the functionality of one top-down tree transducer with look-ahead. Sebastian Maneth, Helmut Seidl, Martin Vu |
Inf. Comput. | 3 |
| 2023 | Deciding Whether an Attributed Translation Can Be Realized by a Top-Down Transducer
Sebastian Maneth, Martin Vu |
CIAA | 2 |
| 2021 | Definability Results for Top-Down Tree Transducers
Sebastian Maneth, Helmut Seidl, Martin Vu |
DLT | 3 |
| 2021 | Adding Matrix Control: Insertion-Deletion Systems with Substitutions III
Martin Vu, Henning Fernau |
SOFSEM | 1 |
| 2020 | Insertion-Deletion Systems with Substitutions I
Martin Vu, Henning Fernau |
CiE | 1 |