Publication
-
Generalizing determinization from automata to coalgebras Article
Logical Methods in Computer Science, 9(1:09), 1-27.January 2013
-
Energy-conserving Runge–Kutta methods for the incompressible Navier–Stokes equations Article
Journal of Computational Physics, 100-131.January 2013
-
January 2013
-
Digitale ongeletterdheid onder jongeren groot : interview Radio 1, NOS, 30-01-2013 [4:37] News Broadcast
January 2013
-
A Cell-Based Model of Extracellular-Matrix-Guided Endothelial Cell Migration During Angiogenesis Article
Bulletin of Mathematical Biology, 1377-1399.January 2013
-
Free partially commutative groups, cohomology, and paths and circuits in directed graphs on surfaces Tech Report
January 2013
-
Ensō Presentation
January 2013 -
Iguana Software
January 2013