Martin Vu

According to our database, Martin Vu authored at least 10 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

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

Definability Results for Top-Down Tree Transducers.

Sebastian Maneth, Helmut Seidl, Martin Vu

Int. J. Found. Comput. Sci., 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

Insertion-deletion systems with substitutions I.

Martin Vu, Henning Fernau

Comput., 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

Algorithms, 2021

2020

Insertion-Deletion with Substitutions II.

Martin Vu, Henning Fernau

Proceedings of the Descriptional Complexity of Formal Systems, 2020

2019

Regulated Tree Automata.

Henning Fernau, Martin Vu

Proceedings of the Descriptional Complexity of Formal Systems, 2019