Sebastian Ullrich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2008–2024
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FSCD | Lean: Past, Present, and Future (Invited Talk). | Sebastian Ullrich |
| 2021 | CADE | The Lean 4 Theorem Prover and Programming Language. | Leonardo de Moura, Sebastian Ullrich |
| 2020 | CADE | Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages. | Sebastian Ullrich, Leonardo de Moura |
| 2016 | CC | Verified construction of static single assignment form. | Sebastian Buchwald, Denis Lohner, Sebastian Ullrich |
| 2011 | EGVE | Bimanual Haptic Simulator for Medical Training: System Architecture and Performance Measurements. | Sebastian Ullrich, Dominik Rausch, Torsten W. Kuhlen |
| 2008 | IVA | Extending MPML3D to Second Life. | Sebastian Ullrich, Klaus Brgmann, Helmut Prendinger, Mitsuru Ishizuka |