Stefan Kiefer

Stefan Kiefer

University of Oxford - Oxford / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1260616
person_outline Stefan Kiefer's MOST POPULAR ARTICLES
1-) Newtonian program analysisJ Esparza, S Kiefer, M LuttenbergerJournal of the ACM (JACM) 57 (6), 1-47, 2010672010
2-) Parikhʼs theorem: A simple and direct automaton constructionJ Esparza, P Ganty, S Kiefer, M LuttenbergerInformation Processing Letters 111 (12), 614-619, 2011682011
3-) Proving termination of probabilistic programs using patternsJ Esparza, A Gaiser, S KieferComputer Aided Verification: 24th International Conference, CAV 2012 …, 2012682012
4-) Abstraction refinement with Craig interpolation and symbolic pushdown systemsJ Esparza, S Kiefer, S SchwoonInternational Conference on Tools and Algorithms for the Construction and …, 2006682006
5-) The odds of staying on budgetC Haase, S KieferInternational Colloquium on Automata, Languages, and Programming, 234-246, 2015582015