Professur für Grundlagen der Programmierung
Organisation: Professur
Verknüpfte Inhalte und Forschende (öffentliche Profile)
- Veröffentlichungen
- Zeitschriften
Weighted Tree Automata -- May it be a little more?
Fülöp, Z. & Vogler, H., 11 Dez. 2022.Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)
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. 919, C, S. 118-143 26 S.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
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
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
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
Journal of Automata, Languages and Combinatorics
ISSNs: 1430-189X
Weitere durchsuchbare ISSN (elektronisch): 567-3785
Giessen : Institut für Informatik, Justus-Liebig-Universität, Deutschland
Scopus-Bewertung (2022): CiteScore 1,4 SJR 0,296 SNIP 0,525
Fachzeitschrift: Zeitschrift
Journal of Functional Programming
ISSNs: 0956-7968
Weitere durchsuchbare ISSN (elektronisch): 1469-7653
Cambridge University Press, Großbritannien/Vereinigtes Königreich
Scopus-Bewertung (2022): CiteScore 1,4 SJR 0,815 SNIP 1,044
Fachzeitschrift: Zeitschrift
Higher-order and symbolic computation
ISSNs: 1388-3690
Weitere durchsuchbare ISSN (elektronisch): 1573-0557
Springer Science + Business Media, Dordrecht
Scopus-Bewertung (2015): CiteScore 1,1 SJR 0,102 SNIP 0,738
Fachzeitschrift: Zeitschrift
Journal of Language Modelling
ISSNs: 2299-856X
Weitere durchsuchbare ISSN (elektronisch): 2299-8470
Institute of Computer Science, Polish Academy of Sciences, Polen
Scopus-Bewertung (2022): CiteScore 1,1 SJR 0,25 SNIP 1,002
In DOAJ indiziert
Fachzeitschrift: Zeitschrift
Fundamenta Informaticae
ISSNs: 0169-2968
Weitere durchsuchbare ISSN (elektronisch): 1875-8681
IOS Press, Amsterdam [u. a.], Niederlande
Scopus-Bewertung (2022): CiteScore 3,2 SJR 0,338 SNIP 0,688
Fachzeitschrift: Zeitschrift