Marcel Hark
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2019–2021
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | TACAS | Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes. | Fabian Meyer, Marcel Hark, Jrgen Giesl |
| 2020 | LPAR | Polynomial Loops: Beyond Termination. | Marcel Hark, Florian Frohn, Jrgen Giesl |
| 2020 | SAS | Termination of Polynomial Loops. | Florian Frohn, Marcel Hark, Jrgen Giesl |
| 2019 | CADE | Computing Expected Runtimes for Constant Probability Programs. | Jrgen Giesl, Peter Giesl, Marcel Hark |