A Chomsky-Schützenberger theorem for weighted automata with storage L Herrmann, H Vogler International Conference on Algebraic Informatics, 115-127, 2015 | 21 | 2015 |
A weighted MSO logic with storage behaviour and its Büchi-Elgot-Trakhtenbrot theorem H Vogler, M Droste, L Herrmann Language and Automata Theory and Applications: 10th International Conference …, 2016 | 17 | 2016 |
Weighted regular tree grammars with storage Z Fülöp, L Herrmann, H Vogler Discrete Mathematics & Theoretical Computer Science 20 (Automata, Logic and …, 2018 | 11 | 2018 |
Weighted symbolic automata with data storage L Herrmann, H Vogler Developments in Language Theory: 20th International Conference, DLT 2016 …, 2016 | 11 | 2016 |
Weighted automata with storage L Herrmann, H Vogler, M Droste Information and Computation 269, 104447, 2019 | 9 | 2019 |
Linear context-free tree languages and inverse homomorphisms J Osterholzer, T Dietze, L Herrmann Information and Computation 269, 104454, 2019 | 5 | 2019 |
Decidable (Ac) counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures L Herrmann, V Peth, S Rudolph arXiv preprint arXiv:2305.01962, 2023 | 4 | 2023 |
A Medvedev characterization of recognizable tree series L Herrmann Developments in Language Theory: 21st International Conference, DLT 2017 …, 2017 | 2 | 2017 |
Linear weighted tree automata with storage and inverse linear tree homomorphisms L Herrmann Information and Computation 281, 104816, 2021 | 1 | 2021 |
Non-Global Parikh Tree Automata L Herrmann, J Osterholzer arXiv preprint arXiv:2409.06973, 2024 | | 2024 |
Global One-Counter Tree Automata L Herrmann, R Mörbitz International Conference on Implementation and Application of Automata, 166-179, 2024 | | 2024 |
Weighted Regular Tree Grammars with Storage Z Fülöp, L Herrmann, H Vogler arXiv preprint arXiv:1705.06681, 2017 | | 2017 |
Linear context-free tree languages and inverse homomorphisms J Osterholzer, T Dietze, L Herrmann Language and Automata Theory and Applications: 10th International Conference …, 2016 | | 2016 |
Linear context-free tree languages and inverse homomorphisms J Osterholzer, T Dietze, L Herrmann arXiv preprint arXiv:1510.04881, 2015 | | 2015 |
Closure of Regular Tree Languages under Application of the Inverse of YIELD L Herrmann | | |