EasyChair Smart SlideDocs/Log in
Author: Marcel Hark

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

Polynomial Loops: Beyond Termination

Polynomial Loops: Beyond Termination

Marcel Hark, Florian Frohn and Jürgen Giesl

Computing Expected Runtimes for Constant Probability Programs

Computing Expected Runtimes for Constant Probability Programs

Jürgen Giesl, Peter Giesl and Marcel Hark

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