Publications from 2025

Deliverable D3.6 Interface and Presentation Engine version 2 Tech Report

D. Ockeloen (Daniel) and P. van Leeuwen (Pieter)

Deliverable D3.5 Requirements Document LinkedTV User Interfaces (Version 2) Tech Report

L. Pérez Romero (Lilia), L. Hardman (Lynda) and M. Hildebrand (Michiel)

Deliverable D2.5 Specification of the Linked Media Layer Tech Report

J. Bouchner (Jan) and et al.

Deliverable D2.4 Annotation and retrieval module of media fragments Tech Report

J.L. Redondo Garcia (José Luis) and et al.

Uitnodiging afscheidsdiner Yvonne Samseer, 10.10.2013 Other

Time-course measurement of enzymatic activity corrected for impacts of disturbances relating to the reaction of the enzyme with a substrate. Patent

H.C. Hemker (Coen) and P.W. Hemker (Piet)

Deliverable D7.4 Project demonstrator v1 Tech Report

L. Nixon (Lyndon) and The LinkedTV Consortium

Schatkamer van de wetenschap : flyer Open Dag WCW, 05-10.2013 Other

Modeling radiation belt electron dynamics during GEM challenge intervals with the DREAM3D diffusion model Article

W. Tu (Weichao), G.S. Cunningham, Y. Chen, M.G. Henderson, E. Camporeale (Enrico) and G.D. Reeves (Geoffrey)

OSSMETER Deliverable 3.1 - Report on Domain Analysis of OSS Quality Attributes Manual

P. Klint (Paul), J.J. Vinju (Jurgen) and A. Shahi (Ashim)

Waisda?: video labeling game In Proceedings

M. Hildebrand (Michiel), M. Brinkerink, R. Gligorov, M. van Steenbergen, J. Huijkman and J. Oomen (Johan)

Mapping proteins in the presence of paralogs using units of coevolution Article

M. El-Kebir (Mohammed), T. Marschall (Tobias), I. Wohlers (Inken), M.D. Patterson (Murray), J. Heringa (Jaap), A. Schönhuth (Alexander) and G.W. Klau (Gunnar)

Lateral gene transfer, rearrangement, reconciliation Article

M.D. Patterson (Murray), G. Szollosi, V. Daubin and E. Tannier

Reconstructing the Cryptanalytic Attack behind the Flame Malware Master Thesis

M.J. Fillinger (Max)

On generalizations of network design problems with degree bounds Article

N. Bansal (Nikhil), R. Khandekar, J. Könemann (Jochen), V. Nagarajan and B. Peis

A Survey of Quantum Property Testing Tech Report

A. Montanaro (Ashley) and R.M. de Wolf (Ronald)

More women in informatics research and education Booklet

L. Hardman (Lynda) and C. Pereira (Cristina)

LinkedTV News: designing a second screen companion for web-enriched news broadcasts Case Study

L. Pérez Romero (Lilia)

Monadic Functional Reactive Programming In Proceedings

A.J. van der Ploeg (Atze)

Micro-Machinations: A DSL for Game Economies In Proceedings

P. Klint (Paul) and R.A. van Rozen (Riemer)

A Case Study of Trust Issues in Scientific Video Collections In Proceedings

E.M.A.L. Beauxis-Aussalet (Emmanuelle), E. Arslanova (Elvira), L. Hardman (Lynda) and J.R. van Ossenbruggen (Jacco)

A Video Processing and Data Retrieval Framework for Fish Population Monitoring In Proceedings

E.M.A.L. Beauxis-Aussalet (Emmanuelle), S. Palazzo, G. Nadarajan, E. Arslanova (Elvira), C. Spampinato (Concetto) and L. Hardman (Lynda)

A monogamy-of-entanglement game with applications to device-independent quantum cryptography Article

M. Tomamichel, S. Fehr (Serge), J. Kaniewski and S.D.C. Wehner (Stephanie)

De berekenbare waarheid Magazine Article

T.F. Sterkenburg (Tom)

Pending Evolution of Grammars In Proceedings

V. Zaytsev (Vadim)

Language Support for Megamodel Renarration In Proceedings

R. Lämmel (Ralf) and V. Zaytsev (Vadim)

