CHI NL at CHI 2025 Booklet

J. Li (Jie), D. Perera (Dulaj), G. Hakvoort (Gido), A. Karahanoğlu (Armağan) and A. El Ali (Abdallah)

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)

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)

Quantitative phase imaging with a multimode fiber Article

A. Ivanina (Aleksandra), M. Marshall (Maxim), K. Abrashitova (Ksenia), T. van Leeuwen (Tristan) and L.V. Amitonova (Lyubov)

A journey in scientific computing : Valedictory lecture Farewell Lecture

B. Koren (Barry)

How to diversify any personalized recommender? In Proceedings

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

Liber amicorum Barry Koren 3 april 2025 Book

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