Theoretical Computer Science

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)