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

Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances., , , und . SAT, Volume 9340 von Lecture Notes in Computer Science, Seite 299-306. Springer, (2015)Query-guided maximum satisfiability., , , und . POPL, Seite 109-122. ACM, (2016)Scaling Relational Inference Using Proofs and Refutations., , , , und . AAAI, Seite 3278-3286. AAAI Press, (2016)Concept-based Analysis of Neural Networks via Vision-Language Models., , , , , , und . CoRR, (2024)A user-guided approach to program analysis., , , und . ESEC/SIGSOFT FSE, Seite 462-473. ACM, (2015)Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study., , , , , , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 289-303. Springer, (2023)A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join., , und . ESOP, Volume 8410 von Lecture Notes in Computer Science, Seite 513-533. Springer, (2014)Assumption Generation for Learning-Enabled Autonomous Systems., , , und . RV, Volume 14245 von Lecture Notes in Computer Science, Seite 3-22. Springer, (2023)Feature-Guided Analysis of Neural Networks., , , , , und . FASE, Volume 13991 von Lecture Notes in Computer Science, Seite 133-142. Springer, (2023)Robustness of neural networks: a probabilistic and practical approach., , und . ICSE (NIER), Seite 93-96. IEEE / ACM, (2019)