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

Symbolic Automata for Static Specification Mining., , , und . SAS, Volume 7935 von Lecture Notes in Computer Science, Seite 63-83. Springer, (2013)Generating Tests by Example., , und . VMCAI, Volume 10747 von Lecture Notes in Computer Science, Seite 406-429. Springer, (2018)Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper)., , , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 110-134. Springer, (2021)Constrictor: Immutability as a Design Concept., , und . ECOOP, Volume 313 von LIPIcs, Seite 22:1-22:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Bottom-Up Synthesis of Memory Mutations with Separation Logic., und . ECOOP, Volume 333 von LIPIcs, Seite 10:1-10:32. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2025)D^3 : Data-Driven Disjunctive Abstraction., , und . VMCAI, Volume 9583 von Lecture Notes in Computer Science, Seite 185-205. Springer, (2016)Perfect Is the Enemy of Good: Best-Effort Program Synthesis., und . ECOOP, Volume 166 von LIPIcs, Seite 2:1-2:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Constrictor: Immutability as a Design Concept (Artifact)., , und . Dagstuhl Artifacts Ser., 10 (2): 9:1-9:4 (2024)Program Synthesis for Programmers.. Technion - Israel Institute of Technology, Israel, (2019)AmiGo: Computational Design of Amigurumi Crochet Patterns., , , und . SCF, Seite 5:1-5:11. ACM, (2022)