Concepedia

Author

Wim Vanhoof

University of NamurORCID

Also Known As

De Angelis, Emanuele, Vanhoof, Wim, Vanhoof, Wim; id_orcid 0000-0003-3769-6294, WIM VANHOOF, Wim Vanhoof

83

Publications

448

Citations

12

H-Index

38

Concepts

All Affiliations

University of NamurKU Leuven
WV

About

Wim Vanhoof is an author at University of Namur specializing in engineering, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

133

2

Computer Science

5

5

121

3

Medicine

1

1

12

4

Biostatistics

1

1

12

5

Computer Engineering

1

1

16

Wim Vanhoof

×

8

Publications

185

Citations

8

H-Index

YearCitations

Page 1