Robbert Krebbers
About
Robbert Krebbers has authored 49 papers that have received a total of 836 indexed citations.
This includes 44 papers in Artificial Intelligence, 25 papers in Computational Theory and Mathematics and 22 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (41 papers), Security and Verification in Computing (26 papers) and Formal Methods in Verification (24 papers). Robbert Krebbers is often cited by papers focused on Logic, programming, and type systems (41 papers), Security and Verification in Computing (26 papers) and Formal Methods in Verification (24 papers) and collaborates with scholars based in The Netherlands, Denmark and Germany. Robbert Krebbers's co-authors include Lars Birkedal, Derek Dreyer, Ralf Jung, Jacques-Henri Jourdan and Amin Timany and has published in prestigious journals such as Journal of the American Society of Nephrology, Communications of the ACM and International Journal of Environmental Research and Public Health
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Xiaoyan Lu are co-authored with Top journals papers by R.D. Pilkington are published in Top fields papers by Shanjana Awasthi are about Top countries impacted by papers by Deepika Fernando Top fields papers by Yuntao Gao are about Top countries impacted by papers by Patrick T. Norton Top countries impacted by papers by Rainer Duttmann Top journals papers by Shigeyuki Hosoki are published in