Publication
-
February 2011
-
Het begin van een ijstijd voor ICT-onderzoek? Article
I/O ICT Onderzoek, 8(1), 17-17.February 2011 -
SAT-based verification for timed component connectors Article
Science of Computer ProgrammingFebruary 2011
-
Experimental Investigations on the Physics of Streamers Dissertation
Multiscale DynamicsFebruary 2011
-
February 2011 -
Soiree t.g.v. het 65-jarig bestaan van het Centrum Wiskunde & Informatica, 10.02.2011 : uitnodiging Other
February 2011 -
Redeneren over Communicatie Article
Euclides, 86(5), 214-216.March 2011
-
Stability of localized modes in rotating tokamak plasmas Article
Plasma Physics and Controlled FusionMarch 2011