Publications 2020

Contributions to Books / Journals

Journal Article (Original Paper)

• Moser, Georg; Schneckenreither, Manuel (2020): Automated amortised resource analysis for term rewrite systems.
  In: SCIENCE OF COMPUTER PROGRAMMING 185, No. 102306. (DOI) (Web link)
  
  

Journal Article (Proceedings Paper)

• Avanzini, Martin; Moser, Georg; Schaper, Michael (2020): A modular cost analysis for probabilistic programs.
  In: Proceedings of the ACM on Programming Languages 4/OOPLSA, No. 172. (DOI) (Web link)
  
  

Lectures 2020

Presentations at Conferences, Symposia, etc.

Conference Lecture (Upon Registration)

• Lecturer(s): Moser, Georg Co-author(s): Avanzini, Martin; Schaper, Michael: A modular cost analysis for probabilistic programs.
  2020 ACM SIGPLAN International conference on Systems, Programming, Languages, and Applications: Software for Humanity (virtual), Chicago, 2020-11-21. (Web link)
  
  

Lecture at Summer-/Winterschool

• Lecturer(s): Moser, Georg: Static Complexity Analysis.
  Caleidoscope: Complexity as a Kaleidoscope. Research school in computational complexity, Paris, 2020-06-15. (Web link)
  
  

Projects, scholarships and other third-party funds 2020

Research Projects

• Moser, Georg: Proof theory for branching quantifiers: CERES and beyond.
  Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
  2018-01-01 - 2021-04-30
  
  

Scholarships

• Nössig, Albert: Inductive Programming and Rule Learning.
  Leopold-Franzens-Universität Innsbruck - Vizerektorat für Forschung, Doktoratsstipendien aus der Nachwuchsförderung der LFU
  2020-05-01 - 2021-04-30
  
  

Academic Activities and Achievements 2020

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).