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

SAT Modulo Monotonic Theories., , , und . CoRR, (2014)SAT Modulo Monotonic Theories., , , und . AAAI, Seite 3702-3709. AAAI Press, (2015)Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond., , , , und . EuroS&P, Seite 31-46. IEEE, (2016)The Configurable SAT Solver Challenge (CSSC)., , , , , und . Artif. Intell., (2017)Reachability Analysis for AWS-Based Networks., , , , , , , , , und 9 andere Autor(en). CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 231-241. Springer, (2019)Evaluating Instance Generators by Configuration., , und . LION, Volume 8426 von Lecture Notes in Computer Science, Seite 47-61. Springer, (2014)Single-Solver Algorithms for 2QBF - (Poster Presentation)., und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 487-488. Springer, (2012)Scalable Constraint-based Virtual Data Center Allocation., , , , und . IJCAI, Seite 546-554. ijcai.org, (2017)The Configurable SAT Solver Challenge (CSSC)., , , , , und . CoRR, (2015)Scalable, high-quality, SAT-based multi-layer escape routing., , und . ICCAD, Seite 22. ACM, (2016)