Theoretical Computer Science

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)

  • Avanzini, Martin; Moser, Georg; Schaper, Michael (2023): Automated Expected Value Analysis of Recursive Programs.
    In: Proceedings of the ACM on Programming Languages 7, pp. 1050 - 1072. (DOI) (Web link)

Proceedings Article (Full Paper)
  • Frontull, Samuel; Moser, Georg; van Oostrom, Vincent (2023): α-Avoidance.
    In: Gaboardi, M.; van Raamsdonk, F.: Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 260)., ISBN 978-3-95977-277-8, No. 22. (DOI) (Web link)