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
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

Linear Context-Free Tree Languages and Inverse Homomorphisms.
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...