Publication

A semantic model for interacting cyber-physical systems In Proceedings

B. Lion (Benjamin), F. Arbab (Farhad) and C. Talcott (Carolyn)

Assessing the success and impact of Hoare’s Logic Book Chapter

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

Live programming - Programmeren als boetseren Presentation

T. van der Storm (Tijs)

The Internet of Things and the Coming Robot Rebellion Presentation

S. Pemberton (Steven)

Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation Report

C. Kirchner (Claude) and F. Roesner (Franziska)

Automatic and efficient tomographic reconstruction algorithms Dissertation

M.J. Lagerwerf (Rien)

Slim algoritme voor de zorg wiskunde redt levens - Telegraaf - 06-10-2021 Magazine Article

Voorspellende wiskunde - Noordhollands Dagblad - 06-10-2021 Magazine Article