×

zbMATH — the first resource for mathematics

Kiefer, Stefan

Compute Distance To:
Author ID: kiefer.stefan Recent zbMATH articles by "Kiefer, Stefan"
Published as: Kiefer, Stefan
Documents Indexed: 59 Publications since 2006

Publications by Year

Citations contained in zbMATH

43 Publications have been cited 142 times in 87 Documents Cited by Year
On the convergence of Newton’s method for monotone systems of polynomial equations. Zbl 1232.65076
Kiefer, Stefan; Luttenberger, Michael; Esparza, Javier
8
2007
Parikh’s theorem: a simple and direct automaton construction. Zbl 1260.68203
Esparza, Javier; Ganty, Pierre; Kiefer, Stefan; Luttenberger, Michael
7
2011
Abstraction refinement with Craig interpolation and symbolic pushdown systems. Zbl 1180.68113
Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan
7
2006
On stabilization in Herman’s algorithm. Zbl 1333.68038
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun
6
2011
Newtonian program analysis. Zbl 1327.68079
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
6
2010
Computing the least fixed point of positive polynomial systems. Zbl 1213.65076
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
6
2010
Approximative methods for monotone systems of min-max-polynomial equations. Zbl 1153.65337
Esparza, Javier; Gawlitza, Thomas; Kiefer, Stefan; Seidl, Helmut
6
2008
Nonnegative matrix factorization requires irrationality. Zbl 1369.15020
Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James
5
2017
The odds of staying on budget. Zbl 1440.68119
Haase, Christoph; Kiefer, Stefan
5
2015
Bisimilarity of pushdown automata is nonelementary. Zbl 1366.68136
Benedikt, Michael; Göller, Stefan; Kiefer, Stefan; Murawski, Andrzej S.
5
2013
BPA bisimilarity is EXPTIME-hard. Zbl 1259.68145
Kiefer, Stefan
5
2013
Computing least fixed points of probabilistic systems of polynomials. Zbl 1230.65022
Esparza, Javier; Gaiser, Andreas; Kiefer, Stefan
5
2010
An extension of Newton’s method to \(\omega \)-continuous semirings. Zbl 1202.68106
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
5
2007
On fixed point equations over commutative semirings. Zbl 1186.68307
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
5
2007
Stability and complexity of minimising probabilistic automata. Zbl 1409.68160
Kiefer, Stefan; Wachter, Björn
4
2014
Analyzing probabilistic pushdown automata. Zbl 1291.68226
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Kučera, Antonín
4
2013
On the complexity of equivalence and minimisation for \(\mathbb Q\)-weighted automata. Zbl 1260.68207
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
4
2013
Convergence thresholds of Newton’s method for monotone polynomial equations. Zbl 1259.65225
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
4
2008
Newton’s method for \(\omega \)-continuous semirings. Zbl 1155.68364
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
4
2008
The complexity of the \(K\)th largest subset problem and related problems. Zbl 1346.68110
Haase, Christoph; Kiefer, Stefan
3
2016
On the total variation distance of labelled Markov chains. Zbl 1395.68202
Chen, Taolue; Kiefer, Stefan
3
2014
Analysis of probabilistic basic parallel processes. Zbl 1405.68208
Bonnet, Rémi; Kiefer, Stefan; Lin, Anthony Widjaja
3
2014
Three tokens in Herman’s algorithm. Zbl 1259.68230
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
3
2012
Distinguishing hidden Markov chains. Zbl 1401.68086
Kiefer, Stefan; Sistla, A. Prasad
2
2016
Runtime analysis of probabilistic programs with unbounded recursion. Zbl 1410.68083
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Hutařová Vařeková, Ivana
2
2015
Language equivalence of probabilistic pushdown automata. Zbl 1360.68556
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
2
2014
Algorithmic probabilistic game semantics. Playing games with automata. Zbl 1291.68294
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
2
2013
Bisimilarity of probabilistic pushdown automata. Zbl 1354.68152
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
2
2012
Model checking stochastic branching processes. Zbl 1365.68320
Chen, Taolue; Dräger, Klaus; Kiefer, Stefan
2
2012
On the complexity of the equivalence problem for probabilistic automata. Zbl 1352.68114
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
2
2012
Runtime analysis of probabilistic programs with unbounded recursion. Zbl 1242.68064
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Vařeková, Ivana Hutařová
2
2011
On the memory consumption of probabilistic pushdown automata. Zbl 1248.68321
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan
2
2009
Game characterization of probabilistic bisimilarity, and applications to pushdown automata. Zbl 1407.68252
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
1
2018
On rationality of nonnegative matrix factorization. Zbl 1418.15013
Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James
1
2017
Markov chains and unambiguous Büchi automata. Zbl 1411.68051
Baier, Christel; Kiefer, Stefan; Klein, Joachim; Klüppelholz, Sascha; Müller, David; Worrell, James
1
2016
On restricted nonnegative matrix factorization. Zbl 1388.15010
Chistikov, Dmitry; Kiefer, Stefan; Marusic, Ines; Shirmohammadi, Mahsa; Worrell, James
1
2016
Trace refinement in labelled Markov decision processes. Zbl 06591827
Fijalkow, Nathanaël; Kiefer, Stefan; Shirmohammadi, Mahsa
1
2016
Long-run average behaviour of probabilistic vector addition systems. Zbl 1392.68284
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr
1
2015
Efficient analysis of probabilistic programs with an unbounded counter. Zbl 1321.68186
Brázdil, Tomás; Kiefer, Stefan; Kŭcera, Antonín
1
2014
A strongly polynomial algorithm for criticality of branching processes and consistency of stochastic context-free grammars. Zbl 1371.68202
Esparza, Javier; Gaiser, Andreas; Kiefer, Stefan
1
2013
On probabilistic parallel programs with process creation and synchronisation. Zbl 1316.68037
Kiefer, Stefan; Wojtczak, Dominik
1
2011
Space-efficient scheduling of stochastically generated tasks. Zbl 1288.68032
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
1
2010
Interprocedural dataflow analysis over weight domains with infinite descending chains. Zbl 1234.68219
Kühnrich, Morten; Schwoon, Stefan; Srba, Jiří; Kiefer, Stefan
1
2009
Game characterization of probabilistic bisimilarity, and applications to pushdown automata. Zbl 1407.68252
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
1
2018
Nonnegative matrix factorization requires irrationality. Zbl 1369.15020
Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James
5
2017
On rationality of nonnegative matrix factorization. Zbl 1418.15013
Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James
1
2017
The complexity of the \(K\)th largest subset problem and related problems. Zbl 1346.68110
Haase, Christoph; Kiefer, Stefan
3
2016
Distinguishing hidden Markov chains. Zbl 1401.68086
Kiefer, Stefan; Sistla, A. Prasad
2
2016
Markov chains and unambiguous Büchi automata. Zbl 1411.68051
Baier, Christel; Kiefer, Stefan; Klein, Joachim; Klüppelholz, Sascha; Müller, David; Worrell, James
1
2016
On restricted nonnegative matrix factorization. Zbl 1388.15010
Chistikov, Dmitry; Kiefer, Stefan; Marusic, Ines; Shirmohammadi, Mahsa; Worrell, James
1
2016
Trace refinement in labelled Markov decision processes. Zbl 06591827
Fijalkow, Nathanaël; Kiefer, Stefan; Shirmohammadi, Mahsa
1
2016
The odds of staying on budget. Zbl 1440.68119
Haase, Christoph; Kiefer, Stefan
5
2015
Runtime analysis of probabilistic programs with unbounded recursion. Zbl 1410.68083
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Hutařová Vařeková, Ivana
2
2015
Long-run average behaviour of probabilistic vector addition systems. Zbl 1392.68284
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr
1
2015
Stability and complexity of minimising probabilistic automata. Zbl 1409.68160
Kiefer, Stefan; Wachter, Björn
4
2014
On the total variation distance of labelled Markov chains. Zbl 1395.68202
Chen, Taolue; Kiefer, Stefan
3
2014
Analysis of probabilistic basic parallel processes. Zbl 1405.68208
Bonnet, Rémi; Kiefer, Stefan; Lin, Anthony Widjaja
3
2014
Language equivalence of probabilistic pushdown automata. Zbl 1360.68556
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
2
2014
Efficient analysis of probabilistic programs with an unbounded counter. Zbl 1321.68186
Brázdil, Tomás; Kiefer, Stefan; Kŭcera, Antonín
1
2014
Bisimilarity of pushdown automata is nonelementary. Zbl 1366.68136
Benedikt, Michael; Göller, Stefan; Kiefer, Stefan; Murawski, Andrzej S.
5
2013
BPA bisimilarity is EXPTIME-hard. Zbl 1259.68145
Kiefer, Stefan
5
2013
Analyzing probabilistic pushdown automata. Zbl 1291.68226
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Kučera, Antonín
4
2013
On the complexity of equivalence and minimisation for \(\mathbb Q\)-weighted automata. Zbl 1260.68207
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
4
2013
Algorithmic probabilistic game semantics. Playing games with automata. Zbl 1291.68294
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
2
2013
A strongly polynomial algorithm for criticality of branching processes and consistency of stochastic context-free grammars. Zbl 1371.68202
Esparza, Javier; Gaiser, Andreas; Kiefer, Stefan
1
2013
Three tokens in Herman’s algorithm. Zbl 1259.68230
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
3
2012
Bisimilarity of probabilistic pushdown automata. Zbl 1354.68152
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
2
2012
Model checking stochastic branching processes. Zbl 1365.68320
Chen, Taolue; Dräger, Klaus; Kiefer, Stefan
2
2012
On the complexity of the equivalence problem for probabilistic automata. Zbl 1352.68114
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
2
2012
Parikh’s theorem: a simple and direct automaton construction. Zbl 1260.68203
Esparza, Javier; Ganty, Pierre; Kiefer, Stefan; Luttenberger, Michael
7
2011
On stabilization in Herman’s algorithm. Zbl 1333.68038
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun
6
2011
Runtime analysis of probabilistic programs with unbounded recursion. Zbl 1242.68064
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Vařeková, Ivana Hutařová
2
2011
On probabilistic parallel programs with process creation and synchronisation. Zbl 1316.68037
Kiefer, Stefan; Wojtczak, Dominik
1
2011
Newtonian program analysis. Zbl 1327.68079
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
6
2010
Computing the least fixed point of positive polynomial systems. Zbl 1213.65076
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
6
2010
Computing least fixed points of probabilistic systems of polynomials. Zbl 1230.65022
Esparza, Javier; Gaiser, Andreas; Kiefer, Stefan
5
2010
Space-efficient scheduling of stochastically generated tasks. Zbl 1288.68032
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
1
2010
On the memory consumption of probabilistic pushdown automata. Zbl 1248.68321
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan
2
2009
Interprocedural dataflow analysis over weight domains with infinite descending chains. Zbl 1234.68219
Kühnrich, Morten; Schwoon, Stefan; Srba, Jiří; Kiefer, Stefan
1
2009
Approximative methods for monotone systems of min-max-polynomial equations. Zbl 1153.65337
Esparza, Javier; Gawlitza, Thomas; Kiefer, Stefan; Seidl, Helmut
6
2008
Convergence thresholds of Newton’s method for monotone polynomial equations. Zbl 1259.65225
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
4
2008
Newton’s method for \(\omega \)-continuous semirings. Zbl 1155.68364
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
4
2008
On the convergence of Newton’s method for monotone systems of polynomial equations. Zbl 1232.65076
Kiefer, Stefan; Luttenberger, Michael; Esparza, Javier
8
2007
An extension of Newton’s method to \(\omega \)-continuous semirings. Zbl 1202.68106
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
5
2007
On fixed point equations over commutative semirings. Zbl 1186.68307
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
5
2007
Abstraction refinement with Craig interpolation and symbolic pushdown systems. Zbl 1180.68113
Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan
7
2006
all top 5

