Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Stefan
    Last name: Kiefer
    DBLP: 28/6047
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 94  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell.
    On Rationality of Nonnegative Matrix Factorization.
    Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19 2017 (0) 2017
    Conference paper
    Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak.
    Parity Objectives in Countable MDPs.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak.
    On Strong Determinacy of Countable Stochastic Games.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Christoph Haase, Stefan Kiefer, Markus Lohrey.
    Computing quantiles in Markov chains with multi-dimensional costs.
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 2017 (0) 2017
    Conference paper
    Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak.
    Parity objectives in countable MDPs.
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 2017 (0) 2017
    Conference paper
    Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak.
    On strong determinacy of countable stochastic games.
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 2017 (0) 2017
    Conference paper
    Christoph Haase, Stefan Kiefer.
    The complexity of the Kth largest subset problem and related problems.
    Inf. Process. Lett. 2016, Volume 116 (0) 2016
    Conference paper
    Christoph Haase, Stefan Kiefer, Markus Lohrey.
    Efficient Quantile Computation in Markov Chains via Counting Problems for Parikh Images.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi.
    Trace Refinement in Labelled Markov Decision Processes.
    Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedin 2016 (0) 2016
    Conference paper
    Christel Baier, Stefan Kiefer, Joachim Klein 0001, Sascha Klüppelholz, David Müller 0001, James Worrell.
    Markov Chains and Unambiguous Büchi Automata.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell.
    On Restricted Nonnegative Matrix Factorization.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell.
    Nonnegative Matrix Factorization Requires Irrationality.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Christel Baier, Stefan Kiefer, Joachim Klein 0001, Sascha Klüppelholz, David Müller 0001, James Worrell.
    Markov Chains and Unambiguous Büchi Automata.
    Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I 2016 (0) 2016
    Conference paper
    Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell.
    Proving the Herman-Protocol Conjecture.
    43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy 2016 (0) 2016
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell.
    On Restricted Nonnegative Matrix Factorization.
    43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy 2016 (0) 2016
    Conference paper
    Stefan Kiefer, A. Prasad Sistla.
    Distinguishing Hidden Markov Chains.
    Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016 2016 (0) 2016
    Journal article
    Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková.
    Runtime analysis of probabilistic programs with unbounded recursion.
    J. Comput. Syst. Sci. 2015, Volume 81 (0) 2015
    Journal article
    Christoph Haase, Stefan Kiefer.
    The Complexity of the Kth Largest Subset Problem and Related Problems.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Stefan Kiefer, Ines Marusic, James Worrell.
    Minimisation of Multiplicity Tree Automata.
    Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings 2015 (0) 2015
    Journal article
    Radu Grigore, Stefan Kiefer.
    Tree Buffers.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell.
    Proving the Herman-Protocol Conjecture.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný 0001.
    Long-Run Average Behaviour of Probabilistic Vector Addition Systems.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Christoph Haase, Stefan Kiefer.
    The Odds of Staying on Budget.
    Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II 2015 (0) 2015
    Conference paper
    Radu Grigore, Stefan Kiefer.
    Tree Buffers.
    Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I 2015 (0) 2015
    Journal article
    Stefan Kiefer, A. Prasad Sistla.
    Distinguishing Hidden Markov Chains.
    CoRR 2015, Volume 0 (0) 2015
    Show item 1 to 25 of 94  

    Your query returned 94 matches in the database.