Publication

Executable component-based semantics Article

L.T. van Binsbergen (Thomas), P.D. Mosses (Peter) and N. Sculthorpe (Neil)

CT-scanner onthult foutje in driehonderd jaar oude bol, NRC Handelsblad, 2-2-2019 Magazine Article

Distributional property testing in a quantum world Tech Report

A.P. Gilyén (András) and Li, T. (Tongyang)

CT-scanner onthult foutje in driehonderd jaar oude bol, nrc.next, 2-2-2019 Magazine Article

Evaluation of bi-objective treatment planning for high-dose-rate prostate brachytherapy—A retrospective observer study Article

S.C. Maree (Stef), N.H. Luong (Hoang), E.S. Kooreman (Ernst), N. van Wieringen (Niek), A. Bel (Arjan), K.A. Hinnen (Karel), H. Westerveld (Henrike), B.R. Pieters (Bradley), P.A.N. Bosman (Peter) and T. Alderliesten (Tanja)

The Method of Coalgebra: exercises in coinduction Book

J.J.M.M. Rutten (Jan)

Automated partial atomic charge assignment for drug-like molecules: A fast knapsack approach Article

M.S. Engler (Martin), B. Caron (Bertrand), L. Veen (Lourens), D.P. Geerke, A.E. Mark (Alan) and G.W. Klau (Gunnar)

Qusoft en Bosch gaan samenwerken aan quantumalgoritmes - Bits & Chips, 6-2-2019 Magazine Article