Martin Vu - RankMe

18 papers B 1C 4Journal 10Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Deciding Whether an Attributed Translation can be Realized by a Top-Down Transducer. Int. J. Found. Comput. Sci. Sebastian Maneth, Martin Vu
2024	C	`conf`	Attributed Tree Transducers for Partial Functions. CIAA Sebastian Maneth, Martin Vu
2024	J	`jnl`	Attributed Tree Transducers for Partial Functions. CoRR Sebastian Maneth, Martin Vu
2024	J	`jnl`	Functionality of compositions of top-down tree transducers is decidable. Inf. Comput. Sebastian Maneth, Helmut Seidl, Martin Vu
2023	C	`conf`	Deciding Whether an Attributed Translation Can Be Realized by a Top-Down Transducer. CIAA Sebastian Maneth, Martin Vu
2023	J	`jnl`	Deciding whether an Attributed Translation can be realized by a Top-Down Transducer. CoRR Sebastian Maneth, Martin Vu
2023	J	`jnl`	Definability Results for Top-Down Tree Transducers. Int. J. Found. Comput. Sci. Sebastian Maneth, Helmut Seidl, Martin Vu
2023	J	`jnl`	Insertion-Deletion with Substitutions II: About the Role of One-Sided Context. J. Autom. Lang. Comb. Martin Vu, Henning Fernau
2022	—	`conf`	How to Decide Functionality of Compositions of Top-Down Tree Transducers. CAI Sebastian Maneth, Helmut Seidl, Martin Vu
2022	J	`jnl`	How to decide Functionality of Compositions of Top-Down Tree Transducers. CoRR Sebastian Maneth, Helmut Seidl, Martin Vu
2022	J	`jnl`	Insertion-deletion systems with substitutions I. Comput. Martin Vu, Henning Fernau
2021	B	`conf`	Adding Matrix Control: Insertion-Deletion Systems with Substitutions III. SOFSEM Martin Vu, Henning Fernau
2021	J	`jnl`	Adding Matrix Control: Insertion-Deletion Systems with Substitutions III. Algorithms Martin Vu, Henning Fernau
2021	C	`conf`	Definability Results for Top-Down Tree Transducers. DLT Sebastian Maneth, Helmut Seidl, Martin Vu
2021	J	`jnl`	Definability Results for Top-Down Tree Transducers. CoRR Sebastian Maneth, Helmut Seidl, Martin Vu
2020	C	`conf`	Insertion-Deletion Systems with Substitutions I. CiE Martin Vu, Henning Fernau
2020	—	`conf`	Insertion-Deletion with Substitutions II. DCFS Martin Vu, Henning Fernau
2019	—	`conf`	Regulated Tree Automata. DCFS Henning Fernau, Martin Vu