Crisp-determinization of weighted tree automata over strong bimonoids
Fülöp, Zoltán, Kószó, Dávid, Vogler, Heiko
Published in Discrete mathematics and theoretical computer science (01.01.2021)
Published in Discrete mathematics and theoretical computer science (01.01.2021)
Get full text
Journal Article
Weighted Regular Tree Grammars with Storage
Zoltán Fülöp, Luisa Herrmann, Heiko Vogler
Published in Discrete mathematics and theoretical computer science (01.01.2018)
Published in Discrete mathematics and theoretical computer science (01.01.2018)
Get full text
Journal Article
A Buchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage
Engelfriet, Joost, Vogler, Heiko
Published in Discrete Mathematics and Theoretical Computer Science (01.08.2020)
Published in Discrete Mathematics and Theoretical Computer Science (01.08.2020)
Get full text
Journal Article
Hybrid tree automata and the yield theorem for constituent tree automata
Drewes, Frank, Mörbitz, Richard, Vogler, Heiko
Published in Theoretical computer science (10.11.2023)
Published in Theoretical computer science (10.11.2023)
Get full text
Journal Article
Rational weighted tree languages with storage
Dörband, Frederic, Fülöp, Zoltán, Vogler, Heiko
Published in Information and computation (01.12.2024)
Published in Information and computation (01.12.2024)
Get full text
Journal Article
Preface
Droste, Manfred, Maletti, Andreas, Vogler, Heiko
Published in Information and computation (01.01.2022)
Published in Information and computation (01.01.2022)
Get full text
Journal Article
A B\"uchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage
Joost Engelfriet, Heiko Vogler
Published in Discrete mathematics and theoretical computer science (01.08.2020)
Published in Discrete mathematics and theoretical computer science (01.08.2020)
Get full text
Journal Article
Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids
Droste, Manfred, Fülöp, Zoltán, Kószó, Dávid, Vogler, Heiko
Published in Theoretical computer science (05.06.2022)
Published in Theoretical computer science (05.06.2022)
Get full text
Journal Article
Weighted automata with storage
Herrmann, Luisa, Vogler, Heiko, Droste, Manfred
Published in Information and computation (01.12.2019)
Published in Information and computation (01.12.2019)
Get full text
Journal Article
Hybrid Tree Automata and the Yield Theorem for Constituent Tree Automata
Drewes, Frank, Mörbitz, Richard, Vogler, Heiko
Published in Implementation and Application of Automata (2022)
Published in Implementation and Application of Automata (2022)
Get full text
Book Chapter
Conference Proceeding