Maximilian Dor
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2018–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FSCD | Automating Boundary Filling in Cubical Agda. | Maximilian Dor, Evan Cavallo, Anders Mrtberg |
| 2018 | CSEDU | The ELFE System - Verifying Mathematical Proofs of Undergraduate Students. | Maximilian Dor, Krysia Broda |
| 2018 | CSEDU | Intuitive Reasoning in Formalized Mathematics with Elfe. | Maximilian Dor, Krysia Broda |