( en | de | ru )

 

Disambiguierung von "Piterman, Nir"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Dynamic Reactive Modules.

, , , , , und . CONCUR, Volume 6901 von Lecture Notes in Computer Science, Seite 404-418. Springer, (2011)

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.

Nir Kahn

Nir Oren

Nir Yogev

Nir Levy

Alois Nirschl

 

Weitere Publikationen von Autoren mit dem selben Namen

Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue., , und . CoRR, (2021)Fair $ω$-Regular Games., , , und . CoRR, (2023)Obligation Blackwell Games and p-Automata, und . CoRR, (2012)A Forward Analysis for Recurrent Sets., , und . SAS, Volume 9291 von Lecture Notes in Computer Science, Seite 293-311. Springer, (2015)On Automation of CTL* Verification for Infinite-State Systems., , und . CAV (1), Volume 9206 von Lecture Notes in Computer Science, Seite 13-29. Springer, (2015)Global Model-Checking of Infinite-State Systems., und . CAV, Volume 3114 von Lecture Notes in Computer Science, Seite 387-400. Springer, (2004)Synthesis of Reactive(1) Designs., , und . VMCAI, Volume 3855 von Lecture Notes in Computer Science, Seite 364-380. Springer, (2006)Liveness with Invisible Ranking., , , und . VMCAI, Volume 2937 von Lecture Notes in Computer Science, Seite 223-238. Springer, (2004)Generalized Parity Games., , und . FoSSaCS, Volume 4423 von Lecture Notes in Computer Science, Seite 153-167. Springer, (2007)A PO Characterisation of Reconfiguration., , und . ICTAC, Volume 13572 von Lecture Notes in Computer Science, Seite 42-59. Springer, (2022)