Analysis and formal specification of OpenJDK's BitSet: Proof files Article

A.S. Tatman (Andy), H.A. Hiep (Hans-Dieter) and C.P.T. de Gouw (Stijn)

flexi-framework/relexi Software|Data

M. Kurz (Marius)

flexi-framework / flexi-extensions Software|Data

M. Kurz (Marius)

Heavy nodes in a small neighborhood: Exact and peeling algorithms with applications Article

L. Li (Ling), H. Verbeek (Hilde), H. Chen (Huiping), G. Loukides (Grigorios), Gwadera, R. (Robert), L. Stougie (Leen) and S. Pissis (Solon)

'Het is makkelijker om een verpleegkundige de schuld te geven' - NTvG - 03-04-2025 Magazine Article

How to diversify any personalized recommender? In Proceedings

M. Slokom (Manel), S. Daniil (Savvina) and L. Hollink (Laura)

A journey in scientific computing : Valedictory lecture Farewell Lecture

B. Koren (Barry)

Liber amicorum Barry Koren 3 april 2025 Book