Concepedia

Author

Robbert Krebbers

Radboud University NijmegenORCID

Also Known As

Krebbers, R., Krebbers, Robbert, R J Krebbers, R KREBBERS, ROBBERT KREBBERS, Robbert Krebbers, Tian, Chun

83

Publications

2.2K

Citations

25

H-Index

71

Concepts

All Affiliations

Radboud University NijmegenDelft University of TechnologyMax Planck Institute for Software SystemsAarhus UniversityCentre National de la Recherche Scientifique
RK

About

Robbert Krebbers is an author at Radboud University Nijmegen specializing in formal methods, engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

17

23

1.3K

2

Language Studies

3

3

79

3

Education

1

1

57

4

Medicine

1

1

56

5

Cell Biology

1

1

56

Robbert Krebbers

×

32

Publications

1.8K

Citations

21

H-Index

YearCitations

Page 1