Jonathan Hellwig
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2025–2026
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | A Deductive Refinement Calculus for Differential-Algebraic Programs. | Jonathan Hellwig, Long Qian, Andr Platzer |
| 2025 | CADE | A Real-Analytic Approach to Differential-Algebraic Dynamic Logic. | Jonathan Hellwig, Andr Platzer |
| 2025 | IFM | From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes. | Jonathan Hellwig, Lukas Schfer, Long Qian, Andr Platzer, Matthias Althoff |