Martin Desharnais
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2021–2025
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CADE | A Stepwise Refinement Proof that SCL(FOL) Simulates Ground Ordered Resolution. | Martin Bromberger, Martin Desharnais, Christoph Weidenbach |
| 2025 | ITP | Sledgehammering Without ATPs (Short Paper). | Martin Desharnais, Jasmin Blanchette |
| 2024 | ITP | A Modular Formalization of Superposition in Isabelle/HOL. | Martin Desharnais, Balzs Tth, Uwe Waldmann, Jasmin Blanchette, Sophie Tourret |
| 2023 | CADE | An Isabelle/HOL Formalization of the SCL(FOL) Calculus. | Martin Bromberger, Martin Desharnais, Christoph Weidenbach |
| 2022 | ITP | Seventeen Provers Under the Hammer. | Martin Desharnais, Petar Vukmirovic, Jasmin Blanchette, Makarius Wenzel |
| 2021 | CADE | Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant. | Hans-Jrg Schurr, Mathias Fleury, Martin Desharnais |
| 2021 | CPP | Towards efficient and verified virtual machines for dynamic languages. | Martin Desharnais, Stefan Brunthaler |