Micropatterns in Grammars In Proceedings

V. Zaytsev (Vadim)

Towards frame accurate synchronization in a virtual world client with 3D Tele-Immersive capabilities In Proceedings

R.N. Mekuria (Rufael)

Reactive Turing machines Article

J.C.M. Baeten (Jos), S.P. Luttik (Bas) and P.J.A. van Tilburg (Paul)

A realistic model under which the genetic code is optimal Article

H.M. Buhrman (Harry), P.T.S. van der Gulik (Peter), G.W. Klau (Gunnar), C. Schaffner (Christian), D. Speijer (Dave) and L. Stougie (Leen)

A spectral mean for point sampled closed curves. Tech Report

M.N.M. van Lieshout (Marie-Colette)

MonetDB Feb2013-SP5 bugfix release Software

M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), J.A. de Rijke (Arjen), Y. Zhang (Ying), S. Idreos (Stratos), E. Sidirourgos (Eleftherios), H. Pirk (Holger), et al. M.-D. Pham (Minh-Duc), L.H.A. Scheers (Bart), E. Petraki (Eleni), T.H.J. Sellam (Thibault), Y. Kargin (Yagiz), M.M. Gawade (Mrunal), H.F. Mühleisen (Hannes), S. A. B. C. Héman (Sándor) and K. Kyzirakos (Konstantinos)

A Top-N Recommender System Evaluation Protocol Inspired by Deployed Systems In Proceedings

A. Said (Alan), A. Bellogín Kouki (Alejandro) and A.P. de Vries (Arjen)

Offshore Wind Farm Research at the NWO Institutes Tech Report

J.A.S. Witteveen (Jeroen)

Global Consensus through Local Synchronization (Technical Report) Tech Report

S.-S.T.Q. Jongmans (Sung) and F. Arbab (Farhad)

Using Semantic Web Technologies to Reproduce a Pharmacovigilance Case Study In Proceedings

M. Hildebrand (Michiel), R. Hoekstra (Rik) and J.R. van Ossenbruggen (Jacco)

Uncertainty Quantification of a Nonlinear Aeroelastic System Using Polynomial Chaos Expansion With Constant Phase Interpolation Article

A. Desai, J.A.S. Witteveen (Jeroen) and S. Sarkar

Subcell resolution in simplex stochastic collocation for spatial discontinuities Article

J.A.S. Witteveen (Jeroen) and G. Iaccarino (Gianluca)

Deliverable D9.1.2 Publishable Summary Tech Report

L. Nixon (Lyndon)

Oranje boven! Vijf internetcracks uit de Nederlandse klei - PCM Magazine Article

T. Hagen and CWI CWI

'Pioniers moeten soms op de wet vooruitlopen' - Ons Amsterdam Magazine Article

P. Beertema (Piet) and CWI CWI

CWI geeft software vrij voor detectie vervalste digitale handtekeningen - Elektronica Magazine Article

M.M.J. Stevens (Marc)

“Heel bevredigend, en tegelijk een anticlimax” - Observant Universiteit Maastricht Magazine Article

A.M.H. Gerards (Bert)

New Data from T. Marschall et al Illuminate Findings in Bioinformatics - HispanicBusiness.com Magazine Article

T. Marschall (Tobias), G.W. Klau (Gunnar) and A. Schönhuth (Alexander)

What Makes Python A Robust Force On The Internet? - EFYTimes.com Magazine Article

CWI CWI

A realistic model under which the genetic code is optimal Tech Report

H.M. Buhrman (Harry), P.T.S. van der Gulik (Peter), G.W. Klau (Gunnar), C. Schaffner (Christian), D. Speijer (Dave) and L. Stougie (Leen)

Error bounds for discrete tomography Dissertation

W.R. Fortes (Wagner)

Koninklijke onderscheiding voor hoogleraar Paul Klint - BussumsNieuws Magazine Article

P. Klint (Paul)

Bussumer onderscheiden - Gooi- en Eemlander Magazine Article

P. Klint (Paul)

Boven het onweer - Volkskrant Magazine Article

U. Ebert (Ute)

Approximability of Robust Network Design Article

N.K. Olver (Neil) and F.B. Shepherd (Bruce)

