Olaf Burkart
About
Olaf Burkart has authored 7 papers that have received a total of 42 indexed citations.
This includes 7 papers in Computational Theory and Mathematics, 6 papers in Artificial Intelligence and 1 paper in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (5 papers), Logic, Reasoning, and Knowledge (3 papers) and Logic, programming, and type systems (3 papers). Olaf Burkart is often cited by papers focused on Formal Methods in Verification (5 papers), Logic, Reasoning, and Knowledge (3 papers) and Logic, programming, and type systems (3 papers) and collaborates with scholars based in Germany and United Kingdom. Olaf Burkart's co-authors include Bernhard Steffen and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Electronic Notes in Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Shi Bai are co-authored with Top journals papers by Motaz Saad are published in Top authors papers by Elisa Galfrascoli are co-authored with Top countries impacted by papers by Louiza Papachristodoulou Top authors papers by S. Albrand are co-authored with Top journals papers by Kristina Sorg are published in Top fields papers by C. E. Marshall are about Top journals papers by Jonathan Badrock are published in