Publication
-
January 2013
-
January 2013
-
De computerlessen op middelbare scholen moeten anders : interview BNR Radio, 29-01-2013 News Broadcast
January 2013
-
Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development In Proceedings
January 2013
-
The power of noisy fermionic quantum computation Article
New Journal of Physics, 15(1), 13-15.January 2013
-
Energy-conserving Runge–Kutta methods for the incompressible Navier–Stokes equations Article
Journal of Computational Physics, 100-131.January 2013
-
On explosions in heavy-tailed branching random walks Article
The Annals of Probability, 41(3B), 1864-1899.January 2013
-
Large-scale parameter studies of cell-based models of tissue morphogenesis using CompuCell3D or VirtualLeaf Book Chapter
January 2013