Publication

Cofree coalgebras and recursiveness Article

M. Hazewinkel (Michiel)

Outline current state of fomula recognition Tech Report

M. Hazewinkel (Michiel)

Identification clouds and automatic keyphrase assignment. Lessons learned from the TRIAL SOLUTION project Tech Report

M. Hazewinkel (Michiel)

Verification of distributed dataspace architectures In Proceedings

S.-M. Orzan (Simona-Mihaela) and J.C. van de Pol (Jaco)

Monodromy and applications Book

New developments around the mCRL tool set In Proceedings

S.C.C. Blom (Stefan), J.F. Groote (Jan Friso), I.A. van Langevelde, B. Lisser (Bert) and J.C. van de Pol (Jaco)

Probabilistic image modelling In Proceedings

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

Modelización de procesos area-interacción generalizados In Proceedings

P. Gregori, M.N.M. van Lieshout (Marie-Colette) and J. Mateu