Professur für Grundlagen der Programmierung
Organisation: Professur
21 - 30 von 33Seitengröße: 10
33 Veröffentlichungen
- 2019
- Veröffentlicht
Rational Weighted Tree Languages with Storage and the Kleene-Goldstine Theorem
Fülöp, Z. & Vogler, H., 2019, Algebraic Informatics: 8th International Conference, CAI 2019, Nis, Serbia, June 30-July 4,2019, Proceedings. Springer, Berlin [u. a.], S. 138-150 13 S. (Lecture Notes in Computer Science, Volume 11545).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
- Veröffentlicht
Weighted Automata with Storage
Droste, M., Herrmann, L. & Vogler, H., 2019, in: Information and Computation. 269, S. 1-29 29 S.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
- Veröffentlicht
Weighted Iterated Linear Control
Vogler, H. & Fülöp, Z., 2019, in: Acta Informatica. 56, 5, S. 447-469 23 S.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
- Veröffentlicht
Weighted parsing for grammar-based language models
Mörbitz, R. & Vogler, H., 2019, Proceedings of the 14th International Conference on Finite-State Methods and Natural Language Processing (FSMNLP 2019). The Association for Computational Linguistics, S. 46–55Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
- Veröffentlicht
Weighted Parsing for Grammar-Based Language Models over Multioperator Monoids
Mörbitz, R. & Vogler, H., 2019, 89 S.Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)
- 2018
- Veröffentlicht
Characterizations of recognizable weighted tree languages by logic and bimorphisms
Fülöp, Z. & Vogler, H., 2018, in: Soft Computing. 22, 4, S. 1035–1046Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
- Veröffentlicht
Generic refinement of expressive grammar formalisms with an application to discontinuous constituent parsing
Gebhardt, K., 2018, Proceedings of the 27th International Conference on Computational Linguistics. Santa Fe, New Mexico, USA: The Association for Computational Linguistics, S. 3049-3063 15 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
- Veröffentlicht
Weighted Regular Tree Grammars with Storage
Vogler, H., Fülöp, Z. & Herrmann, L., 2018, in: Discrete Mathematics and Theoretical Computer Science. 20, 1Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
- 2017
- Veröffentlicht
A Medvedev Characterization of Recognizable Tree Series - Lecture Notes in Computer Science
Herrmann, L., 2017, Developments in Language Theory: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings. Springer, Berlin [u. a.], S. 210-221 12 S. (Lecture Notes in Computer Science, Volume 10396).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
- Veröffentlicht
Approximation of Weighted Automata with Storage - Electronic Proceedings in Theoretical Computer Science
Denkinger, T., 2017, Proceedings of the Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September. S. 91-105 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Band 256).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung