Wim H. Hesselink
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1989–2009
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | DASC | Verification of a Lock-Free Implementation of Multiword LL/SC Object. | Hui Gao, Yan Fu, Wim H. Hesselink |
| 2005 | ISMM | Euclidean Skeletons of 3D Data Sets in Linear Time by the Integer Medial Axis Transform. | Wim H. Hesselink, Menno Visser, Jos B. T. M. Roerdink |
| 2005 | ISPA | Lock-Free Parallel Garbage Collection. | Hui Gao, Jan Friso Groote, Wim H. Hesselink |
| 2004 | CAV | A Formal Reduction for Lock-Free Parallel Algorithms. | Hui Gao, Wim H. Hesselink |
| 2002 | MPC | Eternity Variables to Simulate Specifications. | Wim H. Hesselink |
| 2000 | ISMM | A General Algorithm for Computing Distance Transforms in Linear Time. | Arnold Meijster, Jos B. T. M. Roerdink, Wim H. Hesselink |
| 1995 | MPC | Angelic Termination in Dijkstra's Calculus. | Wim H. Hesselink |
| 1989 | MPC | Initialisation with a Final Value, an Exercise in Program Transformation. | Wim H. Hesselink |