Programmatuur is te vaak onder de maat - de Ingenieur Magazine Article

CWI CWI

Improving Counter-Cryptanalysis Lecture

M.M.J. Stevens (Marc)

MiR-137 functions as a tumor suppressor in neuroblastoma by downregulating KDM1A Article

J. Köster (Johannes), Althoff, K. (Kristina), Beckers, A. (Anneleen), Odersky, A. (Andrea), Mestdagh, P. (Pieter), Bray, I.M. (Isabella), Bryan, K. (Kenneth), J. Vandesompele (Jo), F. Speleman (Frank), Stallings, R.L. (Raymond), et al. A. Schramm (Alexander), A. Eggert (Angelika), Sprüssel, A. (Annika) and J.H. Schulte (Johannes)

Stochastic optimal control for a general class of dynamic resource allocation problems Article

X. Gao, Y. Lu, M. Sharma, M.S. Squillante (Mark) and J.W. Bosman (Joost)

Corrected phase-type approximations for the workload of the MAP/G/1 queue with heavy-tailed service times In Proceedings

E. Vatamidou (Eleni), I.J.B.F. Adan, M. Vlasiou (Maria) and A.P. Zwart (Bert)

Characterizing graphic matroids by a system of linear equations Article

J. Geelen (Jim) and A.M.H. Gerards (Bert)

Onweer: een bron van broeikasgassen en antimaterie Article

C. Köhn (Christoph), M. Nool (Margreet) and U. Ebert (Ute)

Łukasiewicz mu-Calculus Tech Report

M. Mio and A Simpson

Wiskunde toegepast op 'health' en 'finance' - Quadraad Magazine Article

A.I. Borovykh (Anastasia) and C.W. Oosterlee (Kees)

Coalgebraic Characterizations of Context-free Languages Article

J. Winter (Joost), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

PDB 0.4.1 Software

J.J. Vinju (Jurgen), P. Klint (Paul), R.M. Fuhrer (Robert), M.J. Steindorfer (Michael), A. Izmaylova (Anastasia), A.H.S. Bagge (Anya) and P. Hijma

Rascal - Release 0.6.2 Software

P. Klint (Paul), D. Landman (Davy), M.A. Hills (Mark), J.J. Vinju (Jurgen), A. Izmaylova (Anastasia), T. van der Storm (Tijs), A.J. van der Ploeg (Atze), B. Lisser (Bert), A. Afroozeh (Ali), A.H.S. Bagge (Anya), et al. V. Zaytsev (Vadim) and A. Shahi (Ashim)

NAW special issue on Mathematics and Planet Earth Miscellaneous

A long-range self-similarity approach to segmenting DJ mixed music streams In Proceedings

T Scarfe, W.M. Koolen-Wijkstra (Wouter) and Y. Kalnishkan (Yuri)

Binaural Spatialization for 3D immersive audio communication In Proceedings

D. Mauro, R.N. Mekuria (Rufael) and M. Sanna (Michele)

Trinity Alpha, IDE for Derric Software

J. van den Bos (Jeroen)

TRINITY: An IDE for The Matrix In Proceedings

J. van den Bos (Jeroen) and T. van der Storm (Tijs)

Huibregtsenprijs 2013: razendsnel rekenen : Hoe?Zo! Radio NTR, 25.09.2013 [30:34] News Broadcast

C.W. Oosterlee (Kees)

MonetDB Feb2013-SP4 bugfix release Software

M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), J.A. de Rijke (Arjen), Y. Zhang (Ying), S. Idreos (Stratos), E. Sidirourgos (Eleftherios), H. Pirk (Holger), et al. M.-D. Pham (Minh-Duc), L.H.A. Scheers (Bart), E. Petraki (Eleni), T.H.J. Sellam (Thibault), Y. Kargin (Yagiz), M.M. Gawade (Mrunal), H.F. Mühleisen (Hannes), S. A. B. C. Héman (Sándor) and K. Kyzirakos (Konstantinos)

Bounds on the Threshold Gap in Secret Sharing and its Applications Article

I. Cascudo (Ignacio), R.J.F. Cramer (Ronald) and C. Xing (Chaoping)

A functional central limit theorem for a Markov-modulated infinite-server queue Tech Report

