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 Rapid Software Verification Framework., , , , , and . FMCAD, page 255-260. IEEE, (2022)A Combinator-Based Superposition Calculus for Higher-Order Logic., and . IJCAR (1), volume 12166 of Lecture Notes in Computer Science, page 278-296. Springer, (2020)Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities., , , , , , , , , and . SecDev, page 52-58. IEEE, (2022)Refining Unification with Abstraction., , , and . LPAR, volume 94 of EPiC Series in Computing, page 36-47. EasyChair, (2023)A Polymorphic Vampire - (Short Paper)., and . IJCAR (2), volume 12167 of Lecture Notes in Computer Science, page 361-368. Springer, (2020)A Knuth-Bendix-Like Ordering for Orienting Combinator Equations., and . IJCAR (1), volume 12166 of Lecture Notes in Computer Science, page 259-277. Springer, (2020)FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs., , , and . TAP@STAF, volume 12740 of Lecture Notes in Computer Science, page 85-105. Springer, (2021)Restricted Combinatory Unification., and . CADE, volume 11716 of Lecture Notes in Computer Science, page 74-93. Springer, (2019)Automated theorem proving in higher-order logic. University of Manchester, UK, (2021)British Library, EThOS.Superposition with Delayed Unification., , and . CoRR, (2024)