Publication

Hopf dances near the tips of Busse balloons Article

A. Doelman (Arjen), J.D.M. Rademacher (Jens) and S. van der Stelt (Sjors)

Wikimedia Conferentie Nederland Conferentieboek Proceedings

Perception and Change in Update Logic Book Chapter

Planar Markov fields, $9^{\rm{th}}$ French-Danish Workshop on Spatial Statistics and Image Analysis in Biology, Avignon, France, May 9-11, 2012. Lecture

M.N.M. van Lieshout (Marie-Colette)

Games, Actions and Social Software Book

D.J.N. van Eijck (Jan), R. Verbrugge (Rineke) and not CWI et al

Polling models with multi-phase gated service Article

R.D. van der Mei (Rob) and A. Roubos

A One-Stop Shop for Software Evolution Tool Construction Article

M.A. Hills (Mark), P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

Reo + mCRL2: A Framework for Model-Checking Dataflow in Service Compositions Article

N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)