Autor der Publikation

Backdoors for Linear Temporal Logic.

, , , und . IPEC, Volume 63 von LIPIcs, Seite 23:1-23:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

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

Backdoors for Linear Temporal Logic., , , und . IPEC, Volume 63 von LIPIcs, Seite 23:1-23:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)On Succinct Encodings for the Tournament Fixing Problem., , , und . IJCAI, Seite 322-328. ijcai.org, (2019)Identifying and Eliminating Majority Illusion in Social Networks., , , , und . AAAI, Seite 5062-5069. AAAI Press, (2023)An Exercise in Tournament Design: When Some Matches Must Be Scheduled., , und . AAAI, Seite 9749-9756. AAAI Press, (2024)On Structural Parameterizations of the Edge Disjoint Paths Problem., , und . ISAAC, Volume 92 von LIPIcs, Seite 36:1-36:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)A Hotelling-Downs Framework for Party Nominees., , , und . AAMAS, Seite 593-601. ACM, (2021)