( en | de | ru )

 

Disambiguierung von "Boker, Udi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parityizing Rabin and Streett.

, , und . FSTTCS, Volume 8 von LIPIcs, Seite 412-423. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)

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.

Josefina Udi

Claudia Udich

Hans-Joachim Udich

Natalia Udilova

Cord Böker

Load simulation and local dynamics of support structures for offshore wind turbines. Uni Hannover, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Comparing Computational Power, und . (Oktober 2005)Co-Büching Them All., und . FoSSaCS, Volume 6604 von Lecture Notes in Computer Science, Seite 184-198. Springer, (2011)When a Little Nondeterminism Goes a Long Way: An Introduction to History-Determinism., und . ACM SIGLOG News, 10 (1): 24-51 (Januar 2023)On Succinctness and Recognisability of Alternating Good-for-Games Automata., , , und . CoRR, (2020)On the Succinctness of Alternating Parity Good-For-Games Automata., , , und . FSTTCS, Volume 182 von LIPIcs, Seite 41:1-41:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Quantitative vs. Weighted Automata.. RP, Volume 13035 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2021)On the Comparison of Discounted-Sum Automata with Multiple Discount Factors., und . FoSSaCS, Volume 13992 von Lecture Notes in Computer Science, Seite 371-391. Springer, (2023)Automaton-Based Criteria for Membership in CTL., und . LICS, Seite 155-164. ACM, (2018)Approximate Determinization of Quantitative Automata., und . FSTTCS, Volume 18 von LIPIcs, Seite 362-373. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Decidable verification under a causally consistent shared memory., und . PLDI, Seite 211-226. ACM, (2020)