Folgen
Stefan Kiefer
Stefan Kiefer
Associate Professor, University of Oxford
Bestätigte E-Mail-Adresse bei cs.ox.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Abstraction refinement with Craig interpolation and symbolic pushdown systems
J Esparza, S Kiefer, S Schwoon
Tools and Algorithms for the Construction and Analysis of Systems: 12th …, 2006
672006
Parikhʼs theorem: A simple and direct automaton construction
J Esparza, P Ganty, S Kiefer, M Luttenberger
Information Processing Letters 111 (12), 614-619, 2011
652011
Newtonian program analysis
J Esparza, S Kiefer, M Luttenberger
Journal of the ACM (JACM) 57 (6), 1-47, 2010
652010
Proving termination of probabilistic programs using patterns
J Esparza, A Gaiser, S Kiefer
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
582012
Language equivalence for probabilistic automata
S Kiefer, AS Murawski, J Ouaknine, B Wachter, J Worrell
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
482011
On the convergence of Newton's method for monotone systems of polynomial equations
S Kiefer, M Luttenberger, J Esparza
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing …, 2007
472007
On fixed point equations over commutative semirings
J Esparza, S Kiefer, M Luttenberger
STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science …, 2007
462007
On the total variation distance of labelled Markov chains
T Chen, S Kiefer
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
422014
The odds of staying on budget
C Haase, S Kiefer
Automata, Languages, and Programming: 42nd International Colloquium, ICALP …, 2015
412015
Analyzing probabilistic pushdown automata
T Brázdil, J Esparza, S Kiefer, A Kučera
Formal Methods in System Design 43, 124-163, 2013
402013
BPA bisimilarity is EXPTIME-hard
S Kiefer
Information Processing Letters 113 (4), 101-106, 2013
372013
Markov chains and unambiguous Büchi automata
C Baier, S Kiefer, J Klein, S Klüppelholz, D Müller, J Worrell
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
332016
Convergence thresholds of Newton's method for monotone polynomial equations
J Esparza, S Kiefer, M Luttenberger
arXiv preprint arXiv:0802.2856, 2008
312008
Computing the least fixed point of positive polynomial systems
J Esparza, S Kiefer, M Luttenberger
SIAM Journal on Computing 39 (6), 2282-2335, 2010
272010
Runtime analysis of probabilistic programs with unbounded recursion
T Brázdil, S Kiefer, A Kučera, IH Vařeková
Journal of Computer and System Sciences 81 (1), 288-310, 2015
262015
On the complexity of equivalence and minimisation for Q-weighted automata
S Kiefer, A Murawski, J Ouaknine, B Wachter, J Worrell
arXiv preprint arXiv:1302.2818, 2013
262013
Efficient analysis of probabilistic programs with an unbounded counter
T Brázdil, S Kiefer, A Kŭcera
Journal of the ACM (JACM) 61 (6), 1-35, 2014
252014
Bisimilarity of pushdown automata is nonelementary
M Benedikt, S Göller, S Kiefer, AS Murawski
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 488-498, 2013
252013
An Extension of Newton’s Method to ω-Continuous Semirings
J Esparza, S Kiefer, M Luttenberger
Developments in Language Theory: 11th International Conference, DLT 2007 …, 2007
242007
Moped-a model-checker for pushdown systems
S Kiefer, S Schwoon, D Suwimonteerabuth
Date of Access: January 20, 2009
232009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20