Mining the Archive of Formal Proofs JC Blanchette, M Haslbeck, D Matichuk, T Nipkow International Conference on Intelligent Computer Mathematics, 3-17, 2015 | 61 | 2015 |

Verified iptables firewall analysis C Diekmann, J Michaelis, M Haslbeck, G Carle 2016 IFIP Networking Conference (IFIP Networking) and Workshops, 252-260, 2016 | 37 | 2016 |

Verified iptables firewall analysis and verification C Diekmann, L Hupel, J Michaelis, M Haslbeck, G Carle Journal of automated reasoning 61, 191-242, 2018 | 25 | 2018 |

Verified analysis of random binary tree structures M Eberl, MW Haslbeck, T Nipkow Journal of Automated Reasoning, 1-32, 2020 | 10 | 2020 |

Verified analysis of random binary tree structures M Eberl, MW Haslbeck, T Nipkow International Conference on Interactive Theorem Proving, 196-214, 2018 | 8 | 2018 |

Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL R Bottesch, MW Haslbeck, R Thiemann International Symposium on Frontiers of Combining Systems, 223-239, 2019 | 7 | 2019 |

Verified Analysis of Random Trees M Eberl, MW Haslbeck, T Nipkow Proceedings of the 9th International Conference on Interactive Theorem Proving, 2018 | 5 | 2018 |

Verifying a solver for linear mixed integer arithmetic in Isabelle/HOL R Bottesch, MW Haslbeck, A Reynaud, R Thiemann NASA Formal Methods Symposium, 233-250, 2020 | 4 | 2020 |

A Verified Efficient Implementation of the LLL Basis Reduction Algorithm. R Bottesch, MW Haslbeck, R Thiemann LPAR, 164-180, 2018 | 4 | 2018 |

Simple Firewall C Diekmann, J Michaelis, M Haslbeck Archive of Formal Proofs, Aug, 2016 | 3 | 2016 |

An Isabelle/HOL formalization of AProVE’s termination method for LLVM IR MW Haslbeck, R Thiemann Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021 | 2 | 2021 |

Randomised Skip Lists MW Haslbeck, M Eberl | | 2023 |

Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL R Thiemann, R Bottesch, J Divasón, MW Haslbeck, SJC Joosten, ... Journal of Automated Reasoning 64 (5), 827-856, 2020 | | 2020 |

Farkas’ Lemma and Motzkin’s Transposition Theorem R Bottesch, MW Haslbeck, R Thiemann Arch. Formal Proofs 2019, 2019 | | 2019 |