Martin Vu

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 16

Top Topics

Tree Structures

Knowledge Retrieval

Insertions And Deletions

Top Venues

J. Autom. Lang. Comb.

Int. J. Found. Comput. Sci.

Publications

Sebastian Maneth, Helmut Seidl, Martin Vu
Functionality of compositions of top-down tree transducers is decidable. Inf. Comput. 296 (2024)
Sebastian Maneth, Martin Vu
Attributed Tree Transducers for Partial Functions. CoRR (2024)
Sebastian Maneth, Helmut Seidl, Martin Vu
Definability Results for Top-Down Tree Transducers. Int. J. Found. Comput. Sci. 34 (2&3) (2023)
Sebastian Maneth, Martin Vu
Deciding Whether an Attributed Translation Can Be Realized by a Top-Down Transducer. CIAA (2023)
Martin Vu, Henning Fernau
Insertion-Deletion with Substitutions II: About the Role of One-Sided Context. J. Autom. Lang. Comb. 28 (1-3) (2023)
Sebastian Maneth, Martin Vu
Deciding whether an Attributed Translation can be realized by Transducers. CoRR (2023)
Martin Vu, Henning Fernau
Insertion-deletion systems with substitutions I. Comput. 11 (1) (2022)
Sebastian Maneth, Helmut Seidl, Martin Vu
How to decide Functionality of Compositions of Top-Down Tree Transducers. CoRR (2022)
Sebastian Maneth, Helmut Seidl, Martin Vu
How to Decide Functionality of Compositions of Top-Down Tree Transducers. CAI (2022)
Sebastian Maneth, Helmut Seidl, Martin Vu
Definability Results for Top-Down Tree Transducers. DLT (2021)
Martin Vu, Henning Fernau
Adding Matrix Control: Insertion-Deletion Systems with Substitutions III. SOFSEM (2021)
Sebastian Maneth, Helmut Seidl, Martin Vu
Definability Results for Top-Down Tree Transducers. CoRR (2021)
Martin Vu, Henning Fernau
Adding Matrix Control: Insertion-Deletion Systems with Substitutions III. Algorithms 14 (5) (2021)
Martin Vu, Henning Fernau
Insertion-Deletion with Substitutions II. DCFS (2020)
Martin Vu, Henning Fernau
Insertion-Deletion Systems with Substitutions I. CiE (2020)
Henning Fernau, Martin Vu
Regulated Tree Automata. DCFS (2019)