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
Top fields papers by Ilaria Matteucci are about Top journals papers by van der Wal are published in Top journals papers by Nebuchadnezzar Akbar are published in Top countries impacted by papers by Yumei Wang Top journals papers by Rhona Smith are published in Top journals papers by Danar Guruh Pratomo are published in Top countries impacted by papers by C Wallace Top journals papers by Sérgio Costa are published in