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 fields papers by Charturong Tantibundhit are about Top fields papers by Liu C are about Top fields papers by Shanhui Liu are about Top countries impacted by papers by Abdel Rahman Mitib Altakhaineh Top authors papers by Mark O’Neill are co-authored with Top fields papers by Yanhua Xiao are about Top authors papers by Sudhakar Singh are co-authored with Top fields papers by Shinsuke Akagi are about