EDBT 2026 Demo / reviewers in the wild / expert
Fabian Huch
dblp:220/8471
· DBLP profile ↗
5ranked-venue papers
4as first author
5since 2021 · last 2025
0000-0002-9418-1580ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 4 first-author · 5 since 2021Artificial intelligence and machine learning · 4 · 3 first-author · 4 since 2021Software engineering, systems software and programming languages · 4 · 3 first-author · 4 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Supporting Maintenance of Formal Mathematics with Similarity Search
Fabian Huch |
CICM | 1 |
| 2024 | Distributed Parallel Build for the Isabelle Archive of Formal Proofs
Fabian Huch, Markus Wenzel 0001 |
ITP | 1 |
| 2023 | Formalization Quality in Isabelle
Fabian Huch, Yiannos Stathopoulos |
CICM | 1 |
| 2022 | Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs
Fabian Huch |
CICM | 1 |
| 2022 | Re-imagining the Isabelle Archive of Formal Proofs
Carlin MacKenzie, Fabian Huch, Jim Vaughan, Jacques D. Fleuriot |
CICM | 2 |