- An abstract multiagent framework applied to a social interaction game
- Speci catie van Berekening Dr. W. H. Hesselink
- whh268b 1 Preference Rankings in the Face of Uncertainty
- The Boyer-Moore Majority Vote Algorithm with a majority of voting rabbits
- Multirelations are predicate transformers Wim H. Hesselink, February 23, 2004
- Ternary search Wim H. Hesselink, 2nd July 2003
- Progress with Java threads as dining philosophers
- The borderline between P and NP Wim H. Hesselink, February 12, 2001
- Universally Distributive Ordered Sets --several known results --
- Information Processing Letters 88 (2003) 225229 www.elsevier.com/locate/ipl
- NQTHM proving sequential programs Wim H. Hesselink 1 (whh148), September 26, 1996
- Eternity Variables to Simulate Specifications Wim H. Hesselink
- A Language's Canonical Automaton Wim H. Hesselink, April 17, 2009
- whh349jej 1 A Refinement Proof of a Multiword LL/SC Object
- Pthreads and applications of mutex-abstraction Wim H. Hesselink, Jan Eppo Jonker, 16th January 2001
- A Crossing with Java Threads and POSIX Wim H. Hesselink, 15th October 2001
- whh383a 1 Alternating States for Dual Nondeterminism
- July 4, 2005, whh346 1 On quadratic pruning of IMA
- The design of a linearization of a concurrent data object
- The Stepping Distance Transformation Wim H. Hesselink, 2nd November 1998 (whh179)
- whh282a 1 Using Eternity Variables to Specify and
- Maximal Segments of Bounded Variation and Bounded Descent
