Publication

Keynote - ICT.Open, Veldhoven, NL Lecture

D.C.A. Bulterman (Dick)

KRunner: Linking Rascal with K Unpublished

M.A. Hills (Mark), P. Klint (Paul) and J.J. Vinju (Jurgen)

Discrete explorations of multicellular growth and morphogenesis Miscellaneous

R.M.H. Merks (Roeland)

A Mathematical Programming Approach to Marker-Assisted Gene Pyramiding In Proceedings

S. Canzar (Stefan) and M. El-Kebir (Mohammed)

Reduced minimax filtering by means of differential-algebraic equations In Proceedings

V. Mallet and S. Zhuk (Sergiy)

IFIP performance 2011 : 29th international symposium on computer performance, modeling, measurements and evaluation 2011: Amsterdam, 18-20 October 2011 Booklet

Buchi Automata for Modeling Component Connectors Article

M.M. Bonsangue (Marcello), D.G. Clarke (David) and M. Izadi (Mohammad)

Basic Methods for Computing Special Functions Book Chapter

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)