Jakob von Raumer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2015–2020
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FSCD | A Syntax for Mutual Inductive Families. | Ambrus Kaposi, Jakob von Raumer |
| 2020 | LICS | Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory. | Nicolai Kraus, Jakob von Raumer |
| 2019 | LICS | Path Spaces of Higher Inductive Types in Homotopy Type Theory. | Nicolai Kraus, Jakob von Raumer |
| 2017 | ITP | Homotopy Type Theory in Lean. | Floris van Doorn, Jakob von Raumer, Ulrik Buchholtz |
| 2015 | CADE | The Lean Theorem Prover (System Description). | Leonardo Mendona de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer |