James Gallicchio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2022–2026
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITP | An End-To-End Verification of Keller's Conjecture. | James Gallicchio, Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule |
| 2024 | ITP | Formal Verification of the Empty Hexagon Number. | Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule |
| 2022 | CADE | Implicit Definitions with Differential Equations for KeYmaera X - (System Description). | James Gallicchio, Yong Kiam Tan, Stefan Mitsch, Andr Platzer |