Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Eeshan Hasan
Claudia Calabrese
Maria Concetta Palumbo
Yingxue Fu
James W Dickinson
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
RONALD HUIJSMAN
Author Info
Open Visualization
Name
Papers
Collaborators
RONALD HUIJSMAN
1
5
Citations
PageRank
Referers
3
0.73
6
Referees
References
15
7
Publications (1 rows)
Collaborators (5 rows)
Referers (6 rows)
Referees (15 rows)
Title
Citations
PageRank
Year
Type Checking BSI/VDM-SL
3
0.73
1990
1