Cited by 150 Authors

18 Kiefer, Stefan
7 Brázdil, Tomáš
7 Kucera, Antonin
6 Esparza, Javier
6 Etessami, Kousha
6 Worrell, James B.
6 Yannakakis, Mihalis
5 Jančar, Petr
5 Luttenberger, Michael
4 Forejt, Vojtěch
4 Shirmohammadi, Mahsa
4 Stewart, Alistair
3 Ganty, Pierre
3 Kwiatkowska, Marta Z.
3 Randour, Mickael
3 Zhang, Lijun
2 Abdulla, Parosh Aziz
2 Baier, Christel
2 Chistikov, Dmitry V.
2 Feng, Yuan
2 Fernau, Henning
2 Gaubert, Stéphane
2 Haase, Christoph
2 Huang, Mingzhang
2 Katoen, Joost-Pieter
2 Lavado, Giovanna Janet
2 Majumdar, Rupak
2 Marusic, Ines
2 Mayr, Richard M.
2 Murawski, Andrzej S.
2 Ouaknine, Joel O.
2 Pighizzini, Giovanni
2 Raskin, Jean-François
2 Schlund, Maximilian
2 Shitov, Yaroslav Nikolaevich
2 Vařeková, Ivana Hutařová
2 Wojtczak, Dominik
1 Abate, Alessandro
1 Adjé, Assalé
1 Allender, Eric W.
1 Alrajeh, Dalal
1 Alvarez, Jacqueline
1 Atig, Mohamed Faouzi
1 Avni, Guy
1 Bacci, Giorgio
1 Bacci, Giovanni
1 Balle, Borja
1 Bertrand, Nathalie
1 Bian, Gaoang
1 Bloom, Stephen L.
1 Böhm, Stanislav
1 Brihaye, Thomas
1 Brožek, Václav
1 Brualdi, Richard Anthony
1 Bruyère, Véronique
1 Cavezza, Davide G.
1 Chatterjee, Krishnendu
1 Chonev, Ventsislav
1 Ciobanu, Radu
1 Dahl, Geir
1 Dal Lago, Ugo
1 de Alfaro, Luca
1 De Raedt, Luc
1 Delgrange, Florent
1 Doyen, Laurent
1 Duran, Angel
1 Ésik, Zoltán
1 Fijalkow, Nathanaël
1 Filiot, Emmanuel
1 Frasconi, Paolo
1 Freund, Rudolf
1 Fu, Hongfei
1 Gallagher, John P.
1 Göller, Stefan
1 Goubault, Eric
1 Grellois, Charles
1 Haddad, Serge
1 Hadjicostis, Christoforos N.
1 Haslegrave, John
1 Hasuo, Ichiro
1 Henzinger, Thomas A.
1 Holzer, Markus
1 Jung, Yungbum
1 Kafle, Bishoksan
1 Kahn, David M.
1 Kaminski, Benjamin Lucien
1 Katz, Ricardo David
1 Keroglou, Christoforos
1 Kobayashi, Naoki
1 Kühnrich, Morten
1 Kupferman, Orna
1 Larsen, Kim Guldstrand
1 Lee, Wonchan
1 Lefaucheux, Engel
1 Lengál, Ondřej
1 Lin, Anthony Widjaja
1 Liu, Junyi
1 Lohrey, Markus
1 Mardare, Radu
1 Martyugin, Pavel V.
...and 50 more Authors

Citations by Year