Luisa Herrmann

According to our database, Luisa Herrmann authored at least 11 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

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

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures.

Luisa Herrmann, Sebastian Rudolph

CoRR, 2023

2021

Weighted Automata with Storage.

Luisa Herrmann

PhD thesis, 2021

Linear weighted tree automata with storage and inverse linear tree homomorphisms.

Luisa Herrmann

Inf. Comput., 2021

2019

Linear context-free tree languages and inverse homomorphisms.

Johannes Osterholzer, Toni Dietze, Luisa Herrmann

Inf. Comput., 2019

Weighted automata with storage.

Luisa Herrmann, Heiko Vogler, Manfred Droste

Inf. Comput., 2019

2018

Weighted Regular Tree Grammars with Storage.

Zoltán Fülöp, Luisa Herrmann, Heiko Vogler

Discret. Math. Theor. Comput. Sci., 2018

2017

A Medvedev Characterization of Recognizable Tree Series.

Luisa Herrmann

Proceedings of the Developments in Language Theory - 21st International Conference, 2017

2016

A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem.

Heiko Vogler, Manfred Droste, Luisa Herrmann

Proceedings of the Language and Automata Theory and Applications, 2016

Weighted Symbolic Automata with Data Storage.

Luisa Herrmann, Heiko Vogler

Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015

A Chomsky-Schützenberger Theorem for Weighted Automata with Storage.

Luisa Herrmann, Heiko Vogler

Proceedings of the Algebraic Informatics - 6th International Conference, 2015