Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Schwartz-Zippel Lemma., and . Arch. Formal Proofs, (2023)An axiomatic approach to existence and liveness for differential equations., and . Formal Aspects Comput., 33 (4-5): 461-518 (2021)Switched Systems as Hybrid Programs., and . ADHS, volume 54 of IFAC-PapersOnLine, page 247-252. Elsevier, (2021)Pegasus: A Framework for Sound Continuous Invariant Generation., , , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 138-157. Springer, (2019)Functional Big-Step Semantics., , , and . ESOP, volume 9632 of Lecture Notes in Computer Science, page 589-615. Springer, (2016)Concentration Inequalities., and . Arch. Formal Proofs, (2023)Do you have space for dessert? a verified space cost semantics for CakeML programs., , , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 204:1-204:29 (2020)An Axiomatic Approach to Existence and Liveness for Differential Equations., and . CoRR, (2020)Verifying Switched System Stability With Logic., , and . HSCC, page 2:1-2:11. ACM, (2022)Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions., , , , , and . IJCAR, volume 10900 of Lecture Notes in Computer Science, page 646-662. Springer, (2018)