EasyChair Smart SlideDocs/Log in
Author: Georg Moser

This page shows all presentations of this author published in EasyChair Smart Slide.

Quantum Expectation Transformers for Cost Analysis

Quantum Expectation Transformers for Cost Analysis

Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix and Vladimir Zamdzhiev

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures

Lorenz Leutgeb, Georg Moser and Florian Zuleger

MaedMax: A Maximal Ordered Completion Tool

MaedMax: A Maximal Ordered Completion Tool

Sarah Winkler and Georg Moser

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair