Professur für Grundlagen der Programmierung
Organisation: Professur
1 - 10 von 33Seitengröße: 10
33 Veröffentlichungen
- 2023
- Veröffentlicht
Hybrid tree automata and the yield theorem for constituent tree automata.
Drewes, F., Mörbitz, R. & Vogler, H., 10 Nov. 2023, in: Theoretical computer science : the journal of the EATCS. 979, 114185.Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Beigetragen › Begutachtung
- Veröffentlicht
Constituency Parsing as an Instance of the M-monoid Parsing Problem.
Mörbitz, R., 2023, S. 79-94.Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung
- 2022
Weighted Tree Automata -- May it be a little more?
Fülöp, Z. & Vogler, H., 11 Dez. 2022.Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)
- Veröffentlicht
Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids.
Droste, M., Fülöp, Z., Kószó, D. & Vogler, H., 5 Juni 2022, in: Theoretical computer science : the journal of the EATCS. 919, C, S. 118-143 26 S.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
- Veröffentlicht
Hybrid Tree Automata and the Yield Theorem for Constituent Tree Automata
Drewes, F., Mörbitz, R. & Vogler, H., 2022, Implementation and Application of Automata: 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings. Caron, P. & Mignot, L. (Hrsg.). Springer, Berlin [u. a.], S. 93-105 13 S. (Lecture Notes in Computer Science, Volume 13266).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
- 2021
- Veröffentlicht
Approximated Determinisation of Weighted Tree Automata
Dörband, F., Stier, K. & Feller, T., 2021, Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings. S. 255-266 12 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
- Veröffentlicht
Crisp-determinization of weighted tree automata over strong bimonoids
Fülöp, Z., Kószó, D. & Vogler, H., 2021, in: Discrete Mathematics and Theoretical Computer Science. 23, 1Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
- Veröffentlicht
Kleene and Büchi Theorems for Weighted Forest Languages over M-Monoids
Dörband, F., 2021, in: Information and Computation. 281, 104765.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
- Veröffentlicht
Linear weighted tree automata with storage and inverse linear tree homomorphisms
Herrmann, L., 2021, in: Information and Computation. 281Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
- Veröffentlicht
Sequentiality of Group-weighted Tree Automata
Dörband, F., Stier, K. & Feller, T., 2021, Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings. Springer, Berlin [u. a.], S. 267-278 12 S. (Lecture Notes in Computer Science, Volume 12368).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung