( en | de | ru )

 

Disambiguierung von "Svozil, Alexander"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Faster Algorithms for Mean-Payoff Parity Games.

, , und . MFCS, Volume 83 von LIPIcs, Seite 39:1-39:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

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.

Alexander

Alexander Stadler

Messtechnische Bestimmung und Simulation der Kernverluste in weichmagnetischen Materialien. Uni Erlangen-Nürnberg, (2009)

Alexander Auch

A phylogenetic potpourri: computational methods for analysing genome scale data. Uni Tübingen, (2010)

Alexander Blecken

A reference task model for supply chain processes of humanitarian organisations. Uni Paderborn, (2009)

Alexander Gocht

Methods in economic farm modelling. Uni Bonn, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Quasipolynomial Set-Based Symbolic Algorithms for Parity Games., , , und . CoRR, (2019)Faster Algorithms for Mean-Payoff Parity Games., , und . MFCS, Volume 83 von LIPIcs, Seite 39:1-39:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Leveraging the Power of Graph Algorithms: Efficient Algorithms for Computer-Aided Verification.. CoRR, (2022)Faster Algorithms for Bounded Liveness in Graphs and Game Graphs., , , und . ICALP, Volume 198 von LIPIcs, Seite 124:1-124:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Algorithms and conditional lower bounds for planning problems., , , und . Artif. Intell., (2021)Quasipolynomial Set-Based Symbolic Algorithms for Parity Games., , , und . LPAR, Volume 57 von EPiC Series in Computing, Seite 233-253. EasyChair, (2018)Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs., , , und . CONCUR, Volume 140 von LIPIcs, Seite 7:1-7:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Fully Dynamic k-Center Clustering in Doubling Metrics., , , und . CoRR, (2019)Symbolic Time and Space Tradeoffs for Probabilistic Verification., , , und . LICS, Seite 1-13. IEEE, (2021)Moderne Graphalgorithmen für die formale Verifikation.. Ausgezeichnete Informatikdissertationen, Volume D-22 von LNI, GI, (2021)