Stefan Kiefer
About
Stefan Kiefer has authored 39 papers that have received a total of 164 indexed citations.
This includes 33 papers in Computational Theory and Mathematics, 21 papers in Artificial Intelligence and 8 papers in Software. The topics of these papers are Formal Methods in Verification (21 papers), semigroups and automata theory (14 papers) and Machine Learning and Algorithms (8 papers). Stefan Kiefer is often cited by papers focused on Formal Methods in Verification (21 papers), semigroups and automata theory (14 papers) and Machine Learning and Algorithms (8 papers) and collaborates with scholars based in United Kingdom, Germany and Czechia. Stefan Kiefer's co-authors include Javier Esparza, Tomǎš Brázdil, Antonı́n Kučera, James Worrell and Michael Luttenberger and has published in prestigious journals such as Journal of the ACM, SIAM Journal on Computing and Journal of Computer and System Sciences.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Paul H. Stuart Breakdown of academic impact, for papers by Hitoshi Hayashiya Breakdown of academic impact, for papers by H. Mitsui Breakdown of academic impact, for papers by Defri Yona Breakdown of academic impact, for papers by Nakhoon Baek Breakdown of academic impact, for papers by James McHugh Breakdown of academic impact, for papers by E Shopova Breakdown of academic impact, for papers by Adrien Frommer