Contributions to Books / Journals

Journal Article (Original Paper)
  • Miyamoto, Kenji; Moser, Georg (2024): Herbrand complexity and the epsilon calculus with equality.
    In: Archive for Mathematical Logic 63, pp. 89 - 118. (DOI) (Web link)

Proceedings Article (Full Paper)
  • Avanzini, Martin; Moser, Georg; Péchoux, Romain; Perdrix, Simon (2024): On the Hardness of Analyzing Quantum Programs Quantitatively.
    In: Weirich, S.: Programming Languages and Systems. 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024. Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II. Cham: Springer (= Lecture Notes in Computer Science, 14577)., ISBN 978-3-031-57266-1, pp. 31 - 58. (DOI) (Web link)

  • Nössig, Albert; Moser, Georg; Hell, Tobias (2024): A Voting Approach for Explainable Classification with Rule Learning.
    In: Maglogiannis, I.; Iliadis, L.; et al: Proceedings of the 20th IFIP WG 12.5 Artificial Intelligence Applications and Innovations (AIAI 2024). Corfu, Greece, June 27–30, 2024, Proceedings, Part IV. Cham: Springer (= IFIP Advances in Information and Communication Technology, 714)., ISBN 978-3-031-63222-8, pp. 155 - 169. (DOI) (Web link)

Presentations at Conferences, Symposia, etc.

Conference Lecture (Upon Registration)
  • 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)

Research Projects

  • Frontull, Samuel; Hell, Tobias Josef: Maschinelle Übersetzung für die ladinische Sprache.
    Istitut Ladin Micurà de rü
    2021-09-01 - 2024-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: ISR 2024. Antrag auf Zuschuss für Veranstaltung International Summer School ISR 2024.
    Leopold-Franzens-Universität Innsbruck - International Relations Office, Staff Incoming
    2024-08-25 - 2024-09-01

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

Nach oben scrollen