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

Causality-Based Game Solving., , , , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 894-917. Springer, (2021)Counterfactuals Modulo Temporal Logics., und . LPAR, Volume 94 von EPiC Series in Computing, Seite 181-204. EasyChair, (2023)Explaining Hyperproperty Violations., , , , , , , und . CAV (1), Volume 13371 von Lecture Notes in Computer Science, Seite 407-429. Springer, (2022)Temporal Causality in Reactive Systems., , , , , und . ATVA, Volume 13505 von Lecture Notes in Computer Science, Seite 208-224. Springer, (2022)Checking and Sketching Causes on Temporal Sequences., , , und . ATVA, Volume 14216 von Lecture Notes in Computer Science, Seite 314-327. Springer, (2023)Synthesis of Temporal Causality., , , und . CoRR, (2024)