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 SyGuS Language Standard Version 2.1., , , , und . CoRR, (2023)A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT., , , und . CoRR, (2017)An Interactive SMT Tactic in Coq using Abductive Reasoning., , , , , und . LPAR, Volume 94 von EPiC Series in Computing, Seite 11-22. EasyChair, (2023)An efficient SMT solver for string constraints., , , , , und . Formal Methods Syst. Des., 48 (3): 206-234 (2016)High-Level Abstractions for Simplifying Extended String Constraints in SMT., , , und . CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 23-42. Springer, (2019)Invertibility Conditions for Floating-Point Formulas., , , , , und . CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 116-136. Springer, (2019)SyGuS Techniques in the Core of an SMT Solver., und . SYNT@CAV, Volume 260 von EPTCS, Seite 81-96. (2017)A Decision Procedure for String to Code Point Conversion., , , und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 218-237. Springer, (2020)Extending SMT Solvers to Higher-Order Logic., , , , und . CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 35-54. Springer, (2019)Quantifier Instantiation Beyond E-Matching.. SMT, Volume 1889 von CEUR Workshop Proceedings, Seite 2. CEUR-WS.org, (2017)