Luisa Herrmann

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