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

Inhomogeneous spatial point processes by location-dependent scaling Article

U. Hahn, E.B.V. Jensen, M.N.M. van Lieshout (Marie-Colette) and L.S. Nielsen

Inference for random sets Article

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

The candy model: properties and inference Article

M.N.M. van Lieshout (Marie-Colette) and R.S. Stoica