Publication

Prachtige legacy - agconnect.nl - 21-05-2024 Magazine Article

Sequential value passing yields a Kleene theorem for processes Book Chapter

J.C.M. Baeten (Jos) and S.P. Luttik (Bas)

Freeke Heijman van Quantum Delta Netherlands: 'Wij streven naar veel meer betrokken partijen in de industrie' - Link Magazine - 22-05-2024 Magazine Article

Methode ontwikkeld om makkelijker CT-scans te maken van kunstobjecten - Informatie Professional - 22-05-2024 Magazine Article

Numerical modelling of two-phase CO2 flow in pipes In Proceedings

P. Kumar (Pardeep), B. Sanderse (Benjamin), P.I. Rosen Esquivel (Patricio) and R.A.W.M. Henkes (Ruud)

A Quantum Speed-Up for approximating the top eigenvectors of a matrix Tech Report

Y. Chen (Yanlin), A.P. Gilyén (András) and R.M. de Wolf (Ronald)

National Symposium Software Engineering - biplatform.nl - 23-05-2024 Magazine Article

New foundations for separation logic Dissertation

H.A. Hiep (Hans-Dieter)