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

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)

Distributional property testing in a quantum world Tech Report

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

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)

The Method of Coalgebra: exercises in coinduction Book

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

Dit weekend groot evenement voor vrouwelijke bèta's - AG Connect (online), 6-2-2019 Magazine Article