Statistics
Publications
1
Citations
76
H-Index
1
Active since
2004
Affiliations
Radboud University Nijmegen(Current)
D VANLEIJENHORST is an author at Radboud University Nijmegen specializing in computing, computer science, and formal methods.
Publications per year
2004–2004
1
1
A formal derivation of Heaps' Law
D VANLEIJENHORST, T VANDERWEIDE · Information Sciences · 2004 · 76 citations
1–1 of 1