Olaf Beyersdorff
About
Olaf Beyersdorff has authored 61 papers that have received a total of 247 indexed citations.
This includes 55 papers in Computational Theory and Mathematics, 50 papers in Artificial Intelligence and 7 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (40 papers), Logic, programming, and type systems (39 papers) and Logic, Reasoning, and Knowledge (28 papers). Olaf Beyersdorff is often cited by papers focused on Formal Methods in Verification (40 papers), Logic, programming, and type systems (39 papers) and Logic, Reasoning, and Knowledge (28 papers) and collaborates with scholars based in Germany, United Kingdom and India. Olaf Beyersdorff's co-authors include Leroy Chew, Anil Shukla, Michael E. Thomas, Arne Meier and Massimo Lauria and has published in prestigious journals such as Journal of the ACM, Journal of Computer and System Sciences and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Benedita Maria Rêgo Deusdará Rodrigues Top fields papers by K Akhilesh are about Top countries impacted by papers by Tao Shang Top authors papers by F Stagnitti are co-authored with Top fields papers by Abdul Karim are about Top fields papers by Liana Johann are about Top authors papers by Zhiqiang Hou are co-authored with Top journals papers by Rafael Celestino da Silva are published in