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 C Bismuth are co-authored with Top journals papers by Simone Maria Muniz da Silva Bezerra are published in Top countries impacted by papers by Makoto Takiue Top authors papers by Mohd Mahzan Awang are co-authored with Top fields papers by Yu. V. Fedorenko are about Top journals papers by Mykhailo Zarichnyi are published in Top fields papers by Mieke Rochimi Setiawati are about Top authors papers by Aman Aman are co-authored with