Axiomatic characterization of trace reachability for concurrent objects In Proceedings

F.S. de Boer (Frank) and H.A. Hiep (Hans-Dieter)

Hoe blijft Nederland mondiaal koploper in quantumtechnologie? - Consultancy.nl - 3-12-2019 Magazine Article

Belangrijker dan de maanlanding - NRC Handelsblad - 5-11-2019 Magazine Article

Real-time reconstruction and visualisation towards dynamic feedback control during time-resolved tomography experiments at TOMCAT Article

J. Buurlage (Jan-Willem), F. Marone (Federica), D.M. Pelt (Daniël), W.J. Palenstijn (Willem Jan), M. Stampanoni (Marco), K.J. Batenburg (Joost) and C.M. Schlepütz (Christian)

Transducer degrees: atoms, infima and suprema Article

J. Endrullis (Jörg), J.W. Klop (Jan Willem) and R. Bakhshi (Rena)

Online vector balancing and geometric discrepancy Tech Report

N. Bansal (Nikhil), H. Jiang (Haotian), S. Singla (Sahil) and M. Sinha (Makrand)

'Python is mijn halve leven', het Parool, 7-12-2019 Magazine Article

‘Diep in mijn hart dacht ik: eindelijk gerechtigheid’ - New Scientist - 7-12-2019 Magazine Article