(Co-)Edited Journals and Book Series

(Co-)Editorship of Book Series and Journals
  • Felty, Amy; Moser, Georg: Editor of Special Issue - Logical Methods in Computer Science, 2022-09-01 on-going.

Contributions to Books / Journals

Journal Article (Proceedings Paper)
  • Schneckenreither, M.; Moser, G (online first): Average reward adjusted discounted reinforcement learning.
    In: Neural computing & applications SI:Adaptive and Learning Agents 2022 (AL 2022). (DOI) (Web link)

Research Projects

  • Frontull, Samuel; Hell, Tobias Josef: Maschinelle Übersetzung für die ladinische Sprache.
    Istitut Ladin Micurà de rü
    2021-09-01 - 2025-03-31

  • Moser, Georg: Intelligenter Schreibassistent für die ladinische Sprache und Erweiterung des maschinellen Übersetzers für das Grödner Ladinisch.
    Istitut Ladin Micurà de rü
    2025-02-01 - 2027-12-31

  • Moser, Georg: Kooperation MED-EL - LMQL.
    Med-El Elektromedizinische Geräte Gesellschaft m.b.H.
    2024-07-01 - 2025-06-30

  • Moser, Georg: AUTOSARD. Automated Sublinear Amortised Resource Analysis of Data Structures.
    Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
    2023-04-01 - 2026-03-31

Scholarships

  • Moser, Georg: Royal Society International Exchange Award.
    The Royal Society of London for Improving Natural Knowledge
    2023-03-31 - 2025-03-30

Presentations at Conferences, Symposia, etc.

Conference Lecture (Upon Registration)
  • Lecturer(s): Avanzini, Martin Co-author(s): Barthe, Gilles; Grégoire, Benjamin; Moser, Georg; Vanoni, Gabriel: Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs.
    Object-oriented Programming, Systems, Languages, and Applications (OOPSLA 2024), Pasadena, 2024-10-24. (Web link)

  • Lecturer(s): Beckmann, Arnold Co-author(s): Moser, Georg: On Complexity of Confluence and Church-Rosser Proofs.
    49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024), Bratislava, 2024-08-30. (Web link)

  • Lecturer(s): Frontull, Samuel Co-author(s): Moser, Georg: Rule-Based, Neural and LLM Back-Translation: Comparative Insights from a Variant of Ladin.
    7th Workshop on Technologies for Machine Translation of Low-Resource Languages (LoResMT 2024), Bangkok, 2024-08-15. (Web link)

  • Lecturer(s): Nössig, Albert Co-author(s): Moser, Georg; Hell, Tobias: A Voting Approach for Explainable Classification with Rule Learning.
    25th International Conference on Engineering Applications of Neural Networks (EANN / EAAAI 2024), Korfu, 2024-06-29. (Web link)

  • Lecturer(s): Thiemann, René Co-author(s): Middeldorp, Aart; Moser, Georg; Baumgartner, Gernot; Ingenhaeff, Martina: International School on Rewriting (ISR).
    IFIP Working Group 1.6 on Term Rewriting, Nancy, 2024-07-01. (Web link)

Session Chairperson / Discussant
  • Frontull, Samuel: Member of the penal discussion: The added value of the language industry.
    8th Forum of European Minority Regions, San Sebastian/Donostia, 2024-11-26. (Web link)

Nach oben scrollen