Professur für Grundlagen der Programmierung
Organisation: Professur
Organisationsprofil
Ehemalige:r Inhaber:in der Professur: Prof. Dr.-Ing. habil. Dr. h.c./Univ. Szeged Heiko Vogler
Kontakt
- TUD Webseite: https://www.orchid.inf.tu-dresden.de/
Verknüpfte Inhalte und Forschende (öffentliche Profile)
- Forschende (öffentliche Profile)
- Veröffentlichungen
- Zeitschriften
Proven Distributed Memory Parallelization of Particle Methods
Pahlke, J. & Sbalzarini, I. F., 8 Nov. 2024, in: ACM Transactions on Parallel Computing. 11 (2024), 4, 45 S., 17.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., 10 Nov. 2023, in: Theoretical computer science : the journal of the EATCS. 979, 114185.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Constituency Parsing as an Instance of the M-monoid Parsing Problem.
Mörbitz, R., 15 Sept. 2023, S. 79-94. 16 S.Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung
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 : the journal of the EATCS. 919, C, S. 118-143 26 S.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
ACM Transactions on Parallel Computing
ISSNs: 2329-4949
Weitere durchsuchbare ISSN (elektronisch): 2329-4957
Association for Computing Machinery (ACM), USA/Vereinigte Staaten
Scopus-Bewertung (2023): CiteScore 4,1 SJR 0,446 SNIP 1,056
Fachzeitschrift: Zeitschrift
The Journal of Logic and Algebraic Programming
ISSNs: 1567-8326
Weitere durchsuchbare ISSN (elektronisch): 1873-5940
Elsevier, New York [u. a.]
Scopus-Bewertung (2015): CiteScore 5,4 SJR 0,678 SNIP 2,732
Fachzeitschrift: Zeitschrift
Journal of Automata, Languages and Combinatorics
ISSNs: 1430-189X
Weitere durchsuchbare ISSN (elektronisch): 2567-3785
Institut fur Informatik, Justus-Liebig-Universitat Giessen, Deutschland
Scopus-Bewertung (2023): CiteScore 0,7 SJR 0,201 SNIP 0,66
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 (2023): CiteScore 1,7 SJR 0,484 SNIP 0,847
Fachzeitschrift: Zeitschrift
Higher-order and symbolic computation
ISSNs: 1388-3690
Weitere durchsuchbare ISSN (elektronisch): 1573-0557
Springer, Dordrecht [u. a.]
Scopus-Bewertung (2015): CiteScore 1,1 SJR 0,102 SNIP 0,738
Fachzeitschrift: Zeitschrift