Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The Rapid Software Verification Framework., , , , , und . FMCAD, Seite 255-260. IEEE, (2022)Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities., , , , , , , , , und . SecDev, Seite 52-58. IEEE, (2022)Refining Unification with Abstraction., , , und . LPAR, Volume 94 von EPiC Series in Computing, Seite 36-47. EasyChair, (2023)A Combinator-Based Superposition Calculus for Higher-Order Logic., und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 278-296. Springer, (2020)FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis., , , und . Formal Aspects Comput., 36 (2): 12 (Juni 2024)A Higher-Order Vampire (Short Paper)., und . CoRR, (2024)Set of Support for Higher-Order Reasoning., und . PAAR@FLoC, Volume 2162 von CEUR Workshop Proceedings, Seite 2-16. CEUR-WS.org, (2018)Superposition with Delayed Unification., , und . CADE, Volume 14132 von Lecture Notes in Computer Science, Seite 23-40. Springer, (2023)Superposition with Delayed Unification., , und . CoRR, (2024)Lemmaless Induction in Trace Logic., , , , und . CICM, Volume 13467 von Lecture Notes in Computer Science, Seite 191-208. Springer, (2022)