Robbert Krebbers
Author
Alternate names Robbert Krebbers, R.J. Krebbers, R KREBBERS
Institution Radboud University Nijmegen
Past institutions Radboud University Nijmegen, Delft University of Technology, IT University of Copenhagen, Aarhus University
ORCID: Yes
H-index: 23
I10-index: 39
Works count: 82
Citations count: 1,872
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
2018 · Ralf Jung, Robbert Krebbers, et al. · Journal of Functional Programming
RustBelt: securing the foundations of the Rust programming language
2017 · Ralf Jung, Jacques-Henri Jourdan, et al. · Proceedings of the ACM on Programming Languages
Interactive proofs in higher-order concurrent separation logic
2016 · Robbert Krebbers, Amin Timany, et al.