Lennard Gher
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CPP | Building Blocks for Step-Indexed Program Logics. | Thomas Somers, Jonas Kastberg Hinrichsen, Lennard Gher, Robbert Krebbers |
| 2021 | ITP | Mechanising Complexity Theory: The Cook-Levin Theorem in Coq. | Lennard Gher, Fabian Kunze |
| 2021 | PLDI | Transfinite Iris: resolving an existential dilemma of step-indexed separation logic. | Simon Spies, Lennard Gher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, Lars Birkedal |