Machine learning-based run-time anomaly detection in software systems: An industrial evaluation. - Fabian Huch; Mojdeh Golagha; Ana Petrovska; Alexander Krauss 001 (MaLTeSQuE, 2018)

Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs - Extended Abstract (short paper). - Fabian Huch (CICM Workshops, 2021)

Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs. - Fabian Huch (CICM, 2022)

Re-imagining the Isabelle Archive of Formal Proofs. - Carlin MacKenzie; Fabian Huch; James Vaughan; Jacques D. Fleuriot (CICM, 2022)

The Isabelle Community Benchmark. - Fabian Huch; Vincent Bode (PAAR@IJCAR, 2022)

FindFacts: A Scalable Theorem Search. - Fabian Huch; Alexander Krauss 001 (CoRR, 2022)

A Linter for Isabelle: Implementation and Evaluation. - Yecine Megdiche; Fabian Huch; Lukas Stevens (CoRR, 2022)

Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs. - Fabian Huch (CoRR, 2022)

Formalization Quality in Isabelle. - Fabian Huch; Yiannos Stathopoulos (CICM, 2023)

Distributed Parallel Build for the Isabelle Archive of Formal Proofs. - Fabian Huch; Makarius Wenzel (ITP, 2024)

Isabelle as Systems Platform: Managing Automated and Quasi-interactive Builds. - Fabian Huch (CoRR, 2024)

Proof-Producing Translation of Functional Programs into a Time & Space Reasonable Model. - Kevin Kappelmann; Fabian Huch; Lukas Stevens; Mohammad Abdulaziz (CoRR, 2025)