Publications 2023

Contributions to Books / Journals

Journal Article (Proceedings Paper)

• Avanzini, Martin; Moser, Georg; Péchoux, Romain; Perdrix, Simon; Zamdzhiev, Vladimir (forthcoming): Quantum Expectation Transformers for Cost Analysis.
  In: Electronic Proceedings in Theoretical Computer Science. (Web link)
  
  

Projects, scholarships and other third-party funds 2023

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
  
  
• Moser, Georg: AUTOSARD. Automated Sublinear Amortised Resource Analysis of Data Structures.
  Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
  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
  
  

Academic Activities and Achievements 2023

Supervision of Student Theses

• Moser, Georg: Maringele, Alexander: Instantiation-based First-Order Theorem Proving with Equality (2015 - 2023).