Publications from 2025

Kosmisches Donnerwetter - pro-physik.de Magazine Article

U. Ebert (Ute)

Uncertainty Quantification of Heavy Gas Release Over a Barrier In Proceedings

P. Shoeibi Omrani, T. O'Mahoney, A. Mack and J.A.S. Witteveen (Jeroen)

Wetenschap uit ivoren toren - Noordhollands Dagblad Magazine Article

CWI CWI

Learning Optimal Policies in Markov Decision Processes with Value Function Discovery In Proceedings

M. Onderwater (Martijn), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

Hardness of Approximation for Knapsack Problems Article

H.M. Buhrman (Harry), B. S. Loff Barreto (Bruno Serra) and L. Torenvliet (Leen)

Getting the most out of additional guidance information in deformable image registration by leveraging multi-objective optimization In Proceedings

T. Alderliesten (Tanja), P.A.N. Bosman (Peter) and A. Bel (Arjan)

Samenwerkende Cellen: Vorming van weefsels Presentation

R.M.H. Merks (Roeland)

Multiscale cell‐based modeling of mechanical cell-matrix feedback during collective cell behavior Lecture

R.M.H. Merks (Roeland)

Best practice Computer models show the formation of new blood vessels, Knowledge base SurfSara. Magazine Article

R.M.H. Merks (Roeland)

Quantum Computing in collegeserie - Technisch Weekblad Magazine Article

H.M. Buhrman (Harry)

Kanker is altijd pech - NRC Handelsblad Magazine Article

P.D. Grünwald (Peter)

Discovering Motifs in Real-World Social Networks In Proceedings

L. Romijn, B. Ó Nualláin (Breanndán) and L. Torenvliet (Leen)

Social network games Article

S.E. Simon (Sunil) and K.R. Apt (Krzysztof)

Short Paths on the Voronoi Graph and Closest Vector Problem with Preprocessing In Proceedings

D.N. Dadush (Daniel) and N. Bonifas

Solving the Shortest Vector Problem in 2^n Time via Discrete Gaussian Sampling In Proceedings

D. Aggarwal (Divesh), D.N. Dadush (Daniel), O. Regev (Oded) and N. Stephens-Davidowitz (Noah)

Solving the Closest Vector Problem in 2^n Time - The Discrete Gaussian Strikes Again! In Proceedings

D. Aggarwal (Divesh), D.N. Dadush (Daniel) and N. Stephens-Davidowitz (Noah)

Faster Deterministic Volume Estimation in the Oracle Model via Thin Lattice Coverings In Proceedings

D.N. Dadush (Daniel)

On the Shadow Simplex Method for Curved Polyhedra In Proceedings

D.N. Dadush (Daniel) and N. Hähnle

On the existence of 0/1 polytopes with high semidefinite extension complexity Article

J. Briët (Jop), D.N. Dadush (Daniel) and S. Pokutta (Sebastian)

Biologie in tijden van Big Data Article

R.M.H. Merks (Roeland)

Tip Cells in Angiogenesis Article

M.G. Dallinga (Marchien), S.E.M. Boas (Sonja), I. Klaassen (Ingeborg), R.M.H. Merks (Roeland), C.J.F. van Noorden and R.O. Schlingemann (Reinier)

Hierarchical decomposition of metabolic networks using k-modules Article

A.C. Reimers (Arne)

A decomposition theory for vertex enumeration of convex polyhedra Tech Report

A.C. Reimers (Arne) and L. Stougie (Leen)

Convergence analysis of hierarchies for polynomial optimization Lecture

M. Laurent (Monique)

Edge-coloring models Lecture

A. Schrijver (Lex)

On traces of tensor representations of diagrams Article

A. Schrijver (Lex)

On Lie algebra weight systems for 3-graphs Article

A. Schrijver (Lex)

Characterizing partition functions of the edge-coloring model by rank growth Article

A. Schrijver (Lex)

