Publications from 2025

Computerlek - De Ingenieur Magazine Article

CWI CWI

Inwendige bestraling beter door informatica - AMC Magazine Magazine Article

CWI CWI

Nietszeggend weerbericht over falende overheidsautomatisering - IT-Executive - 29-10-15 Magazine Article

P. Klint (Paul)

Symbolic model checking for dynamic epistemic logic — S5 and beyond In Proceedings

J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan), M. Gattinger (Malvin) and K. Su (Kaile)

Updating compressed column-stores Dissertation

S. A. B. C. Héman (Sándor)

CWI en VU ontwikkelen medisch-algoritme - Computable.nl Magazine Article

M. El-Kebir (Mohammed) and CWI CWI

Promovendus maakt verwerking Big Data stukken sneller - Automatiseringsgids.nl Magazine Article

S. A. B. C. Héman (Sándor) and CWI CWI

Networks, modules and breeding schedules : Applications of Combinatorial Optimization to Computational Biology Dissertation

M. El-Kebir (Mohammed)

Radboud heeft prof informatietoegang - Computable.nl Magazine Article

A.P. de Vries (Arjen) and CWI CWI

Computerworld Magazine Article

M.M.J. Stevens (Marc)

Arjen P. de Vries benoemd tot hoogleraar Information Retrieval aan Radboud Universiteit - Engineersonline.nl Magazine Article

A.P. de Vries (Arjen) and J.R. van Ossenbruggen (Jacco)

Boegbeeld vrouwelijke informatici - Technisch Weekblad Magazine Article

L. Hardman (Lynda)

Workshop Energie - Automatiserings Gids Magazine Article

CWI CWI

Mozilla mulls early cutoff for SHA-1 digital certificates - Computerworld Magazine Article

M.M.J. Stevens (Marc)

Onveilige identiteitsbewijzen voor websites moeilijk uit te roeien - Automatiseringsgids.nl Magazine Article

CWI CWI

Nearly 1m sites at risk because they use 'insecure' SHA-1 encryption - SC Magazine Magazine Article

M.M.J. Stevens (Marc)

Business Using Millions of Flawed Certificates - Infosecurity Magazine Magazine Article

M.M.J. Stevens (Marc)

Just how many websites are vulnerable because of SHA-1? - ZDNet.com Magazine Article

M.M.J. Stevens (Marc)

Eerste leden toezichtsraad BIT bekend - Computable.nl Magazine Article

P. Klint (Paul)

One million SSL certificates still using “insecure” SHA-1 algorithm - Netcraft Magazine Article

M.M.J. Stevens (Marc)

Bijna 1 miljoen websites met 'onveilig' SHA-1-algoritme - Security.nl Magazine Article

M.M.J. Stevens (Marc)

Tight hardness of the non-commutative Grothendieck problem In Proceedings

J. Briët (Jop), O. Regev (Oded) and R. Saket (Rishi)

Toezichtsraad gaat toezicht houden op Bureau ICT-Toetsing - Executive People Magazine Article

P. Klint (Paul)

Lynda Hardman voorzitter Informatics Europe - Engineersonline.nl Magazine Article

L. Hardman (Lynda)

Todesstoß für SHA-1 steht bevor - Heise Online Magazine Article

M.M.J. Stevens (Marc)

Benoemingen toezichtsdraad voor Bureau ICT-toetsing - Rijksoverheid.nl Online Video

P. Klint (Paul)

Enhanced coinduction Dissertation

J.C. Rot (Jurriaan)

SHA-1 : un algorithme clef du chiffrement HTTPS n’est plus sécurisé - Silicon.fr Magazine Article

M.M.J. Stevens (Marc)

Planar Critical Percolation: Large clusters and Scaling limits Dissertation

R.P. Conijn (Rene)

Web Owners Urged to Upgrade From Insecure SHA-1 Algorithm - Infosecurity Magazine Article

M.M.J. Stevens (Marc)

Trek zwakke SHA-1 standaard sneller in - Computable Magazine Article

M.M.J. Stevens (Marc)

Voorstel om verstrekking sha-1-certificaten te verlengen is ingetrokken - Tweakers Net Magazine Article

M.M.J. Stevens (Marc)

Proceedings of the 5th Workshop on Linked Science 2015 (LISC 2015) Best Practices and the Road Ahead Proceedings

L’algoritmo di sicurezza dell’e-commerce SHA1 è a rischio - Hostingtalk.it Magazine Article

M.M.J. Stevens (Marc)

Onderzoekers dringen aan: 'Industriestandaard SHA-1 moet eerder worden teruggetrokken' - Engineeringsonline.nl Magazine Article

M.M.J. Stevens (Marc)

Opvolger internet security standaard SHA-1 sneller implementeren - Engineeringnet.be Magazine Article

M.M.J. Stevens (Marc)

Chinabyte Magazine Article

M.M.J. Stevens (Marc)

Bestraling kan beter door informatica - Ouderenjuornaal.nl Magazine Article

CWI CWI

Researchers say SHA-1 will soon be broken, urge migration to SHA-2 - SC Magazine Magazine Article

