Publication
-
Security of multi-party protocols: Epistemics and verification Magazine Article
January 2006 -
VeriGEM: A verification grid for enhanced model checking Magazine Article
January 2006 -
Nu iedereen wiskunde moet begrijpen, zien de goede leerlingen niet meer hoe leuk wiskunde kan zijn Book Chapter
January 2006 -
De ideale routeplanner Article
Beta-krant, 10-11.January 2006 -
Locking with three mutually unbiased bases Tech Report
January 2006 -
Sudoku van het NS-materieel Book Chapter
January 2006 -
Wiskunde is als zuurstof. Als het er is, merk je het niet. Als het er niet zou zijn, merk je dat je niet zonder kunt Book Chapter
January 2006 -
Portret van een genie: Edsger Wybe Dijkstra Article
Informatie (NGI), 48(1), 38-44.January 2006