Luisa Herrmann

Affiliations:
  • Technische Universität Dresden, Germany


According to our database1, Luisa Herrmann authored at least 13 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Non-Global Parikh Tree Automata.
Proceedings of the Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024), 2024

Global One-Counter Tree Automata.
Proceedings of the Implementation and Application of Automata, 2024

Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures.
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.
CoRR, 2023

2021
Weighted Automata with Storage.
PhD thesis, 2021

Linear weighted tree automata with storage and inverse linear tree homomorphisms.
Inf. Comput., 2021

2019
Linear context-free tree languages and inverse homomorphisms.
Inf. Comput., 2019

Weighted automata with storage.
Inf. Comput., 2019

2018
Weighted Regular Tree Grammars with Storage.
Discret. Math. Theor. Comput. Sci., 2018

2017
A Medvedev Characterization of Recognizable Tree Series.
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.
Proceedings of the Language and Automata Theory and Applications, 2016

Weighted Symbolic Automata with Data Storage.
Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015
A Chomsky-Schützenberger Theorem for Weighted Automata with Storage.
Proceedings of the Algebraic Informatics - 6th International Conference, 2015


  Loading...