Max W. Haslbeck

According to our database1, Max W. Haslbeck authored at least 10 papers between 2015 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Farkas' Lemma and Motzkin's Transposition Theorem.
Archive of 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.
Archive of Formal Proofs, 2018

A Verified Efficient Implementation of the LLL Basis Reduction Algorithm.
Proceedings of the LPAR-22. 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.
Archive of Formal Proofs, 2016

Simple Firewall.
Archive of 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


  Loading...