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

The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies., , , und . FoSSaCS, Volume 8412 von Lecture Notes in Computer Science, Seite 242-257. Springer, (2014)Antichain-Based QBF Solving., , , , und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 183-197. Springer, (2011)Algorithms for Omega-Regular Games with Imperfect Information, , , und . CoRR, (2007)Partial-Observation Stochastic Games: How to Win when Belief Fails., und . ACM Trans. Comput. Log., 15 (2): 16:1-16:44 (2014)Alternating Weighted Automata., , und . FCT, Volume 5699 von Lecture Notes in Computer Science, Seite 3-13. Springer, (2009)Randomness for Free., , , und . MFCS, Volume 6281 von Lecture Notes in Computer Science, Seite 246-257. Springer, (2010)Energy Parity Games., und . ICALP (2), Volume 6199 von Lecture Notes in Computer Science, Seite 599-610. Springer, (2010)Almost ASAP Semantics: From Timed Models to Timed Implementations., , und . HSCC, Volume 2993 von Lecture Notes in Computer Science, Seite 296-310. Springer, (2004)Systematic Implementation of Real-Time Models., , und . FM, Volume 3582 von Lecture Notes in Computer Science, Seite 139-156. Springer, (2005)A Lattice Theory for Solving Games of Imperfect Information., , und . HSCC, Volume 3927 von Lecture Notes in Computer Science, Seite 153-168. Springer, (2006)