( en | de | ru )

 

Disambiguierung von "Kiefer, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing probabilistic pushdown automata.

, , , und . Formal Methods in System Design, 43 (2): 124-163 (2013)
DOI: 10.1007/s10703-012-0166-0

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.

Stefan Kiefer

Stefan Kiefer

Stefan Kiefer

Sascha Kiefer

Alexander Kiefer

 

Weitere Publikationen von Autoren mit dem selben Namen

Tree Buffers., und . CAV (1), Volume 9206 von Lecture Notes in Computer Science, Seite 290-306. Springer, (2015)Efficient Analysis of Probabilistic Programs with an Unbounded Counter., , und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 208-224. Springer, (2011)On Computing the Total Variation Distance of Hidden Markov Models.. ICALP, Volume 107 von LIPIcs, Seite 130:1-130:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Analyzing probabilistic pushdown automata., , , und . Formal Methods in System Design, 43 (2): 124-163 (2013)Runtime analysis of probabilistic programs with unbounded recursion., , , und . J. Comput. Syst. Sci., 81 (1): 288-310 (2015)Solving Systems of Positive Polynomial Equations (Lösung positiver polynomieller Gleichungssysteme). Technical University of Munich, Germany, (2010)Responsibility and verification: Importance value in temporal logics., , , , und . LICS, Seite 1-14. IEEE, (2021)On Affine Reachability Problems., und . MFCS, Volume 170 von LIPIcs, Seite 48:1-48:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)On the Memory Consumption of Probabilistic Pushdown Automata., , und . FSTTCS, Volume 4 von LIPIcs, Seite 49-60. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2009)An Extension of Newton's Method to omega -Continuous Semirings., , und . Developments in Language Theory, Volume 4588 von Lecture Notes in Computer Science, Seite 157-168. Springer, (2007)