Publications 2022

Contributions to Books / Journals

Journal Article (Original Paper)

• Frontull, Samuel; Hell, Tobias (2022): Arbeitsbericht: Maschinelle Übersetzung für das Gadertalische.
  In: Ladinia - Sföi Culturâl di Ladins dles Dolomites XLVI, pp. 203 - 232. (DOI) (Web link)
  
  
• Hofmann, Martin; Leutgeb, Lorenz; Obwaller, David; Moser, Georg; Zuleger, Florian (2022): Type-Based Analysis of Logarithmic Amortised Complexity.
  In: Mathematical Structures in Computer Science 32/6, pp. 794 - 826. (DOI) (Web link)
  
  

Proceedings Article (Full Paper)

• Avanzini, Martin; Moser, Georg; Péchoux, Romain; Perdix, Simon; Zamdzhiev, Vladimir (2022): Quantum Expectation Transformers for Cost Analysis.
  In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022). Haifa Israel, August 2 - 5, 2022. New York: ACM Digital Library., ISBN 978-1-4503-9351-5, No. 10. (DOI) (Web link)
  
  
• Leutgeb, Lorenz; Moser, Georg; Zuleger, Florian (2022): Automated Expected Amortised Cost Analysis of Probabilistic Data Structures.
  In: Shoham, S.; Vizel, Y.: Computer Aided Verification. 34th International Conference, CAV 2022. Haifa, Israel, August 7–10, 2022, Proceedings, Part II. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 13372)., ISBN 978-3-031-13188-2, pp. 70 - 91. (DOI) (Web link)
  
  
• Schneckenreither, Manuel; Moser, Georg (2022): Average Reward Adjusted Discounted Reinforcement Learning.
  In: Proceedings of the Adaptive and Learning Agents Workshop (ALA 2022). 9 & 10 May 2022, Auckland, NZ. Manchester: EasyChair., No. 21. (Web link)
  
  

Other Publications

Electronic Publication (Preprint)

• Nössig, Albert; Hell, Tobias; Moser, Georg (2022): Rule Learning by Modularity. (DOI) (Web link)
  
  

Lectures 2022

Presentations at Conferences, Symposia, etc.

Conference Lecture (Upon Registration)

• Lecturer(s): Avanzini, Martin Co-author(s): Moser, Georg; Péchoux, Romain; Perdrix, Simon: Quantum Expectation Transformers for Cost Analysis.
  Quantum Physics and Logic (QPL 2022), Oxford, 2022-06-30. (Web link)
  
  
• Lecturer(s): Leutgeb, Lorenz Co-author(s): Moser, Georg; Zuleger, Florian: Automated Expected Amortised Cost Analysis of Probabilistic Data Structures.
  34th International Conference on Computer Aided Verification (CAV 2022), Haifa, 2022-08-08. (Web link)
  
  
• Lecturer(s): Schneckenreither, Manuel Co-author(s): Moser, Georg: Average Reward Adjusted Discounted Reinforcement Learning.
  Adaptive and Learning Agents Workshop (ALA 2022), Auckland, online, 2022-05-10. (Web link)
  
  
• Lecturer(s): Zamdzhiev, Vladimir Co-author(s): Avanzini, Martin; Moser, Georg; Péchoux, Romain; Perdrix, Simon: Quantum Expectation Transformers for Cost Analysis.
  37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), Haifa, 2022-08-02. (Web link)
  
  

Lecture at Project Meeting / Research Cooperation Meeting

• Lecturer(s): Frontull, Samuel: Machine Translation for a Low-Resource Language.
  Austauschworkshop: KI-Dienste der Allianz Private Krankenversicherungs-Aktiengesellschaft (APVK) und UIBK, München, 2022-08-03.
  
  
• Lecturer(s): Hell, Tobias; Antholzer, Stephan; Nössig, Albert; Frontull, Samuel: Aktuelle Projektergebnisse, Herausforderungen, Diskussion.
  Austauschworkshop: KI-Dienste der Allianz Private Krankenversicherungs-Aktiengesellschaft (APVK) und UIBK, München, 2022-08-03.
  
  
• Lecturer(s): Nössig, Albert: Rule Learning by Modularity.
  Austauschworkshop: KI-Dienste der Allianz Private Krankenversicherungs-Aktiengesellschaft (APVK) und UIBK, München, 2022-08-03.
  
  

Guest Lectures

Guest Lecture

• Lecturer(s): Frontull, Samuel: Maschinelle Übersetzung für die ladinische Sprache.
  Universität Innsbruck - Institut für Translationswissenschaft, Innsbruck, 2022-06-13. (Web link)
  
  
• Lecturer(s): Moser, Georg: Automated Expected Cost Analysis of Splaying et al.
  The University of Edinburgh, Edinburgh, 2022-10-28. (Web link)
  
  
• Lecturer(s): Moser, Georg: Formal Methods for Quantum Programs.
  Theoriekolloquium des Instituts für Theoretische Physik, Innsbruck, 2022-03-23. (Web link)
  
  

Projects, scholarships and other third-party funds 2022

Research Projects

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

Academic Activities and Achievements 2022

Supervision of Student Theses

• Moser, Georg: Maringele, Alexander: Instantiation-based First-Order Theorem Proving with Equality (2015 - 2023).
  
  
• Netzer, Tim; De Las Cuevas Millan, Gemma; Moser, Georg: Abbasi, Paria: Approximation techniques for positive matrices (2019 - 2022).