Publication

The personal space station: Bringing interaction within reach In Proceedings

J.C. Mulder and R. van Liere (Robert)

Virtual Reality in Biological Microscopic Imaging In Proceedings

R. van Liere (Robert), W.C. de Leeuw (Wim) and J.C. Mulder

Building program understanding tools using visitor combinators Tech Report

A. van Deursen (Arie) and J.M.W. Visser (Joost)

HyloTab: theorem prover for hybrid logic Software

D.J.N. van Eijck (Jan)

Numerical time integration for air pollution models Article

J.G. Verwer (Jan), W. Hundsdorfer (Willem) and J.G. Blom (Joke)

Nieuwjaarsboekenlegger 2002 Other

Nieuwjaarskaart 2002 : versie 1 Other

Nieuwjaarskaart 2002 : versie 2 Other