Author

Lennard Gäher

Observed name: Gäher, Lennard

ORCID: 0000-0003-2917-375X

Observed ORCID: 0000-0003-2917-375X

OpenAlex ID: A5031150713

2024 · Lennard Gäher, Michael Sammler, et al. · Proceedings of the ACM on Programming Languages · 54

2021 · Simon Spies, Lennard Gäher, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 53

2022 · Lennard Gäher, Michael Sammler, et al. · Proceedings of the ACM on Programming Languages · 50

2022 · Simon Spies, Lennard Gäher, et al. · Proceedings of the ACM on Programming Languages · 34

2023 · Minki Cho, Youngju Song, et al. · Proceedings of the ACM on Programming Languages · 18

2021 · Gäher, Lennard, Kunze, Fabian · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 11

2024 · Simon Spies, Lennard Gäher, et al. · Proceedings of the ACM on Programming Languages · 8

2025 · Ozga, Wojciech, Hunt, Guerney D. H., et al. · arXiv (Cornell University) · 5

2025 · Kimaya Bedarkar, Laila Elbeheiry, et al. · Proceedings of the ACM on Programming Languages · 2

2025 · Somers, Thomas, Hinrichsen, Jonas Kastberg, et al. · Radboud Repository (Radboud University) · 1

2026 · Lennard Gäher, Vincent Lafeychine, et al. · Proceedings of the ACM on Programming Languages

2026 · Wellnitz, Philip, Dörfler, Julian, et al. · Zenodo (CERN European Organization for Nuclear Research)

2026 · Thomas Somers, Jonas Kastberg Hinrichsen, et al. · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)

Works count: 21

Citation count: 242

H-index: 7

I10-index: 6