Max W. Haslbeck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2016–2021
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CPP | An Isabelle/HOL formalization of AProVE's termination method for LLVM IR. | Max W. Haslbeck, Ren Thiemann |
| 2018 | ITP | Verified Analysis of Random Binary Tree Structures. | Manuel Eberl, Max W. Haslbeck, Tobias Nipkow |
| 2018 | LPAR | A Verified Efficient Implementation of the LLL Basis Reduction Algorithm. | Ralph Bottesch, Max W. Haslbeck, Ren Thiemann |
| 2016 | Networking | Verified iptables firewall analysis. | Cornelius Diekmann, Julius Michaelis, Max W. Haslbeck, Georg Carle |