Maximilian P. L. Haslbeck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2013–2021
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ESOP | For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM. | Maximilian P. L. Haslbeck, Peter Lammich |
| 2020 | ATVA | Verified Textbook Algorithms - A Biased Survey. | Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck |
| 2019 | ITP | Refinement with Time - Refining the Run-Time of Algorithms in Isabelle/HOL. | Maximilian P. L. Haslbeck, Peter Lammich |
| 2018 | CADE | Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle. | Bohua Zhan, Maximilian P. L. Haslbeck |
| 2018 | TACAS | Hoare Logics for Time Bounds - A Study in Meta Theory. | Maximilian P. L. Haslbeck, Tobias Nipkow |
| 2013 | TABLEAUX | A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions. | Tobias Nipkow, Maximilian P. L. Haslbeck |