( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic Time and Space Tradeoffs for Probabilistic Verification.

, , , и . LICS, стр. 1-13. IEEE, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

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)
 

Другие публикации лиц с тем же именем

Faster Algorithms for Mean-Payoff Parity Games., , и . MFCS, том 83 из LIPIcs, стр. 39:1-39:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Faster Algorithms for Bounded Liveness in Graphs and Game Graphs., , , и . ICALP, том 198 из LIPIcs, стр. 124:1-124:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Algorithms and conditional lower bounds for planning problems., , , и . Artif. Intell., (2021)Quasipolynomial Set-Based Symbolic Algorithms for Parity Games., , , и . LPAR, том 57 из EPiC Series in Computing, стр. 233-253. EasyChair, (2018)Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs., , , и . CONCUR, том 140 из LIPIcs, стр. 7:1-7:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Symbolic Time and Space Tradeoffs for Probabilistic Verification., , , и . LICS, стр. 1-13. IEEE, (2021)Fully Dynamic k-Center Clustering in Low Dimensional Metrics., , , , и . ALENEX, стр. 143-153. SIAM, (2021)