1.Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques

作　　者：Stefan Kiefer ;Cas Widdershoven

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-13.doi:10.4230/LIPIcs.MFCS.2019.82

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892030

文章详细全文下载

2.On the Complexity of Value Iteration

作　　者：Nikhil Balaji ;Stefan Kiefer ;Petr Novotn{'y 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-15.doi:10.4230/LIPIcs.ICALP.2019.102

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892237

文章详细全文下载

3.Büchi Objectives in Countable MDPs

作　　者：Stefan Kiefer ;Richard Mayr ;Mahsa Shirmohammadi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-14.doi:10.4230/LIPIcs.ICALP.2019.119

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892254

文章详细全文下载

4.Counting Problems for Parikh Images

作　　者：Christoph Haase ;Stefan Kiefer ;Markus Lohrey

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:12:1-12:13.doi:10.4230/LIPIcs.MFCS.2017.12

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：205510027

文章详细全文下载

5.Strategy Complexity of Parity Objectives in Countable MDPs

作　　者：Stefan Kiefer ;Richard Mayr ;Mahsa Shirmohammadi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:39:1-39:17.doi:10.4230/LIPIcs.CONCUR.2020.39

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822898

文章详细全文下载

6.The Big-O Problem for Labelled Markov Chains and Weighted Automata

作　　者：Dmitry Chistikov ;Stefan Kiefer ;Andrzej S. Murawski 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:41:1-41:19.doi:10.4230/LIPIcs.CONCUR.2020.41

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822900

文章详细全文下载

7.On Affine Reachability Problems

作　　者：Stefan Jaax ;Stefan Kiefer

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:48:1-48:14.doi:10.4230/LIPIcs.MFCS.2020.48

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822958

文章详细全文下载

8.How to Play in Infinite MDPs (Invited Talk)

作　　者：Stefan Kiefer ;Richard Mayr ;Mahsa Shirmohammadi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:3:1-3:18.doi:10.4230/LIPIcs.ICALP.2020.3

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255823038

文章详细全文下载

9.On the Size of Finite Rational Matrix Semigroups

作　　者：Georgina Bumpus ;Christoph Haase ;Stefan Kiefer 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:115:1-115:13.doi:10.4230/LIPIcs.ICALP.2020.115

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255823150

文章详细全文下载

10.On Computing the Total Variation Distance of Hidden Markov Models

作　　者：Stefan Kiefer

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:130:1-130:13.doi:10.4230/LIPIcs.ICALP.2018.130

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220014921

文章详细

	有本地全文	20篇
	有全文链接	3篇

	2022	1篇
	2020	7篇
	2019	4篇
	2018	2篇
	2017	1篇

	2016	2篇
	2013	1篇
	2012	2篇
	2010	1篇
	2009	1篇
	2008	1篇

	Stefan Kiefer	23篇
	Mahsa Shirmohammadi	5篇
	James Worrell	4篇
	Dmitry Chistikov	3篇
	Javier Esparza	3篇

	Patrick Totzke	3篇
	Richard Mayr	3篇
	Andrzej S. Murawski	2篇
	Christoph Haase	2篇
	David Purser	2篇
	Radu Grigore	2篇
	Andreas Gaiser	1篇
	Andrzej Murawski	1篇
	Bjoern Wachter	1篇
	Cas Widdershoven	1篇
	Corto Mascle	1篇
	Dominik Wojtczak	1篇
	Georgina Bumpus	1篇
	Guillermo A. Prez	1篇
	Ines Marusic	1篇
	Joel Ouaknine	1篇
	Jonathan Tanner	1篇
	Jo{\"e}l Ouaknine	1篇
	Maria Bruna	1篇
	Markus Lohrey	1篇
	Michael Luttenberger	1篇
	Nikhil Balaji	1篇
	Oscar Darwin	1篇
	Paul-Ioan Stoienescu	1篇
	Petr Jancar	1篇
	Petr Novotn{'y	1篇
	Qiyi Tang	1篇
	Stefan Jaax	1篇
	Tomas Brazdil	1篇
	Tom{\'a}{\v{s}} Br{\'a}zdil	1篇
	Vojtech Forejt	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Stefan Kiefer")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	21篇
	Logical Methods in Computer Science	2篇