Concepedia

Author

Henk Barendregt

Radboud University NijmegenORCID

Also Known As

Barendregt, H., Barendregt, H. P., Barendregt, H.P., Barendregt, H.P. (Henk), Barendregt, Henk, H P Barendregt, H. BARENDREGT, H. P. Barendregt, H.P Barendregt, H.P. BARENDREGT

170

Publications

5.9K

Citations

34

H-Index

110

Concepts

All Affiliations

Radboud University NijmegenUniversity of WollongongRadboud University Medical CenterCatholic University of AmericaVrije Universiteit Amsterdam
HB

About

Henk Barendregt is an author at Radboud University Nijmegen specializing in automated reasoning, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

13

15

1.7K

2

Language Studies

6

6

131

3

Medicine

5

5

196

4

Health Sciences

2

2

45

5

Education

1

1

38

Henk Barendregt

×

46

Publications

3.4K

Citations

26

H-Index

YearCitations

Page 1