Edit Profile (opens in new tab) Kiefer, Stefan Co-Author Distance Author ID: kiefer.stefan Published as: Kiefer, Stefan Documents Indexed: 81 Publications since 2006, including 4 Additional arXiv Preprints 1 Contribution as Editor Co-Authors: 57 Co-Authors with 79 Joint Publications 1,156 Co-Co-Authors all top 5 Co-Authors 2 single-authored 21 Esparza, Javier 16 Worrell, James B. 13 Luttenberger, Michael 13 Shirmohammadi, Mahsa 11 Brázdil, Tomáš 8 Murawski, Andrzej S. 7 Mayr, Richard M. 6 Kucera, Antonin 6 Ouaknine, Joel O. 5 Chistikov, Dmitry V. 5 Haase, Christoph 5 Marusic, Ines 5 Totzke, Patrick 5 Wachter, Björn 3 Forejt, Vojtěch 3 Grigore, Radu 3 Jančar, Petr 3 Novotný, Petr 3 Schwoon, Stefan 3 Widdershoven, Cas 3 Wojtczak, Dominik 2 Baier, Christel 2 Chen, Taolue 2 Fijalkow, Nathanaël 2 Gaiser, Andreas 2 Klein, Joachim 2 Lohrey, Markus 2 Mascle, Corto N. 2 Müller, David I. 2 Purser, David 2 Vařeková, Ivana Hutařová 1 Balaji, Nikhil 1 Benedikt, Michael A. 1 Bonnet, Remi 1 Bruna, Maria 1 Bumpus, Georgina 1 Darwin, Oscar 1 Dräger, Klaus 1 Ganty, Pierre 1 Gawlitza, Thomas Martin 1 Göller, Stefan 1 Indzhev, Emil 1 Jaax, Stefan 1 Katoen, Joost-Pieter 1 Klüppelholz, Sascha 1 Křetínský, Jan 1 Kühnrich, Morten 1 Lin, Anthony Widjaja 1 Pérez, Guillermo A. 1 Seidl, Helmut 1 Semukhin, Pavel 1 Srba, Jiří 1 Stoienescu, Paul-Ioan 1 Tang, Qiyi 1 Tasson, Christine 1 Weininger, Maximilian 1 Zhang, Lijun all top 5 Serials 5 Information Processing Letters 5 Logical Methods in Computer Science 3 Journal of Computer and System Sciences 2 Information and Computation 2 Formal Methods in System Design 2 Journal of the ACM 1 SIAM Journal on Computing 1 Theoretical Computer Science 1 SIAM Journal on Discrete Mathematics 1 Formal Aspects of Computing 1 Lecture Notes in Computer Science 1 Journal of Satisfiability, Boolean Modeling and Computation 1 SIAM Journal on Applied Algebra and Geometry all top 5 Fields 73 Computer science (68-XX) 12 Probability theory and stochastic processes (60-XX) 5 Numerical analysis (65-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Mathematical logic and foundations (03-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Associative rings and algebras (16-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Group theory and generalizations (20-XX) 1 Approximations and expansions (41-XX) 1 Convex and discrete geometry (52-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 63 Publications have been cited 277 times in 180 Documents Cited by ▼ Year ▼ Parikh’s theorem: a simple and direct automaton construction. Zbl 1260.68203 Esparza, Javier; Ganty, Pierre; Kiefer, Stefan; Luttenberger, Michael 15 2011 Markov chains and unambiguous Büchi automata. Zbl 1411.68051 Baier, Christel; Kiefer, Stefan; Klein, Joachim; Klüppelholz, Sascha; Müller, David; Worrell, James 13 2016 Newtonian program analysis. Zbl 1327.68079 Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 12 2010 On the total variation distance of labelled Markov chains. Zbl 1395.68202 Chen, Taolue; Kiefer, Stefan 11 2014 The odds of staying on budget. Zbl 1440.68119 Haase, Christoph; Kiefer, Stefan 11 2015 On the convergence of Newton’s method for monotone systems of polynomial equations. Zbl 1232.65076 Kiefer, Stefan; Luttenberger, Michael; Esparza, Javier 10 2007 Analyzing probabilistic pushdown automata. Zbl 1291.68226 Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Kučera, Antonín 10 2013 Abstraction refinement with Craig interpolation and symbolic pushdown systems. Zbl 1180.68113 Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan 9 2006 On fixed point equations over commutative semirings. Zbl 1186.68307 Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 9 2007 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 9 2013 An extension of Newton’s method to \(\omega \)-continuous semirings. Zbl 1202.68106 Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 8 2007 BPA bisimilarity is EXPTIME-hard. Zbl 1259.68145 Kiefer, Stefan 8 2013 Model checking stochastic branching processes. Zbl 1365.68320 Chen, Taolue; Dräger, Klaus; Kiefer, Stefan 7 2012 Computing the least fixed point of positive polynomial systems. Zbl 1213.65076 Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 7 2010 Approximative methods for monotone systems of min-max-polynomial equations. Zbl 1153.65337 Esparza, Javier; Gawlitza, Thomas; Kiefer, Stefan; Seidl, Helmut 7 2008 Computing least fixed points of probabilistic systems of polynomials. Zbl 1230.65022 Esparza, Javier; Gaiser, Andreas; Kiefer, Stefan 6 2010 On stabilization in Herman’s algorithm. Zbl 1333.68038 Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun 6 2011 The complexity of the \(K\)th largest subset problem and related problems. Zbl 1346.68110 Haase, Christoph; Kiefer, Stefan 6 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 5 2015 Bisimilarity of pushdown automata is nonelementary. Zbl 1366.68136 Benedikt, Michael; Göller, Stefan; Kiefer, Stefan; Murawski, Andrzej S. 5 2013 Nonnegative matrix factorization requires irrationality. Zbl 1369.15020 Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James 5 2017 Convergence thresholds of Newton’s method for monotone polynomial equations. Zbl 1259.65225 Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 5 2008 Analysis of probabilistic basic parallel processes. Zbl 1405.68208 Bonnet, Rémi; Kiefer, Stefan; Lin, Anthony Widjaja 5 2014 Zero-reachability in probabilistic multi-counter automata. Zbl 1401.68151 Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr; Katoen, Joost-Pieter 4 2014 Long-run average behaviour of probabilistic vector addition systems. Zbl 1392.68284 Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr 4 2015 Stability and complexity of minimising probabilistic automata. Zbl 1409.68160 Kiefer, Stefan; Wachter, Björn 4 2014 Language equivalence of probabilistic pushdown automata. Zbl 1360.68556 Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James 4 2014 Newton’s method for \(\omega \)-continuous semirings. Zbl 1155.68364 Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 4 2008 The big-O problem for labelled Markov chains and weighted automata. Zbl 07559497 Chistikov, Dmitry; Kiefer, Stefan; Murawski, Andrzej S.; Purser, David 4 2020 On computing the total variation distance of hidden Markov models. Zbl 1499.68146 Kiefer, Stefan 4 2018 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á 3 2011 Distinguishing hidden Markov chains. Zbl 1401.68086 Kiefer, Stefan; Sistla, A. Prasad 3 2016 Algorithmic probabilistic game semantics. Playing games with automata. Zbl 1291.68294 Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 3 2013 Efficient analysis of probabilistic programs with an unbounded counter. Zbl 1321.68186 Brázdil, Tomás; Kiefer, Stefan; Kŭcera, Antonín 3 2014 Parity objectives in countable MDPs. Zbl 1457.68109 Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Wojtczak, Dominik 3 2017 Büchi objectives in countable MDPs. Zbl 07561612 Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Totzke, Patrick 3 2019 Three tokens in Herman’s algorithm. Zbl 1259.68230 Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 3 2012 On the memory consumption of probabilistic pushdown automata. Zbl 1248.68321 Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan 2 2009 On probabilistic parallel programs with process creation and synchronisation. Zbl 1316.68037 Kiefer, Stefan; Wojtczak, Dominik 2 2011 Derivation tree analysis for accelerated fixed-point computation. Zbl 1218.68102 Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 2 2011 Abstraction refinement with Craig interpolation and symbolic pushdown systems. Zbl 1172.68541 Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan 2 2009 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 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 2 2013 Minimisation of multiplicity tree automata. Zbl 1459.68103 Kiefer, Stefan; Marusic, Ines; Worrell, James 2 2015 On restricted nonnegative matrix factorization. Zbl 1388.15010 Chistikov, Dmitry; Kiefer, Stefan; Marusic, Ines; Shirmohammadi, Mahsa; Worrell, James 2 2016 Bisimilarity of probabilistic pushdown automata. Zbl 1354.68152 Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James 2 2012 On complementing unambiguous automata and graphs with many cliques and cocliques. Zbl 07537429 Indzhev, Emil; Kiefer, Stefan 2 2022 On the complexity of value iteration. Zbl 07561595 Balaji, Nikhil; Kiefer, Stefan; Novotný, Petr; Pérez, Guillermo A.; Shirmohammadi, Mahsa 2 2019 Selective monitoring. Zbl 1520.68101 Grigore, Radu; Kiefer, Stefan 2 2018 Game characterization of probabilistic bisimilarity, and applications to pushdown automata. Zbl 1407.68252 Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James 2 2018 Stabilization of branching queueing networks. Zbl 1245.68031 Brázdil, Tomáš; Kiefer, Stefan 1 2012 Interprocedural dataflow analysis over weight domains with infinite descending chains. Zbl 1234.68219 Kühnrich, Morten; Schwoon, Stefan; Srba, Jiří; Kiefer, Stefan 1 2009 Derivation tree analysis for accelerated fixed-point computation. Zbl 1161.68880 Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 1 2008 Minimisation of multiplicity tree automata. Zbl 1398.68314 Kiefer, Stefan; Marušić, Ines; Worrell, James 1 2017 Trace refinement in labelled Markov decision processes. Zbl 1475.68203 Fijalkow, Nathanaël; Kiefer, Stefan; Shirmohammadi, Mahsa 1 2016 Computing quantiles in Markov chains with multi-dimensional costs. Zbl 1457.68112 Haase, Christoph; Kiefer, Stefan; Lohrey, Markus 1 2017 On strong determinacy of countable stochastic games. Zbl 1452.91028 Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Wojtczak, Dominik 1 2017 Enforcing \(\omega\)-regular properties in Markov chains by restarting. Zbl 07730607 Esparza, Javier; Kiefer, Stefan; Křetínský, Jan; Weininger, Maximilian 1 2021 Space-efficient scheduling of stochastically generated tasks. Zbl 1288.68032 Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 1 2010 On affine reachability problems. Zbl 07559419 Jaax, Stefan; Kiefer, Stefan 1 2020 Strategy complexity of parity objectives in countable MDPs. Zbl 07559495 Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Totzke, Patrick 1 2020 Efficient analysis of unambiguous automata using matrix semigroup techniques. Zbl 07561726 Kiefer, Stefan; Widdershoven, Cas 1 2019 On rationality of nonnegative matrix factorization. Zbl 1418.15013 Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James 1 2017 On complementing unambiguous automata and graphs with many cliques and cocliques. Zbl 07537429 Indzhev, Emil; Kiefer, Stefan 2 2022 Enforcing \(\omega\)-regular properties in Markov chains by restarting. Zbl 07730607 Esparza, Javier; Kiefer, Stefan; Křetínský, Jan; Weininger, Maximilian 1 2021 The big-O problem for labelled Markov chains and weighted automata. Zbl 07559497 Chistikov, Dmitry; Kiefer, Stefan; Murawski, Andrzej S.; Purser, David 4 2020 On affine reachability problems. Zbl 07559419 Jaax, Stefan; Kiefer, Stefan 1 2020 Strategy complexity of parity objectives in countable MDPs. Zbl 07559495 Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Totzke, Patrick 1 2020 Büchi objectives in countable MDPs. Zbl 07561612 Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Totzke, Patrick 3 2019 On the complexity of value iteration. Zbl 07561595 Balaji, Nikhil; Kiefer, Stefan; Novotný, Petr; Pérez, Guillermo A.; Shirmohammadi, Mahsa 2 2019 Efficient analysis of unambiguous automata using matrix semigroup techniques. Zbl 07561726 Kiefer, Stefan; Widdershoven, Cas 1 2019 On computing the total variation distance of hidden Markov models. Zbl 1499.68146 Kiefer, Stefan 4 2018 Selective monitoring. Zbl 1520.68101 Grigore, Radu; Kiefer, Stefan 2 2018 Game characterization of probabilistic bisimilarity, and applications to pushdown automata. Zbl 1407.68252 Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James 2 2018 Nonnegative matrix factorization requires irrationality. Zbl 1369.15020 Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James 5 2017 Parity objectives in countable MDPs. Zbl 1457.68109 Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Wojtczak, Dominik 3 2017 Minimisation of multiplicity tree automata. Zbl 1398.68314 Kiefer, Stefan; Marušić, Ines; Worrell, James 1 2017 Computing quantiles in Markov chains with multi-dimensional costs. Zbl 1457.68112 Haase, Christoph; Kiefer, Stefan; Lohrey, Markus 1 2017 On strong determinacy of countable stochastic games. Zbl 1452.91028 Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Wojtczak, Dominik 1 2017 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 13 2016 The complexity of the \(K\)th largest subset problem and related problems. Zbl 1346.68110 Haase, Christoph; Kiefer, Stefan 6 2016 Distinguishing hidden Markov chains. Zbl 1401.68086 Kiefer, Stefan; Sistla, A. Prasad 3 2016 On restricted nonnegative matrix factorization. Zbl 1388.15010 Chistikov, Dmitry; Kiefer, Stefan; Marusic, Ines; Shirmohammadi, Mahsa; Worrell, James 2 2016 Trace refinement in labelled Markov decision processes. Zbl 1475.68203 Fijalkow, Nathanaël; Kiefer, Stefan; Shirmohammadi, Mahsa 1 2016 The odds of staying on budget. Zbl 1440.68119 Haase, Christoph; Kiefer, Stefan 11 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 5 2015 Long-run average behaviour of probabilistic vector addition systems. Zbl 1392.68284 Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr 4 2015 Minimisation of multiplicity tree automata. Zbl 1459.68103 Kiefer, Stefan; Marusic, Ines; Worrell, James 2 2015 On the total variation distance of labelled Markov chains. Zbl 1395.68202 Chen, Taolue; Kiefer, Stefan 11 2014 Analysis of probabilistic basic parallel processes. Zbl 1405.68208 Bonnet, Rémi; Kiefer, Stefan; Lin, Anthony Widjaja 5 2014 Zero-reachability in probabilistic multi-counter automata. Zbl 1401.68151 Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr; Katoen, Joost-Pieter 4 2014 Stability and complexity of minimising probabilistic automata. Zbl 1409.68160 Kiefer, Stefan; Wachter, Björn 4 2014 Language equivalence of probabilistic pushdown automata. Zbl 1360.68556 Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James 4 2014 Efficient analysis of probabilistic programs with an unbounded counter. Zbl 1321.68186 Brázdil, Tomás; Kiefer, Stefan; Kŭcera, Antonín 3 2014 Analyzing probabilistic pushdown automata. Zbl 1291.68226 Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Kučera, Antonín 10 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 9 2013 BPA bisimilarity is EXPTIME-hard. Zbl 1259.68145 Kiefer, Stefan 8 2013 Bisimilarity of pushdown automata is nonelementary. Zbl 1366.68136 Benedikt, Michael; Göller, Stefan; Kiefer, Stefan; Murawski, Andrzej S. 5 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 3 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 2 2013 Model checking stochastic branching processes. Zbl 1365.68320 Chen, Taolue; Dräger, Klaus; Kiefer, Stefan 7 2012 Three tokens in Herman’s algorithm. Zbl 1259.68230 Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 3 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 Bisimilarity of probabilistic pushdown automata. Zbl 1354.68152 Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James 2 2012 Stabilization of branching queueing networks. Zbl 1245.68031 Brázdil, Tomáš; Kiefer, Stefan 1 2012 Parikh’s theorem: a simple and direct automaton construction. Zbl 1260.68203 Esparza, Javier; Ganty, Pierre; Kiefer, Stefan; Luttenberger, Michael 15 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á 3 2011 On probabilistic parallel programs with process creation and synchronisation. Zbl 1316.68037 Kiefer, Stefan; Wojtczak, Dominik 2 2011 Derivation tree analysis for accelerated fixed-point computation. Zbl 1218.68102 Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 2 2011 Newtonian program analysis. Zbl 1327.68079 Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 12 2010 Computing the least fixed point of positive polynomial systems. Zbl 1213.65076 Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 7 2010 Computing least fixed points of probabilistic systems of polynomials. Zbl 1230.65022 Esparza, Javier; Gaiser, Andreas; Kiefer, Stefan 6 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 Abstraction refinement with Craig interpolation and symbolic pushdown systems. Zbl 1172.68541 Esparza, Javier; Kiefer, Stefan; Schwoon, 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 7 2008 Convergence thresholds of Newton’s method for monotone polynomial equations. Zbl 1259.65225 Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 5 2008 Newton’s method for \(\omega \)-continuous semirings. Zbl 1155.68364 Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 4 2008 Derivation tree analysis for accelerated fixed-point computation. Zbl 1161.68880 Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 1 2008 On the convergence of Newton’s method for monotone systems of polynomial equations. Zbl 1232.65076 Kiefer, Stefan; Luttenberger, Michael; Esparza, Javier 10 2007 On fixed point equations over commutative semirings. Zbl 1186.68307 Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 9 2007 An extension of Newton’s method to \(\omega \)-continuous semirings. Zbl 1202.68106 Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 8 2007 Abstraction refinement with Craig interpolation and symbolic pushdown systems. Zbl 1180.68113 Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan 9 2006 all cited Publications top 5 cited Publications all top 5 Cited by 327 Authors 28 Kiefer, Stefan 9 Luttenberger, Michael 8 Esparza, Javier 8 Kucera, Antonin 8 Worrell, James B. 8 Zhang, Lijun 7 Brázdil, Tomáš 7 Etessami, Kousha 7 Jančar, Petr 7 Yannakakis, Mihalis 6 Baier, Christel 6 Ganty, Pierre 6 Mayr, Richard M. 6 Potapov, Igor 6 Shirmohammadi, Mahsa 5 Chistikov, Dmitry V. 5 Katoen, Joost-Pieter 5 Murawski, Andrzej S. 5 Randour, Mickael 5 Stewart, Alistair 4 Forejt, Vojtěch 4 Otop, Jan 4 Wojtczak, Dominik 3 Abdulla, Parosh Aziz 3 Atig, Mohamed Faouzi 3 Balle, Borja 3 Bell, Paul C. 3 Chatterjee, Krishnendu 3 Fernau, Henning 3 Gallagher, John P. 3 Henzinger, Thomas A. 3 Kwiatkowska, Marta Z. 3 Li, Yong 3 Marusic, Ines 3 Müller, David I. 3 Niskanen, Reino 3 Purser, David 3 Totzke, Patrick 3 Vardi, Moshe Ya’akov 3 Wang, Bow-Yaw 3 Winkler, Tobias 2 Avni, Guy 2 Bartocci, Ezio 2 Brihaye, Thomas 2 Delgrange, Florent 2 Ésik, Zoltán 2 Feng, Yuan 2 Francalanza, Adrian 2 Gaubert, Stéphane 2 Gehnen, Christina 2 Haase, Christoph 2 Hadjicostis, Christoforos N. 2 Halava, Vesa 2 Harju, Tero 2 Huang, Mingzhang 2 Jantsch, Simon 2 Kafle, Bishoksan 2 Klein, Joachim 2 Kobayashi, Naoki 2 Křetínský, Jan 2 Kupferman, Orna 2 Lavado, Giovanna Janet 2 Lefaucheux, Engel 2 Liu, Depeng 2 Löbel, Raphaela 2 Michaliszyn, Jakub 2 Okhotin, Alexander 2 Ouaknine, Joel O. 2 Oualhadj, Youssouf 2 Paramasivan, Meenakshi 2 Pighizzini, Giovanni 2 Przybyłko, Marcin 2 Raskin, Jean-François 2 Reps, Thomas W. 2 Schewe, Sven 2 Schlund, Maximilian 2 Schmid, Markus L. 2 Seidl, Helmut 2 Semukhin, Pavel 2 Shitov, Yaroslav Nikolaevich 2 Silva, Alexandra 2 Srba, Jiří 2 Vařeková, Ivana Hutařová 2 Weininger, Maximilian 2 Widdershoven, Cas 2 Zeitoun, Marc 1 Abate, Alessandro 1 Aceto, Luca 1 Achilleos, Antonis 1 Adjé, Assalé 1 Agarwal, Raj Aryan 1 Aguirre, Alejandro 1 Ahrendt, Wolfgang 1 Allender, Eric W. 1 Almeida, Bernardo F. 1 Alrajeh, Dalal 1 Alvarez, Jorge 1 Amir-Mohammadian, Sepehr 1 Anastasiadi, Elli 1 Anderson, Daniel M. ...and 227 more Authors all top 5 Cited in 30 Serials 20 Information and Computation 11 Journal of Computer and System Sciences 10 Logical Methods in Computer Science 8 Theoretical Computer Science 7 Formal Methods in System Design 5 International Journal of Foundations of Computer Science 4 Information Processing Letters 3 Theory and Practice of Logic Programming 2 SIAM Journal on Computing 2 Journal of Symbolic Computation 2 Formal Aspects of Computing 2 Mathematical Programming. Series A. Series B 2 Journal of the ACM 1 Discrete Applied Mathematics 1 Journal of Mathematical Analysis and Applications 1 Applied Mathematics and Optimization 1 Automatica 1 Journal of Computational and Applied Mathematics 1 Mathematics of Operations Research 1 Systems & Control Letters 1 Journal of Automated Reasoning 1 SIAM Journal on Discrete Mathematics 1 MSCS. Mathematical Structures in Computer Science 1 Linear Algebra and its Applications 1 SIAM Review 1 Distributed Computing 1 Indagationes Mathematicae. New Series 1 Journal of Machine Learning Research (JMLR) 1 Journal of Logical and Algebraic Methods in Programming 1 SIAM Journal on Applied Algebra and Geometry all top 5 Cited in 20 Fields 161 Computer science (68-XX) 22 Mathematical logic and foundations (03-XX) 22 Probability theory and stochastic processes (60-XX) 15 Operations research, mathematical programming (90-XX) 13 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 4 Associative rings and algebras (16-XX) 4 Convex and discrete geometry (52-XX) 4 Systems theory; control (93-XX) 3 Group theory and generalizations (20-XX) 2 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 2 Number theory (11-XX) 2 Category theory; homological algebra (18-XX) 2 Operator theory (47-XX) 2 Quantum theory (81-XX) 1 General algebraic systems (08-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Numerical analysis (65-XX) Citations by Year