Reasoning About Active Objects: A Sound and Complete Assertional Proof Method Book Chapter

F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

Hoe lang zijn onze staatsgeheimen nog veilig? - BNR podcast De Strateeg - 3-7-2022 Online Audio

Anomaly detection in urban drainage with stereovision Article

D.W.J. Meijer (Dirk), R. Luimes (Rianne), A.J. Knobbe (Arno) and T. Bäck (Thomas)

Threshold rates of code ensembles: Linear is best In Proceedings

N.A. Resch (Nicolas) and C. Yuan (Chen)

Recordaantal Vidi-beurzen toegekend, 15 beurzen naar Utrechtse onderzoekers - DUB - 1-7-2022 Magazine Article

Recordaantal NWO-beurzen van 800 duizend euro toegekend - U today - 1-7-2022 Magazine Article

Dit zijn de 10 beste ict-projecten in het onderwijs! - Computable - 1-7-2022 Magazine Article

Systematic multi-scale decomposition of ocean variability using machine learning Article

C.L.E. Franzke (Christian), F. Gugole (Federica) and S. Juricke (Stephan)