Connection matrices and Lie algebra weight systems for multiloop chord diagrams Article

A. Schrijver (Lex)

Heterogeneous Data Structures for the Masses Lecture

M.J. Steindorfer (Michael)

Fast and Lean Immutable Data Structures Lecture

M.J. Steindorfer (Michael)

Meerkat parsers: a general parser combinator library for real programming languages Lecture

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

Group size effect on cooperation in one-shot social dilemmas Article

H. Barcelo (Hélène) and V. Capraro (Valerio)

Web and Internet Economics Proceedings

Efficient equilibria in polymatrix coordination games In Proceedings

M.M. Rahn (Mona) and G. Schäfer (Guido)

The Strong Price of Anarchy of Linear Bottleneck Congestion Games Article

B. de Keijzer (Bart), G. Schäfer (Guido) and O. Telelis (Orestis)

Inefficiency of Games with Social Context Article

A. Anagnostopoulos (Aris), L. Becchetti, B. de Keijzer (Bart) and G. Schäfer (Guido)

Two-dimensional volume-frozen percolation: exceptional scales Tech Report

J. van den Berg (Rob) and P. Nolin (Pierre)

Hack Your Language with Rascal Lecture

T. van der Storm (Tijs) and J. H. Stoel (Jouke)

Live Little Languages Presentation

T. van der Storm (Tijs)

Opportunities and Risks of MDSE: experience with Derric,a DSL for Digital Forensics Presentation

T. van der Storm (Tijs)

Pore REconstruction and Segmentation (PORES) method for improved porosity quantification of nanoporous materials Article

G. Van Eyndhoven (Geert), M. Kurttepeli, C.J. van Oers, P. Cool (Pegie), S. Bals (Sara), K.J. Batenburg (Joost) and J. Sijbers (Jan)

Celldown: a textual spreadsheet language, or: “code as UI” Lecture

T. van der Storm (Tijs)

A Grid Scheduling infrastructure for SmartConnect's performance monitoring calculations Master Thesis

P. Zisimopolous

Form controls in WebGL. A stepping stone to a WebGL library for developing commercial interactive 3D websites Master Thesis

A.T. Zhelyazkov

Begelman vs. FolkRank. The Comparison of Two Algorithms in the Tag Recom- mendation Context: An Exploratory Study Master Thesis

S. Valencia Vargas

Algebraic filter approach for fast approximation of nonlinear tomographic reconstruction methods Article

L. Plantagie (Linda) and K.J. Batenburg (Joost)

JavaScript language extension with language workbenches Master Thesis

M. Heimensen

Geographically-aware scaling for real-time persistent WebSocket applications Master Thesis

H. Harezlak

Performance of Face Recognition Algorithms on Mobile Devices Master Thesis

K. Chow

Understanding Information Update in Questionnaires Article

D.J.N. van Eijck (Jan) and T. van der Storm (Tijs)

Towards Multilingual Programming Environments Article

T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

Copy-paste Tracking: Fixing Spreadsheets Without Breaking Them In Proceedings

F. Hermans (Felienne) and T. van der Storm (Tijs)

Evaluating and comparing language workbenches: Existing results and benchmarks for the future Article

S. Erdweg (Sebastian), T. van der Storm (Tijs), M. Voelter, L. Tratt, R. Bosman, W.R. Cook, A. Gerritsen, A. Hulshout, S. Kelly, A. Loh, et al. G. Konat, P.J. Molina, M. Palatnik, R. Pohjonen, E. Schindler (Eugen), K. Schindler, R. Solmi, V. Vergu, E. Visser (Eelco), K.B. van der Vlist (Kevin), G. Wachsmuth and J.M. van der Woning (Jimi)

Coordinating multicore computing In Proceedings

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

Can high throughput atone for high latency in compiler-generated protocol code? In Proceedings

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

Take Command of your Constraints! In Proceedings

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

Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems Book Chapter

C. Talcott (Carolyn), F. Arbab (Farhad) and M. Yadav (Maneesh)

