| 2026 | CONCUR | On the Continuity of the Probabilistic Bisimilarity Distance. | Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel |
| 2026 | HCI | Beyond the Dashboard: A Collaborative UI Framework for Autonomous Systems Engineering and Design Research. | Max Bttner, Philipp Schardt, Erik Schtz, Constantin Selzer, Rainer Haffner, Stefan Kiefer, Lukas A. Flohr, Fabian B. Flohr |
| 2026 | STACS | The Asymptotic Size of Finite Irreducible Semigroups of Rational Matrices. | Stefan Kiefer, Andrew Ryzhikov |
| 2025 | CAV | Robust Probabilistic Bisimilarity for Labelled Markov Chains. | Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel |
| 2025 | MFCS | The Complexity of Reachability Problems in Strongly Connected Finite Automata. | Stefan Kiefer, Andrew Ryzhikov |
| 2025 | STACS | Efficiently Computing the Minimum Rank of a Matrix in a Monoid of Zero-One Matrices. | Stefan Kiefer, Andrew Ryzhikov |
| 2024 | CONCUR | Minimising the Probabilistic Bisimilarity Distance. | Stefan Kiefer, Qiyi Tang |
| 2022 | CONCUR | On the Sequential Probability Ratio Test in Hidden Markov Models. | Oscar Darwin, Stefan Kiefer |
| 2022 | CONCUR | Strategies for MDP Bisimilarity Equivalence and Inequivalence. | Stefan Kiefer, Qiyi Tang |
| 2022 | ICALP | Lower Bounds for Unambiguous Automata via Communication Complexity. | Mika Gs, Stefan Kiefer, Weiqiang Yuan |
| 2021 | CONCUR | Enforcing ω-Regular Properties in Markov Chains by Restarting. | Javier Esparza, Stefan Kiefer, Jan Kretnsk, Maximilian Weininger |
| 2021 | CONCUR | Transience in Countable MDPs. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke |
| 2021 | CONCUR | Linear-Time Model Checking Branching Processes. | Stefan Kiefer, Pavel Semukhin, Cas Widdershoven |
| 2021 | LICS | Responsibility and verification: Importance value in temporal logics. | Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer |
| 2020 | CONCUR | The Big-O Problem for Labelled Markov Chains and Weighted Automata. | Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser |
| 2020 | CONCUR | Strategy Complexity of Parity Objectives in Countable MDPs. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke |
| 2020 | ICALP | On the Size of Finite Rational Matrix Semigroups. | Georgina Bumpus, Christoph Haase, Stefan Kiefer, Paul-Ioan Stoienescu, Jonathan Tanner |
| 2020 | ICALP | How to Play in Infinite MDPs (Invited Talk). | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke, Dominik Wojtczak |
| 2020 | MFCS | On Affine Reachability Problems. | Stefan Jaax, Stefan Kiefer |
| 2019 | ICALP | On the Complexity of Value Iteration. | Nikhil Balaji, Stefan Kiefer, Petr Novotn, Guillermo A. Prez, Mahsa Shirmohammadi |
| 2019 | ICALP | Bchi Objectives in Countable MDPs. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke |
| 2019 | MFCS | Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques. | Stefan Kiefer, Cas Widdershoven |
| 2019 | STACS | On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words. | Stefan Kiefer, Corto Mascle |
| 2018 | CONCUR | Selective Monitoring. | Radu Grigore, Stefan Kiefer |
| 2018 | ICALP | On Computing the Total Variation Distance of Hidden Markov Models. | Stefan Kiefer |
| 2017 | LICS | Computing quantiles in Markov chains with multi-dimensional costs. | Christoph Haase, Stefan Kiefer, Markus Lohrey |
| 2017 | LICS | Parity objectives in countable MDPs. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak |
| 2017 | LICS | On strong determinacy of countable stochastic games. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak |
| 2017 | MFCS | Counting Problems for Parikh Images. | Christoph Haase, Stefan Kiefer, Markus Lohrey |
| 2017 | SODA | On Rationality of Nonnegative Matrix Factorization. | Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell |
| 2016 | CAV | Markov Chains and Unambiguous Bchi Automata. | Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klppelholz, David Mller, James Worrell |
| 2016 | FOSSACS | Trace Refinement in Labelled Markov Decision Processes. | Nathanal Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi |
| 2016 | ICALP | Proving the Herman-Protocol Conjecture. | Maria Bruna, Radu Grigore, Stefan Kiefer, Jol Ouaknine, James Worrell |
| 2016 | ICALP | On Restricted Nonnegative Matrix Factorization. | Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell |
| 2016 | LICS | Distinguishing Hidden Markov Chains. | Stefan Kiefer, A. Prasad Sistla |
| 2015 | CAV | Tree Buffers. | Radu Grigore, Stefan Kiefer |
| 2015 | FOSSACS | Minimisation of Multiplicity Tree Automata. | Stefan Kiefer, Ines Marusic, James Worrell |
| 2015 | ICALP | The Odds of Staying on Budget. | Christoph Haase, Stefan Kiefer |
| 2015 | LICS | Long-Run Average Behaviour of Probabilistic Vector Addition Systems. | Toms Brzdil, Stefan Kiefer, Antonn Kucera, Petr Novotn |
| 2014 | CSL | Zero-reachability in probabilistic multi-counter automata. | Toms Brzdil, Stefan Kiefer, Antonn Kucera, Petr Novotn, Joost-Pieter Katoen |
| 2014 | CSL | On the total variation distance of labelled Markov chains. | Taolue Chen, Stefan Kiefer |
| 2014 | FOSSACS | Analysis of Probabilistic Basic Parallel Processes. | Rmi Bonnet, Stefan Kiefer, Anthony Widjaja Lin |
| 2014 | ICALP | Stability and Complexity of Minimising Probabilistic Automata. | Stefan Kiefer, Bjrn Wachter |
| 2013 | LICS | Bisimilarity of Pushdown Automata is Nonelementary. | Michael Benedikt, Stefan Gller, Stefan Kiefer, Andrzej S. Murawski |
| 2012 | CAV | Proving Termination of Probabilistic Programs Using Patterns. | Javier Esparza, Andreas Gaiser, Stefan Kiefer |
| 2012 | CAV | APEX: An Analyzer for Open Probabilistic Programs. | Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, Bjrn Wachter, James Worrell |
| 2012 | FOSSACS | On the Complexity of the Equivalence Problem for Probabilistic Automata. | Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, Bjrn Wachter, James Worrell |
| 2012 | MFCS | Model Checking Stochastic Branching Processes. | Taolue Chen, Klaus Drger, Stefan Kiefer |
| 2012 | STACS | Stabilization of Branching Queueing Networks. | Toms Brzdil, Stefan Kiefer |
| 2011 | CAV | Efficient Analysis of Probabilistic Programs with an Unbounded Counter. | Toms Brzdil, Stefan Kiefer, Antonn Kucera |
| 2011 | CAV | Language Equivalence for Probabilistic Automata. | Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, Bjrn Wachter, James Worrell |
| 2011 | ICALP | Runtime Analysis of Probabilistic Programs with Unbounded Recursion. | Toms Brzdil, Stefan Kiefer, Antonn Kucera, Ivana Hutarov Varekov |
| 2011 | ICALP | On Stabilization in Herman's Algorithm. | Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, James Worrell, Lijun Zhang |
| 2011 | TACAS | On Probabilistic Parallel Programs with Process Creation and Synchronisation. | Stefan Kiefer, Dominik Wojtczak |
| 2010 | ICALP | Space-Efficient Scheduling of Stochastically Generated Tasks. | Toms Brzdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger |
| 2010 | STACS | Computing Least Fixed Points of Probabilistic Systems of Polynomials. | Javier Esparza, Andreas Gaiser, Stefan Kiefer |
| 2009 | FOSSACS | Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. | Morten Khnrich, Stefan Schwoon, Jir Srba, Stefan Kiefer |
| 2008 | DLT | Derivation Tree Analysis for Accelerated Fixed-Point Computation. | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
| 2008 | ICALP | Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations. | Javier Esparza, Thomas Gawlitza, Stefan Kiefer, Helmut Seidl |
| 2008 | ICALP | Newton's Method for omega-Continuous Semirings. | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
| 2008 | STACS | Convergence Thresholds of Newton's Method for Monotone Polynomial Equations. | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
| 2007 | DLT | An Extension of Newton's Method to | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
| 2007 | STOC | On the convergence of Newton's method for monotone systems of polynomial equations. | Stefan Kiefer, Michael Luttenberger, Javier Esparza |
| 2007 | STACS | On Fixed Point Equations over Commutative Semirings. | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
| 2006 | TACAS | Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. | Javier Esparza, Stefan Kiefer, Stefan Schwoon |