Martin Vu

According to our database, Martin Vu authored at least 11 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Functionality of compositions of top-down tree transducers is decidable.

Sebastian Maneth, Helmut Seidl, Martin Vu

Inf. Comput., January, 2024

Definability problems for tree transducers.

Martin Vu

PhD thesis, 2024

Attributed Tree Transducers for Partial Functions.

Sebastian Maneth, Martin Vu

Proceedings of the Implementation and Application of Automata, 2024

2023

Insertion-Deletion with Substitutions II: About the Role of One-Sided Context.

Martin Vu, Henning Fernau

J. Autom. Lang. Comb., 2023

Deciding Whether an Attributed Translation Can Be Realized by a Top-Down Transducer.

Sebastian Maneth, Martin Vu

Proceedings of the Implementation and Application of Automata, 2023

2022

How to Decide Functionality of Compositions of Top-Down Tree Transducers.

Sebastian Maneth, Helmut Seidl, Martin Vu

Proceedings of the Algebraic Informatics - 9th International Conference, 2022

2021

Adding Matrix Control: Insertion-Deletion Systems with Substitutions III.

Martin Vu, Henning Fernau

Proceedings of the SOFSEM 2021: Theory and Practice of Computer Science, 2021

Definability Results for Top-Down Tree Transducers.

Sebastian Maneth, Helmut Seidl, Martin Vu

Proceedings of the Developments in Language Theory - 25th International Conference, 2021

2020

Insertion-Deletion with Substitutions II.

Martin Vu, Henning Fernau

Proceedings of the Descriptional Complexity of Formal Systems, 2020

Insertion-Deletion Systems with Substitutions I.

Martin Vu, Henning Fernau

Proceedings of the Beyond the Horizon of Computability, 2020

2019

Regulated Tree Automata.

Henning Fernau, Martin Vu

Proceedings of the Descriptional Complexity of Formal Systems, 2019