Fabian Huch

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 10

Top Topics

Extended Abstract

Theorem Proving

Software Systems

Top Venues

Publications

Fabian Huch, Yiannos Stathopoulos
Formalization Quality in Isabelle. CICM (2023)
Fabian Huch
Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs. CICM (2022)
Fabian Huch, Vincent Bode
The Isabelle Community Benchmark. CoRR (2022)
Carlin MacKenzie, Fabian Huch, James Vaughan, Jacques D. Fleuriot
Re-imagining the Isabelle Archive of Formal Proofs. CICM (2022)
Fabian Huch
Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs. CoRR (2022)
Fabian Huch, Alexander Krauss
FindFacts: A Scalable Theorem Search. CoRR (2022)
Yecine Megdiche, Fabian Huch, Lukas Stevens
A Linter for Isabelle: Implementation and Evaluation. CoRR (2022)
Fabian Huch, Vincent Bode
The Isabelle Community Benchmark. PAAR@IJCAR (2022)
Fabian Huch
Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs - Extended Abstract (short paper). CICM Workshops (2021)
Fabian Huch, Mojdeh Golagha, Ana Petrovska, Alexander Krauss
Machine learning-based run-time anomaly detection in software systems: An industrial evaluation. MaLTeSQuE@SANER (2018)