Luisa Herrmann

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 14

Top Topics

Context Free Grammars

Top Venues

Publications

Luisa Herrmann, Vincent Peth, Sebastian Rudolph
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. CSL (2024)
Luisa Herrmann, Richard Mörbitz
Global One-Counter Tree Automata. CoRR (2024)
Luisa Herrmann, Sebastian Rudolph
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. CoRR (2023)
Luisa Herrmann
Linear weighted tree automata with storage and inverse linear tree homomorphisms. Inf. Comput. 281 (2021)
Luisa Herrmann, Heiko Vogler, Manfred Droste
Weighted automata with storage. Inf. Comput. 269 (2019)
Johannes Osterholzer, Toni Dietze, Luisa Herrmann
Linear context-free tree languages and inverse homomorphisms. Inf. Comput. 269 (2019)
Zoltán Fülöp, Luisa Herrmann, Heiko Vogler
Weighted Regular Tree Grammars with Storage. Discret. Math. Theor. Comput. Sci. 20 (1) (2018)
Zoltán Fülöp, Luisa Herrmann, Heiko Vogler
Weighted Regular Tree Grammars with Storage. CoRR (2017)
Luisa Herrmann
A Medvedev Characterization of Recognizable Tree Series. DLT (2017)
Luisa Herrmann, Heiko Vogler
Weighted Symbolic Automata with Data Storage. DLT (2016)
Johannes Osterholzer, Toni Dietze, Luisa Herrmann
Linear Context-Free Tree Languages and Inverse Homomorphisms. LATA (2016)
Heiko Vogler, Manfred Droste, Luisa Herrmann
A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem. LATA (2016)
Luisa Herrmann, Heiko Vogler
A Chomsky-Schützenberger Theorem for Weighted Automata with Storage. CAI (2015)
Johannes Osterholzer, Toni Dietze, Luisa Herrmann
Linear Context-Free Tree Languages and Inverse Homomorphisms. CoRR (2015)