Login / Signup
Jack J. Garzella
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 2
Top Topics
Hamilton Jacobi
Inverse Problems
Intermediate Representation
Medial Axis
Top Venues
VMCAI
SIAM J. Appl. Math.
</>
Publications
</>
Jack J. Garzella
,
Marek S. Baranowski
,
Shaobo He
,
Zvonimir Rakamaric
Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification.
VMCAI
(2020)
Justin Boyer
,
Jack J. Garzella
,
Fernando Guevara Vasquez
On the Solvability of the Discrete Conductivity and Schrödinger Inverse Problems.
SIAM J. Appl. Math.
76 (3) (2016)