Publication

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

'Het goede van Silicon Valley wordt gebruikt om bange robots van mensen te maken' - het Financieele Dagblad - 7-12-2019 Magazine Article