Robbert Krebbers

49 papers and 848 indexed citations i.

Robbert Krebbers has authored 49 papers that have received a total of 848 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, Amin Timany and Jacques-Henri Jourdan 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.