D.F. Anderson, J.G. Blom (Joke), M.R.H. Mandjes (Michel), H. Thorsdottir (Halldora) and K.E.E.S deTurck

Nederlandse software herkent en blokkeert vervalste digitale handtekening - Technisch Weekblad Magazine Article

M.M.J. Stevens (Marc)

Rota’s Conjecture: 40-Year-Old Math Problem Solved By Team Of Mathematicians - International Business Times Magazine Article

A.M.H. Gerards (Bert)

Software tegen vervalste digitale handtekeningen - Technisch Weekblad Magazine Article

M.M.J. Stevens (Marc)

Propagation mechanisms of positive streamers in different gases Dissertation

G. Wormeester (Gideon)

Discrete algebraic reconstruction technique: a new approach for superresolution reconstruction of license plates Article

K.Z. Zefreh, W. van Aarle (Wim), K.J. Batenburg (Joost) and J. Sijbers (Jan)

Matroid Theory: Mathematician Solves 40-Year-Old Problem - Science Daily Magazine Article

A.M.H. Gerards (Bert)

HTML+RDFa 1.1, W3C Recommendation Standard

S. McCarron (Shane), B. Adida (Ben), M. Birbeck (Mark), G. Kellogg (Gregg), I. Herman (Ivan) and S. Pemberton (Steven)

40 year-old math problem solved - The Economic Times (India) Magazine Article

A.M.H. Gerards (Bert)

Wiskunde tegen cyberaanvallen - Science Guide Magazine Article

M.M.J. Stevens (Marc)

Software Able to Detect Forged Digital Signatures - NLTimes.nl Magazine Article

M.M.J. Stevens (Marc)

CWI draait Flame-malware de nek om met unieke tools - Automatiseringgids.nl Magazine Article

M.M.J. Stevens (Marc)

Victoria researcher solves 40 year-old math problem - Kimdotcom Magazine Article

A.M.H. Gerards (Bert)

Rota's Conjecture: Researcher solves 40-year-old math problem - Phys.org Magazine Article

A.M.H. Gerards (Bert)

Normalized Google Distance of Multisets with Applications Tech Report

A.R. Cohen (Andrew) and P.M.B. Vitányi (Paul)

CWI biedt gratis detector voor Flame-virus - Automatiseringgids.nl Magazine Article

M.M.J. Stevens (Marc)

D-Wave's black box starts to open up - Ars Technica Magazine Article

CWI CWI

Improving Counter-Cryptanalysis Lecture

M.M.J. Stevens (Marc)

HTML+RDFa 1.1 W3C Recommendation (second) Standard

M. Sporny (Manu), S. McCarron (Shane), B. Adida (Ben), M. Birbeck (Mark), G. Kellog, I. Herman (Ivan) and M. Birbeck (Mark)

HTML+RDFa 1.1 W3C Recommendation (second) Standard

M. Sporny (Manu), S. McCarron (Shane), B. Adida (Ben), M. Birbeck (Mark), G. Kellog, I. Herman (Ivan) and S. Pemberton (Steven)

RDFa 1.1 Primer - Second Edition, W3C Note Standard

B. Adida (Ben), I. Herman (Ivan), M. Sporny (Manu) and M. Birbeck (Mark)

RDFa 1.1 Core - Second Edition Standard

B. Adida (Ben), M. Birbeck (Mark), S. McCarron (Shane) and I. Herman (Ivan)

Data Structures in Classical and Quantum Computing Tech Report

M.J. Fillinger (Max)

collision detection Software

M.M.J. Stevens (Marc)

Counter-cryptanalysis In Proceedings

M.M.J. Stevens (Marc)

On secret sharing with nonlinear product reconstruction Tech Report

I. Cascudo (Ignacio), R.J.F. Cramer (Ronald), D. Mirandola (Diego), C. Padró (Carles) and C. Xing (Chaoping)

Bifröst: debugging web applications as a whole Master Thesis

K.B. van der Vlist (Kevin)

Zero-error source-channel coding with entanglement. Tech Report

J. Briët (Jop), H.M. Buhrman (Harry), M. Laurent (Monique), T. Piovesan (Teresa) and G. Scarpa (Giannicola)

Invisible XML In Proceedings

S. Pemberton (Steven)