James Gallicchio

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Differential Equations

Top Venues

Publications

Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule
Formal Verification of the Empty Hexagon Number. CoRR (2024)
James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer
Implicit Definitions with Differential Equations for KeYmaera X (System Description). CoRR (2022)
James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer
Implicit Definitions with Differential Equations for KeYmaera X - (System Description). IJCAR (2022)