M.M.J. Stevens (Marc)

Practical SHA-1 Collision Months, Not Years, Away - Threatpost Magazine Article

M.M.J. Stevens (Marc)

Crypto cadre cloud-cracks SHA-1 with just $75k of compute cost - The Register Magazine Article

M.M.J. Stevens (Marc)

SecurityLab.ru Magazine Article

M.M.J. Stevens (Marc)

Алгоритм SHA1 может быть скомпрометирован до конца года - PCWeek.ru Magazine Article

M.M.J. Stevens (Marc)

Złamanie SHA-1 tańsze niż sądzono - KopalniaWiedzy.pl Magazine Article

M.M.J. Stevens (Marc)

SHA1 Algorithm Could Become Useless by the End of the Year - Softpedia Magazine Article

M.M.J. Stevens (Marc)

Researchers Warn Against Continuing Use Of SHA-1 Crypto Standard - Darkreading Magazine Article

M.M.J. Stevens (Marc)

SHA1 algorithm securing e-commerce and software could break by year’s end - Ars Technica Magazine Article

M.M.J. Stevens (Marc)

CWI wil eerder einde van SHA-1 - Security.nl Magazine Article

M.M.J. Stevens (Marc)

Widely used SHA-1 algorithm could succumb to attack, researchers warn - PC World Magazine Article

M.M.J. Stevens (Marc)

The Shappening Magazine Article

M.M.J. Stevens (Marc), P. Karpman (Pierre) and T. Peyrin (Thomas)

Rust-Bio: a fast and safe bioinformatics library Article

J. Köster (Johannes)

Vogelaars op safari in Rijksmuseum - Telegraaf Magazine Article

CWI CWI

Vogelaars spotten vogels in Rijksmuseum - RTL Nieuws Magazine Article

CWI CWI

Uniqueness, Density, and Keyness: Exploring Class Hierarchies In Proceedings

A. Jentzsch (Anja), H.F. Mühleisen (Hannes) and F. Naumann (Felix)

The LOFAR Multifrequency Snapshot Sky Survey (MSSS). I. Survey description and first results Article

G. Heald, R. Pizzo, not CWI et al and L.H.A. Scheers (Bart)

Semi-Automated Exploration of Data Warehouses In Proceedings

T.H.J. Sellam (Thibault), E. Müller and M.L. Kersten (Martin)

Analysis of ISO 26262 Compliant Techniques for the Automotive Domain In Proceedings

M. S. Kannan, Y. Dajsuren (Yanjindulam), Y. Luo and I. Barosan

Edicion Especial Alan Turing - National Geographic Magazine Article

D. Landman (Davy)

Byborre Tracks Human Behavior Through Clothes in This Innovative Experiment - Hypebeast.com Magazine Article

CWI CWI

"Measuring Audience Responses of Video Advertisements using Physiological Sensors," In Proceedings

C. Wang (Chen) and P.S. César Garcia (Pablo Santiago)

Joint Proceedings of the 1st Joint International Workshop on Semantic Sensor Networks and Terra Cognita (SSN-TC 2015) and the 4th International Workshop on Ordering and Reasoning (OrdRing 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015) Proceedings

Freestart collision for full SHA-1 Tech Report

M.M.J. Stevens (Marc), P. Karpman (Pierre) and T. Peyrin (Thomas)

Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM Collections In Proceedings

M.J. Steindorfer (Michael) and J.J. Vinju (Jurgen)

One Parser to Rule Them All In Proceedings

A. Afroozeh (Ali) and A. Izmaylova (Anastasia)

Modular Interpreters for the Masses: Implicit Context Propagation using Object Algebras In Proceedings

P.A. Inostroza Valdera (Pablo) and T. van der Storm (Tijs)

Scrap your Boilerplate with Object Algebras In Proceedings

H. Zhang (Haoyuan), Z. Chu, B.C.d.S. Oliveira (Bruno) and T. van der Storm (Tijs)

Multiscale analysis of morphogenesis Book Chapter

C.C. Antonovici (Claudiu-Cristi), S.E.M. Boas (Sonja), E.G. Rens (Lisanne), H. Tahir (Hannan) and R.M.H. Merks (Roeland)

Snowball: Strain aware gene assembly of Metagenomes Tech Report

I. Gregor, A. Schönhuth (Alexander) and A.C. McHardy (Alice)

New upper bounds for the density of translative packings of three-dimensional convex bodies with tetrahedral symmetry Tech Report

M. Dostert (Maria), C.A. Guzman Paredes (Cristobal), F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

xHeinz: An algorithm for mining cross-species network modules under a flexible conservation model Article

M. El-Kebir (Mohammed), H. Soueidan (Hayssam), T. Hume (Thomas), D. Beisser (Daniela), M. Dittrich (Marcus), T. Müller (Tobias), G. Blin (Guillaume), J. Heringa (Jaap), M. Nikolski (Macha), L.F.A. Wessels (Lodewyk), et al. G.W. Klau (Gunnar)

