Publication

A modal logic for abstract delta modeling. In Proceedings

F.S. de Boer (Frank), M. Helvensteijn (Michiel) and J. Winter (Joost)

Automated Verification of Executable UML Models In Proceedings

H.H. Hansen (Helle), J. Ketema, S.P. Luttik (Bas), M.R. Mousavi, J.C. van de Pol (Jaco) and O. Marchi dos Santos (Osmar)

Two three pages papers Book Chapter

K.R. Apt (Krzysztof)

On cross-currency models with stochastic volatility and correlated interest rates Article

L.A. Grzelak (Lech Aleksander) and C.W. Oosterlee (Kees)

Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday Book

A projected algebraic multigrid method for linear complementarity problems Article

J. Toivanen and C.W. Oosterlee (Kees)

Linking user-generated video annotations to the web of data In Proceedings

M. Hildebrand (Michiel) and J.R. van Ossenbruggen (Jacco)

Invariant semidefinite programs Book Chapter

C. Bachoc, D. Gijswijt (Dion), A. Schrijver (Lex) and F. Vallentin (Frank)