Nikolaj Bjørner
About
Nikolaj Bjørner has authored 46 papers that have received a total of 738 indexed citations.
This includes 31 papers in Artificial Intelligence, 30 papers in Computational Theory and Mathematics and 18 papers in Software. The topics of these papers are Formal Methods in Verification (28 papers), Logic, programming, and type systems (23 papers) and Software Testing and Debugging Techniques (14 papers). Nikolaj Bjørner is often cited by papers focused on Formal Methods in Verification (28 papers), Logic, programming, and type systems (23 papers) and Software Testing and Debugging Techniques (14 papers) and collaborates with scholars based in United States, United Kingdom and Israel. Nikolaj Bjørner's co-authors include Leonardo de Moura, Andrey Rybalchenko, Zohar Manna, Margus Veanes and Asaf Valadarsky and has published in prestigious journals such as Communications of the ACM, Journal of the ACM and ACM SIGCOMM Computer Communication Review
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Miguel Justino Ribeiro Barboza are published in Top fields papers by Yifei Wei are about Top fields papers by A. I. Holleb are about Top countries impacted by papers by Ming‐Hseng Tseng Top fields papers by Leonid Fedichkin are about Top fields papers by Karen W. Eldin are about Top authors papers by Yiwen Cui are co-authored with Top journals papers by Beata Zakrzewska‐Pniewska are published in