Plataforma Web 2.0 para la Sincronización Distribuida de Contenidos Multimedia e Interacción Social In Proceedings

M.A. Montagud Climent (Mario), F. Boronat (Fernando), J. Belda (Jordi) and J. Pastor (Javier)

Personalización y Sincronización de Subtítulos en Escenarios Multi-Pantalla In Proceedings

Z. Parcheta (Zuzanna), M.A. Montagud Climent (Mario), J. Belda (Jordi) and F. Boronat (Fernando)

On the convergence rate of grid search for polynomial optimization over the simplex. Tech Report

E. de Klerk (Etienne), M. Laurent (Monique), Z. Sun (Zhao) and J.C. Vera

Rapid low dose electron tomography using a direct electron detection camera Article

V. Migunov (Vadim), H. Ryll, X. Zhuge (Jason), M. Simson, L. Strüder, K.J. Batenburg (Joost), L. Houben and R.E. Dunin-Borkowski (Rafal)

m37457 block diagram of current point cloud compression reference software Standard

R.N. Mekuria (Rufael)

Volvo Design Challenge 2015 Magazine Article

P.S. César Garcia (Pablo Santiago)

Impacto de Parámetros de QoS en Aspectos de QoE: Análisis desde el Punto de Vista de la Sincronización Multimedia In Proceedings

M.A. Montagud Climent (Mario), F. Boronat (Fernando), M. Martinez, J. Belda (Jordi) and P.S. César Garcia (Pablo Santiago)

A dynamic ambulance management model for rural areas Article

T.C. van Barneveld (Thije), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

BOM@ERCIM - Towards an open access policy for ERCIM Unpublished

J.C.M. Baeten (Jos), L. Candela, I. Fava, C. Kirchner (Claude), W. Mettrop (Wouter), L. Romary and L.M. Schultze (Lieke)

3D Visual Capture Inventory Standard

R.N. Mekuria (Rufael), G. Lafruit (Gauthier) and L. Chiarglione (Leonardo)

Measuring Audience Responses of Video Advertisements using Physiological Sensors In Proceedings

Goedaardige levenslange dictator - Vrij Nederland Magazine Article

P. Beertema (Piet), G. van Rossum (Guido) and CWI CWI

Begin bliksem is nu helder - New Scientist Magazine Article

U. Ebert (Ute), C. Rutjes (Casper) and A. A. Dubinova (Anna)

Nieuw netwerkmodel leert gebeurtenissen uit verleden te onthouden - Elektronica Magazine Article

J.O. Rombouts (Jaldert) and CWI CWI

Nieuwe slimme kleding van ByBorre integreert wearable technologie in ons dagelijks leven - WANT Magazine Article

CWI CWI

The time-dependent FX-SABR model: Efficient calibration based on effective parameters Article

A.W. van der Stoep (Anton), L.A. Grzelak (Lech Aleksander) and C.W. Oosterlee (Kees)

Program chairs' welcome Preface

A.P. de Vries (Arjen), C. Zhai (ChengXiang), N. Fuhr (Norbert) and Y. Zhang (Yi)

Nanolabyrinth uit Twente lijkt op menselijk brein - Volkskrant Magazine Article

S.M. Bohte (Sander)

Hoe snel zijn computers in de toekomst? - Leidschdagblad.nl Magazine Article

H.M. Buhrman (Harry)

Computer vs. Mens - Telegraaf Magazine Article

J.O. Rombouts (Jaldert) and CWI CWI

A Tricky Path to Quantum-Safe Encryption - Quanta Magazine Magazine Article

R.J.F. Cramer (Ronald) and L. Ducas (Léo)

Discrimineren en verkiezingen manipuleren, kan Google dat echt? - RCCQ Magazine Article

R.M. de Wolf (Ronald)

Op vleugels van vervulbaarheid - NRC Handelsblad Magazine Article

H.J.J. te Riele (Herman) and CWI CWI

Software voor de kwantumcomputer - Technisch Weekblad Magazine Article

H.M. Buhrman (Harry)

Biologically plausible reinforcement learning Dissertation

J.O. Rombouts (Jaldert)

Neuraal netwerkmodel leert gebeurtenissen uit verleden te onthouden - Engineeringnet.nl Magazine Article

J.O. Rombouts (Jaldert) and CWI CWI

Impact of experience sampling methods on tap pattern based emotion recognition In Proceedings

S. Ghosh (Surjya), V. Chauhan (Vatsalya), N. Ganguly (Niloy), B. Mitra (Bivas) and P. De (Pradipta)

Modeling the Effect of Sharing Policies for Network-assisted HTTP Adaptive Video Streaming Article

J.W.M. Kleinrouweler (Jan Willem), S. Cabrero Barros (Sergio), R.D. van der Mei (Rob) and P.S. César Garcia (Pablo Santiago)

Spoornetwerken Article

L.G. Kroon and A. Schrijver (Lex)

Region-Based 4D Tomographic Image Reconstruction: Application to Cardiac X-ray CT In Proceedings

G. Van Eyndhoven (Geert), K.J. Batenburg (Joost) and J. Sijbers (Jan)