Luisa Herrmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2016–2024
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CSL | Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. | Luisa Herrmann, Vincent Peth, Sebastian Rudolph |
| 2017 | DLT | A Medvedev Characterization of Recognizable Tree Series. | Luisa Herrmann |
| 2016 | DLT | Weighted Symbolic Automata with Data Storage. | Luisa Herrmann, Heiko Vogler |
| 2016 | LATA | Linear Context-Free Tree Languages and Inverse Homomorphisms. | Johannes Osterholzer, Toni Dietze, Luisa Herrmann |
| 2016 | LATA | A Weighted MSO Logic with Storage Behaviour and Its Bchi-Elgot-Trakhtenbrot Theorem. | Heiko Vogler, Manfred Droste, Luisa Herrmann |