Partially distributed coordination with Reo and constraint automata Article

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

Mathematics and biomodelling of cellular competition Presentation

E. Vendel (Esmée)

Tip cell overtaking occurs as a side effect of sprouting in computational models of angiogenesis Article

S.E.M. Boas (Sonja) and R.M.H. Merks (Roeland)

Modelling competition between cancer cells and healtyh cells Presentation

E. Vendel (Esmée)

Cell-based modeling of cell-matrix interactions in angiogenesis In Proceedings

R.M.H. Merks (Roeland)

Modelling competition between cancer cells and healthy cells Presentation

E. Vendel (Esmée)

In Silico Modeling of Stomatal Patterning Presentation

C.C. Antonovici (Claudiu-Cristi)

Modules in Metabolic Networks Presentation

L. Stougie (Leen)

Optimal Algorithms and a PTAS for Cost-Aware Scheduling In Proceedings

L. Chen, N. Megow (Nicole), R. Rischke (Roman), L. Stougie (Leen) and J. Verschae (José)

Stochastic and Robust Scheduling in the Cloud In Proceedings

L. Chen, N. Megow (Nicole), R. Rischke (Roman) and L. Stougie (Leen)

Erratum to: Computational complexity of stochastic programming problems Article

M. Dyer (Martin) and L. Stougie (Leen)

WhatsHap: Weighted Haplotype Assembly for Future-Generation Sequencing Reads Article

M.D. Patterson (Murray), T. Marschall (Tobias), N. Pisanti (Nadia), L.J.J. van Iersel (Leo), L. Stougie (Leen), G.W. Klau (Gunnar) and A. Schönhuth (Alexander)

Fast flux module detection using matroid theory Article

A.C. Reimers (Arne), F.J. Bruggeman (Frank), B.G. Olivier (Brett) and L. Stougie (Leen)

Preemptive Uniprocessor Scheduling of Mixed-Criticality Sporadic Task Systems Article

S.K. Baruah (Sanjoy), V. Bonifaci (Vincenzo), G. D'Angelo, H. Li, A. Marchetti Spaccamela (Alberto), S.L. van der Ster (Suzanne) and L. Stougie (Leen)

Characteristics of de novo structural changes in the human genome Article

W.P. Kloosterman (Wigard), T. Marschall (Tobias), A. Schönhuth (Alexander), V. Guryev (Victor) and not CWI et al

GPU acceleration of the stochastic grid bundling method for early-exercise options Article

Á. Leitao Rodriguez (Álvaro) and C.W. Oosterlee (Kees)

Pricing Bermudan options under Merton jump-diffusion asset dynamics Article

F. Cong (Fei) and C.W. Oosterlee (Kees)

BENCHOP - The BENCHmarking project in Option Pricing Article

L. von Sydow (Lina), L.J. Höök, E. Larsson, E. Lindström, S. Molanovic, J. Persson, V. Shcherbakov (Victor), Y. Shpolyansky, V. Shcherbakov (Vadim), S. Sirén, et al. J. Toivanen, J. Waldén (Johan), M. Wiktorsson (Magnus), J. Levesley, J. Li, C.W. Oosterlee (Kees), M.J. Ruijter (Marjon), A. Toropov, Y. Zhao and J. Li (Jiayuan)

Dynamic Pricing and Learning with Finite Inventories Article

A.P. Zwart (Bert) and A.V. den Boer (Arnoud)

Loss asymptotics for the single-server queue with complete rejection Article

A.P. Zwart (Bert)

MasterMath Cryptology Course Lecture

M.M.J. Stevens (Marc) and T. Lange

Lightning inception from ice particles and extensive air showers In Proceedings

A. A. Dubinova (Anna), C. Rutjes (Casper), U. Ebert (Ute), S. Buitink (Stijn), O. Scholten (Olaf) and T.N.G. Trinh (Gia)

Affinity of pulsed positive discharges to dielectrics in N2:O2 mixtures In Proceedings

