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

Transformations of Boolean Functions., und . FSTTCS, Volume 150 von LIPIcs, Seite 39:1-39:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks., , und . SwSTE, Seite 125-134. IEEE, (2016)Complexity of Canadian Traveler Problem Variants, , , und . CoRR, (2012)Mimicking Behaviors in Separated Domains., , , und . CoRR, (2022)On Dependent Variables in Reactive Synthesis., , , und . TACAS (1), Volume 14570 von Lecture Notes in Computer Science, Seite 123-143. Springer, (2024)BDD-Based Boolean Functional Synthesis., , und . CAV (2), Volume 9780 von Lecture Notes in Computer Science, Seite 402-421. Springer, (2016)From Weighted to Unweighted Model Counting., , , und . IJCAI, Seite 689-695. AAAI Press, (2015)Repeated-task Canadian Traveler Problem., , , , und . AI Commun., 28 (3): 453-477 (2015)Complexity of Canadian traveler problem variants., , , und . Theor. Comput. Sci., (2013)Mimicking Behaviors in Separated Domains., , , und . J. Artif. Intell. Res., (2023)