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 10 of 97  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell 0001.
    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, Markus Lohrey.
    Counting Problems for Parikh Images.
    42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark 2017 (0) 2017
    Conference paper
    Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell 0001.
    Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata.
    CoRR 2017, Volume 0 (0) 2017
    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
    Show item 1 to 10 of 97  

    Your query returned 97 matches in the database.