Chair of Foundations of Programming
Organisational unit: Chair
Contact
- TUD website: https://www.orchid.inf.tu-dresden.de/index.en/
21 - 30 out of 33Page size: 10
33 Research output
- 2019
- Published
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.], p. 138-150 13 p. (Lecture Notes in Computer Science, Volume 11545).Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
- Published
Weighted Automata with Storage
Droste, M., Herrmann, L. & Vogler, H., 2019, In: Information and Computation. 269, p. 1-29 29 p.Research output: Contribution to journal › Research article › Contributed › peer-review
- Published
Weighted Iterated Linear Control
Vogler, H. & Fülöp, Z., 2019, In: Acta Informatica. 56, 5, p. 447-469 23 p.Research output: Contribution to journal › Research article › Contributed › peer-review
- Published
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, p. 46–55Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
- Published
Weighted Parsing for Grammar-Based Language Models over Multioperator Monoids
Mörbitz, R. & Vogler, H., 2019, 89 p.Research output: Preprint/documentation/report › Preprint
- 2018
- Published
Characterizations of recognizable weighted tree languages by logic and bimorphisms
Fülöp, Z. & Vogler, H., 2018, In: Soft Computing. 22, 4, p. 1035–1046Research output: Contribution to journal › Research article › Contributed › peer-review
- Published
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, p. 3049-3063 15 p.Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
- Published
Weighted Regular Tree Grammars with Storage
Vogler, H., Fülöp, Z. & Herrmann, L., 2018, In: Discrete Mathematics and Theoretical Computer Science. 20, 1Research output: Contribution to journal › Research article › Contributed › peer-review
- 2017
- Published
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.], p. 210-221 12 p. (Lecture Notes in Computer Science, Volume 10396).Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
- Published
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. p. 91-105 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 256).Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review