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 Approximation of the Bounded Reachability Probability in Large Markov Chains., , , , und . QEST, Volume 8657 von Lecture Notes in Computer Science, Seite 388-403. Springer, (2014)The linear-hyper-branching spectrum of temporal logics., und . it - Information Technology, 56 (6): 273-279 (2014)Encodings of Bounded Synthesis., , , und . CoRR, (2018)Synthesis of Boolean Functions with Clausal Abstraction., und . CoRR, (2018)Incremental Determinization., und . SAT, Volume 9710 von Lecture Notes in Computer Science, Seite 375-392. Springer, (2016)Understanding and Extending Incremental Determinization for 2QBF., , , und . CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 256-274. Springer, (2018)Mathematical Reasoning in Latent Space., , , , und . CoRR, (2019)Towards the Automatic Mathematician., und . CADE, Volume 12699 von Lecture Notes in Computer Science, Seite 25-37. Springer, (2021)Neural Circuit Synthesis from Specification Patterns., , , und . NeurIPS, Seite 15408-15420. (2021)A Model Counter's Guide to Probabilistic Systems., , und . CoRR, (2019)