Daniel Gratzer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | The ∞-Category of ∞-Categories in Simplicial Type Theory. | Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz |
| 2025 | FOSSACS | Idempotent Resources in Separation Logic - The Heart of core in Iris. | Daniel Gratzer, Mathias Adam Mller, Lars Birkedal |
| 2025 | LICS | The Yoneda embedding in simplicial type theory. | Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz |
| 2024 | CSL | Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics. | Jonathan Sterling, Daniel Gratzer, Lars Birkedal |
| 2022 | FSCD | A Stratified Approach to Lb Induction. | Daniel Gratzer, Lars Birkedal |
| 2022 | LICS | Normalization for Multimodal Type Theory. | Daniel Gratzer |
| 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 |
| 2020 | LICS | Multimodal Dependent Type Theory. | Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal |