( en | de | ru )

 

Disambiguierung von "Kupferman, Orna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Repairing Multi-Player Games.

, , und . CONCUR, Volume 42 von LIPIcs, Seite 325-339. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)

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.

Orna Ehling

Orna Rosen

Magdalena Ornatowska

Frederik Ornau

Adam S Ornatek

 

Weitere Publikationen von Autoren mit dem selben Namen

Good-Enough Synthesis., und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 541-563. Springer, (2020)On the universal and existential fragments of the mu-calculus., , und . Theor. Comput. Sci., 354 (2): 173-186 (2006)Once and for all., , und . J. Comput. Syst. Sci., 78 (3): 981-996 (2012)Dynamic Resource Allocation Games., , und . SAGT, Volume 9928 von Lecture Notes in Computer Science, Seite 153-166. Springer, (2016)Tightening the Exchange Rates Between Automata.. CSL, Volume 4646 von Lecture Notes in Computer Science, Seite 7-22. Springer, (2007)Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction., und . CONCUR, Volume 7454 von Lecture Notes in Computer Science, Seite 84-99. Springer, (2012)A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking., , und . CONCUR, Volume 1119 von Lecture Notes in Computer Science, Seite 514-529. Springer, (1996)Sensing as a Complexity Measure., , und . DCFS, Volume 10316 von Lecture Notes in Computer Science, Seite 3-15. Springer, (2017)An Abstraction-Refinement Framework for Trigger Querying., und . SAS, Volume 6887 von Lecture Notes in Computer Science, Seite 263-279. Springer, (2011)On the Complexity of Parity Word Automata., , und . FoSSaCS, Volume 2030 von Lecture Notes in Computer Science, Seite 276-286. Springer, (2001)