Max W. Haslbeck
According to our database^{1},
Max W. Haslbeck
authored at least 11 papers
between 2015 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at wikidata.org

at orcid.org
On csauthors.net:
Bibliography
2020
Skip Lists.
Arch. Formal Proofs, 2020
2019
Farkas' Lemma and Motzkin's Transposition Theorem.
Arch. Formal Proofs, 2019
Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL.
Proceedings of the Frontiers of Combining Systems  12th International Symposium, 2019
2018
Verified iptables Firewall Analysis and Verification.
J. Autom. Reasoning, 2018
Treaps.
Arch. Formal Proofs, 2018
A Verified Efficient Implementation of the LLL Basis Reduction Algorithm.
Proceedings of the LPAR22. 22nd International Conference on Logic for Programming, 2018
Verified Analysis of Random Binary Tree Structures.
Proceedings of the Interactive Theorem Proving  9th International Conference, 2018
2016
Algorithms for Reduced Ordered Binary Decision Diagrams.
Arch. Formal Proofs, 2016
Simple Firewall.
Arch. Formal Proofs, 2016
Verified iptables firewall analysis.
Proceedings of the 2016 IFIP Networking Conference, 2016
2015
Mining the Archive of Formal Proofs.
Proceedings of the Intelligent Computer Mathematics  International Conference, 2015