James Gallicchio

According to our database, James Gallicchio authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Verification of the Empty Hexagon Number.

Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2022

Implicit Definitions with Differential Equations for KeYmaera X - (System Description).

James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022