pith. sign in

Stefan Kiefer

Identifiers

  • name variant Stefan Kiefer 0.60 · backfill

Papers (37)

  1. B\"uchi Objectives in Countable MDPs math.PR · 2019 · author #1
  2. On the Complexity of Value Iteration cs.FL · 2018 · author #2
  3. Selective Monitoring cs.FL · 2018 · author #2
  4. On Computing the Total Variation Distance of Hidden Markov Models cs.FL · 2018 · author #1
  5. On Strong Determinacy of Countable Stochastic Games cs.GT · 2017 · author #1
  6. Parity Objectives in Countable MDPs cs.LO · 2017 · author #1
  7. On Restricted Nonnegative Matrix Factorization cs.FL · 2016 · author #2
  8. Nonnegative Matrix Factorization Requires Irrationality cs.CC · 2016 · author #2
  9. Efficient Quantile Computation in Markov Chains via Counting Problems for Parikh Images cs.FL · 2016 · author #2
  10. Distinguishing Hidden Markov Chains cs.DS · 2015 · author #1
  11. Long-Run Average Behaviour of Probabilistic Vector Addition Systems cs.LO · 2015 · author #2
  12. Tree Buffers cs.DS · 2015 · author #2
  13. Proving the Herman-Protocol Conjecture cs.DS · 2015 · author #3
  14. The Complexity of the Kth Largest Subset Problem and Related Problems cs.CC · 2015 · author #2
  15. Minimisation of Multiplicity Tree Automata cs.FL · 2014 · author #1
  16. The Odds of Staying on Budget cs.CC · 2014 · author #2
  17. On the Total Variation Distance of Labelled Markov Chains cs.LO · 2014 · author #2
  18. Stability and Complexity of Minimising Probabilistic Automata cs.FL · 2014 · author #1
  19. Zero-Reachability in Probabilistic Multi-Counter Automata cs.FL · 2014 · author #2
  20. Analysis of Probabilistic Basic Parallel Processes cs.LO · 2014 · author #2
  21. Bisimilarity of Pushdown Systems is Nonelementary cs.FL · 2012 · author #3
  22. Bisimilarity of Probabilistic Pushdown Automata cs.FL · 2012 · author #3
  23. Model Checking Stochastic Branching Processes cs.LO · 2012 · author #3
  24. BPA Bisimilarity is EXPTIME-hard cs.FL · 2012 · author #1
  25. Proving Termination of Probabilistic Programs Using Patterns cs.LO · 2012 · author #3
  26. On the Complexity of the Equivalence Problem for Probabilistic Automata cs.FL · 2011 · author #1
  27. Stabilization of Branching Queueing Networks cs.PF · 2011 · author #2
  28. On Stabilization in Herman's Algorithm cs.DS · 2011 · author #1
  29. Efficient Analysis of Probabilistic Programs with an Unbounded Counter cs.FL · 2011 · author #2
  30. On Probabilistic Parallel Programs with Process Creation and Synchronisation cs.LO · 2010 · author #1
  31. Runtime Analysis of Probabilistic Programs with Unbounded Recursion cs.LO · 2010 · author #2
  32. Parikh's Theorem: A simple and direct automaton construction cs.FL · 2010 · author #3
  33. Space-efficient scheduling of stochastically generated tasks cs.PF · 2010 · author #3
  34. Computing the Least Fixed Point of Positive Polynomial Systems cs.NA · 2010 · author #2
  35. Computing Least Fixed Points of Probabilistic Systems of Polynomials cs.DS · 2009 · author #3
  36. Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains cs.DS · 2009 · author #4
  37. Convergence Thresholds of Newton's Method for Monotone Polynomial Equations cs.DS · 2008 · author #2

Mentions

  • 1204.2932 #3 · backfill · confidence 0.70 Stefan Kiefer
  • 1112.4644 #1 · backfill · confidence 0.70 Stefan Kiefer
  • 1112.1041 #2 · backfill · confidence 0.70 Stefan Kiefer
  • 1104.3100 #1 · backfill · confidence 0.70 Stefan Kiefer
  • 1102.2529 #2 · backfill · confidence 0.70 Stefan Kiefer
  • 1012.2998 #1 · backfill · confidence 0.70 Stefan Kiefer
  • 1007.1710 #2 · backfill · confidence 0.70 Stefan Kiefer
  • 1006.3825 #3 · backfill · confidence 0.70 Stefan Kiefer
  • 1004.4286 #3 · backfill · confidence 0.70 Stefan Kiefer
  • 1001.0340 #2 · backfill · confidence 0.70 Stefan Kiefer
  • 0912.4226 #3 · backfill · confidence 0.70 Stefan Kiefer
  • 0901.0501 #4 · backfill · confidence 0.70 Stefan Kiefer
  • 0802.2856 #2 · backfill · confidence 0.70 Stefan Kiefer

Frequent Coauthors