Sven Schewe
About
Sven Schewe has authored 47 papers that have received a total of 215 indexed citations.
This includes 38 papers in Computational Theory and Mathematics, 25 papers in Artificial Intelligence and 14 papers in Software. The topics of these papers are Formal Methods in Verification (34 papers), Logic, programming, and type systems (10 papers) and Software Reliability and Analysis Research (7 papers). Sven Schewe is often cited by papers focused on Formal Methods in Verification (34 papers), Logic, programming, and type systems (10 papers) and Software Reliability and Analysis Research (7 papers) and collaborates with scholars based in United Kingdom, Germany and Taiwan. Sven Schewe's co-authors include Markus N. Rabe, John Fearnley, Dominik Wojtczak, Xiaowei Huang and Martín Zimmermann and has published in prestigious journals such as Physics Letters B, IEEE Transactions on Software Engineering and Journal of Computer and System Sciences
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Aiko Igarashi are co-authored with Top fields papers by Simon J. Mahon are about Top fields papers by Sudheer Kumar Devana are about Top journals papers by Yasuo Iijima are published in Top countries impacted by papers by Richard E. Petit Top authors papers by Sandeep Singh are co-authored with Top authors papers by Véronique Dasen are co-authored with Top journals papers by Wenbai Chen are published in