A. A. Dubinova (Anna), D.J.M. Trienekens (Dirk), U. Ebert (Ute) and S. Nijdam (Sander)

Experimental investigation of streamer affinity for dielectric surfaces In Proceedings

D.J.M. Trienekens (Dirk), S. Nijdam (Sander), G. Akkermans, I. Plompen, T. Christen and U. Ebert (Ute)

Is absolute separability determined by the partial transpose? Article

S. Arunachalam (Srinivasan), N. Johnston and V. Russo (Vincent)

Error Analysis of Explicit Partitioned Runge-Kutta Schemes for Conservation Laws Article

W. Hundsdorfer (Willem), D.I. Ketcheson and I. Savostianov (Igor)

Modified Douglas Splitting Methods for Reaction-Diffusion Equations Tech Report

A. Arraras (Andres), K. In't Hout (Karel), W. Hundsdorfer (Willem) and L. Portero (Laura)

Quantum property testing: A survey and one new result Presentation

R.M. de Wolf (Ronald)

Query complexity in expectation In Proceedings

J. Kaniewski, T. J. Lee (Troy) and R.M. de Wolf (Ronald)

Exponential Lower Bounds for Polytopes in Combinatorial Optimization Article

S. Fiorini, S. Massar (Serge), S. Pokutta (Sebastian), H.R. Tiwary and R.M. de Wolf (Ronald)

Continuous-time on-policy neural reinforcement learning of working memory tasks In Proceedings

D. Zambrano (Davide), P.R. Roelfsema (Pieter) and S.M. Bohte (Sander)

Wake losses optimization of offshore wind farms with moveable floating wind turbines Article

S.F. Rodrigues (Sílvio), R. Teixeira Pinto (Rodrigo), M. Soleimanzadeh (Maryam), P.A.N. Bosman (Peter) and P. Bauer (Pavol)

Diversifying Multi-Objective Gradient Techniques and their Role in Hybrid Multi-Objective Evolutionary Algorithms for Deformable Medical Image Registration In Proceedings

K. Pirpinia (Kleopatra), T. Alderliesten (Tanja), J.-J. Sonke (Jan-Jakob), M. van Herk (Marcel) and P.A.N. Bosman (Peter)

A Clustering-Based Model-Building EA for Optimization Problems with Binary and Real-Valued Variables In Proceedings

K.L. Sadowski (Krzysztof), P.A.N. Bosman (Peter) and D. Thierens (Dirk)

In Search of Optimal Linkage Trees In Proceedings

R. de Bokx (Roy), D. Thierens (Dirk) and P.A.N. Bosman (Peter)

Getting the most out of additional guidance information in deformable image registration by leveraging multi-objective optimization In Proceedings

T. Alderliesten (Tanja), P.A.N. Bosman (Peter) and A. Bel (Arjan)

On the usefulness of gradient information in multi-objective deformable image registration using a B-spline-based dual-dynamic transformation model: comparison of three optimization algorithms In Proceedings

K. Pirpinia (Kleopatra), P.A.N. Bosman (Peter), J.-J. Sonke (Jan-Jakob), M. van Herk (Marcel) and T. Alderliesten (Tanja)

Exploiting Linkage Information and Problem-Specific Knowledge in Evolutionary Distribution Network Expansion Planning In Proceedings

N.H. Luong (Hoang), J.A. La Poutré (Han) and P.A.N. Bosman (Peter)

Scalable and Practical Multi-Objective Distribution Network Expansion Planning In Proceedings

N.H. Luong (Hoang), M.O.W. Grond, J.A. La Poutré (Han) and P.A.N. Bosman (Peter)

Thema Film 20: reverie point cloud rendering Magazine Article

R.N. Mekuria (Rufael)

Thema Film 18: Distributed Tempest Magazine Article

CWI CWI

Modeling bit rate adaptation of concurrent HTTP adaptive streaming video players In Proceedings

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