Publication

Krzysztof Apt in beeld - en woord Book

eXamine: Exploring annotated modules in networks In Proceedings

K. Dinkla, M. El-Kebir (Mohammed), C.I. Bucur (Cristina-Iulia), M. Siderius, M.J. Smit, M.A. Westenberg and G.W. Klau (Gunnar)

Resonant and non-resonant whistlers-particle interaction in the radiation belts Tech Report

E. Camporeale (Enrico)

Boundary treatment for fourth-order staggered mesh discretizations of the incompressible Navier-Stokes equations Article

B. Sanderse (Benjamin), R.W.C.P. Verstappen (Roel) and B. Koren (Barry)

Implicit Particle-in-Cell simulations of wave-particle interactions between electrons and whistler waves in the radiation belt In Proceedings

E. Camporeale (Enrico)

Strong completeness for iteration-free coalgebraic dynamic logics In Proceedings

H.H. Hansen (Helle), C.A. Kupke (Clemens) and R.A. Leal

How accurately do Java profilers predict runtime performance bottlenecks? Master Thesis

P. Klijn

Algebra-coalgebra duality in Brzozowski's minimization algorithm Article

F. Bonchi (Filippo), M.M. Bonsangue (Marcello), H.H. Hansen (Helle), P. Panangaden, J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)