Publications from 2025

Temporal Manipulation and Sharing of Presentation State in Browser-Embedded Multimedia Documents In Proceedings

D.C.A. Bulterman (Dick), A.J. Jansen (Jack) and P.S. César Garcia (Pablo Santiago)

On the axiomatizability of impossible futures: preorder versus equivalence Tech Report

T. Chen (Taolue) and W.J. Fokkink (Wan)

A PTAS for the Multiple Depot Vehicle Routing Problem Tech Report

S. Cardon, S. Dommers, C. Eksin, R.A. Sitters (René), A. Stougie and L. Stougie (Leen)

BioSecure: white paper for research in biometrics beyond BioSecure Tech Report

B.A.M. Schouten (Ben), F. Deravi, C. García-Mateo, M. Tistarelli, M. Snijder, M. Meints and J. Dittmann

Information rates of radiation as a photon gas Article

A. Martinez (Alfonso)

Distributive smoothers in multigrid for problems with dominating grad-div operators Article

F.J. Gaspar (Francisco), J.L. Gracia, F.J. Lisbona and C.W. Oosterlee (Kees)

Summer heatwaves promote blooms of harmful cyanobacteria Article

K.D Joehnk, J. Huisman, J. Sharples, B.P. Sommeijer (Ben), P.M. Visser (Petra) and J.M. Stroom

A generalization of Voronoi's reduction theory and its application Article

M. Dutour Sikirić (Mathieu), A. Schuermann and F. Vallentin (Frank)

Registration of 3D Face Scans with Average Face Models Article

A.A. Salah (Albert Ali), N. Alyuz and L. Akarun

Cryptography in a quantum world Dissertation

S.D.C. Wehner (Stephanie)

Keeping fairness alive Dissertation

M.T. Dashti (Mohammad)

CWI 62 jaar! : standaard bij gebak t.g.v. verjaardag CWI Other

Indexing Views to Route Queries in a PDMS Article

E. Sidirourgos (Eleftherios), G. Kokkinidis, T. Dalamagas, V. Christophides and T. Sellis

Combining Expert Advice Efficiently Tech Report

W.M. Koolen-Wijkstra (Wouter) and S. de Rooij (Steven)

Delivering Interactive Multimedia Services in Dynamic Pervasive Computing Environments In Proceedings

C. Hesselman, P.S. César Garcia (Pablo Santiago), I. Vaishnavi (Ishan), M. Boussard, R. Kernchen, S. Meissner, A. Spedalieri, A. Sinfreu and C. Raeck

On a generic class of two-node queueing systems Tech Report

I.J.B.F. Adan, M.R.H. Mandjes (Michel), W.R.W. Scheinhardt (Werner) and E. Tzenova

Realization theory for linear hybrid systems, part I: Existence of realization Tech Report

M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

Realization theory for linear hybrid systems, part II: Reachability, observability and minimality Tech Report

M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

On the axiomatizability of priority Article

L. Aceto (Luca), T. Chen (Taolue), W.J. Fokkink (Wan) and A. Ingólfsdóttir

Combining Expert Advice Efficiently Article

W.M. Koolen-Wijkstra (Wouter) and S. de Rooij (Steven)

A fast and accurate FFT-based method for pricing early-exercise options under Levy processes Article

R. Lord, F. Fang, F. Bervoets and C.W. Oosterlee (Kees)

Distributed partial order reduction for branching security protocols Article

M.T. Dashti (Mohammad), A.J. Wijs (Anton) and B. Lisser (Bert)

Algorithms for SCC Decomposition Article

J. Barnat, J. Chaloupka (Jakub) and J.C. van de Pol (Jaco)

An integrated system to manage crosscutting concerns in source code Dissertation

M.A. Marin (Marius)

High entropy random selection protocols [Extended Abstract] In Proceedings

H.M. Buhrman (Harry), M. Christandl (Matthias), M. Koucký (Michal), Z. Lotker (Zvi), Patt-Shamir, B. (Boaz) and N.K. Vereshchagin (Nikolay Konstantinovich)

The unique games conjecture with entangled provers is false In Proceedings

Kempe, J. (Julia), O. Regev (Oded) and B.F. Toner (Ben)

Multirate numerical integration for ordinary differential equations Dissertation

V. Savcenco (Valeriu)

07381 Executive Summary Cryptography - Dagstuhl Seminar In Proceedings

J. Blömer (Johannes), Boneh, D. (D.), R.J.F. Cramer (Ronald) and Maurer, U. (U.)

VectorWise Software

M. Zukowski (Marcin), S. A. B. C. Héman (Sándor) and P.A. Boncz (Peter)

Flatland: A romance of many dimensions Book

Sqllogictest Software

H.F. Mühleisen (Hannes)

An Introduction to Kolmogorov Complexity Book

M. Li (Ming) and P.M.B. Vitányi (Paul)

An hp-adaptive strategy for the solution Of the exact kernel curved wire pocklington Equation Article

P.W. Hemker (Piet) and D.J.P. Lahaye (Domenico)

De AERA. Gedroomde machines en de praktijk van het rekenwerk aan het Mathematisch Centrum te Amsterdam Article

G. Alberts (Gerard) and H. de Beer

Applying data mining to the study of Joseki In Proceedings

M. Helvensteijn (Michiel)

Twintig jaar internet : YouTube film Online Video

P. Beertema (Piet) and J.K. Lenstra (Jan Karel)

Experts onthullen zwakke plek in internetbeveiliging : YouTube film Online Video

A. Sotirov (Alexander), M.M.J. Stevens (Marc), J. Appelbaum, A.K. Lenstra (Arjen), D. Molnar, D.A. Osvik and B. de Weger (Benne)

Modeling just-in-time communication in distributed real-time multimedia applications In Proceedings

R. Yang (Ran), R.D. van der Mei (Rob), D. Roubos, F.J. Seinstra, G.M. Koole (Ger) and H. Bal

On the optimization of resource utilization in distributed multimedia applications In Proceedings

R. Yang (Ran), R.D. van der Mei (Rob), D. Roubos, F.J. Seinstra and G.M. Koole (Ger)

Met sprongen : intreerede TU Delft, 01.10.2008 Magazine Article

C.W. Oosterlee (Kees)

Visual Quasi-Periodicity In Proceedings

E. Pogalin, A.W.M. Smeulders (Arnold) and A.H.C. Thean

The MediaMill TRECVID 2008 Semantic Video Search Engine In Proceedings

C. Snoek, K.E.A. van de Sande, O. de Rooij, B. Huurnink, J.C. van Gemert, J.R.R. Uijlings, J. He (Jiyin), X. Li (Xirong), I. Everts, V. Nedovic, et al. M. van Liempt, R. van Balen, F. Yan (Fei), M.A. Tahir, K. Mikolajczyk, J. Kittler, M. de Rijke (Maarten), J.M. Geusebroek (Jan-Mark), T. Gevers, M. Worring (Marcel), A.W.M. Smeulders (Arnold) and D.C. Koelma

Quadratic Boosting Article

T.V. Pham and A.W.M. Smeulders (Arnold)

Kernel Codebooks for Scene Categorization In Proceedings

J.C. van Gemert, J.M. Geusebroek (Jan-Mark), C.J. Veenman and A.W.M. Smeulders (Arnold)

Depth Estimation Via Stage Classification In Proceedings

V. Nedovic, A.W.M. Smeulders (Arnold), A. Redert and J.M. Geusebroek (Jan-Mark)

Analyzing Video Concept Detectors Visually In Proceedings

C. Snoek, R. van Balen, D.C. Koelma, A.W.M. Smeulders (Arnold) and M. Worring (Marcel)

M/G/∞ polling systems with fixed visit times Article

M. Vlasiou (Maria) and U. Yechiali

Unconditionally stable integration of Maxwell's equations Tech Report

J.G. Verwer (Jan) and M.A. Botchev

Performance results for digital subscriber line precoders Article

P.A. Whiting, A. Ashikhmin, S.C. Borst (Sem), J. Jennen, G. Kramer, A.J. Lind van Wijngaarden and M. Zivkovic

Peer-assisted content distribution networks: performance gains and server capacity savings Article

I. Rimac, S.C. Borst (Sem) and A. Walid

IEEE 802.11s and the Philosopher's problem Article

D. Denteneer, S.C. Borst (Sem), P.M. van de Ven (Peter) and G. Hiertz

New challenges in content dissemination networks Article

A. Beck, S.C. Borst (Sem), B. Ensor, V. Hilt, I. Rimac and A. Walid

On server dimensioning for hybrid P2P content distribution networks In Proceedings

I. Rimac, A. Walid and S.C. Borst (Sem)

In and Out of Equilibrium II Book

Eurographics Virtual Environments Proceedings

High Resolution Mass Spectrometry Analysis Software

A. Broersen (Alexander) and R. van Liere (Robert)

Designing bidding strategies strategies in sequential auctions for risk-averse agents: A theoretical and experimental investigation Book Chapter

V. Robu (Valentin) and J.A. La Poutré (Han)

Diffusion Limits of Limited Processor Sharing Queues Tech Report

J. Zhang (Jason), J.G. Dai and A.P. Zwart (Bert)

Constructing the Structure of Utility Graphs Used in Multi-Item Negotiation Through Collaborative Filtering of Aggregate Buyer Preferences Book Chapter

V. Robu (Valentin) and J.A. La Poutré (Han)

A new tower over cubic finite fields Article

A. Bassa (Alp), A. Garcia and H. Stichtenoth

Challenges for societal logistics Article

R.D. van der Mei (Rob)

Evolutionary Dynamics for Designing Multi-Period Auctions In Proceedings

T.B. Klos (Tomas) and G.J. van Ahee

A Distributed Platform for Mechanism Design In Proceedings

K.R. Apt (Krzysztof), F. Arbab (Farhad) and H. Ma (Huiye)

Improper colouring of (random) unit disk graphs Article

R.J. Kang (Ross), T. Müller (Tobias) and J.-S. Sereni

Lower bounding the boundary of a graph in terms of its maximum or minimum degree Article

T. Müller (Tobias), A. Por and J.-S. Sereni

Two-point concentration in random geometric graphs Article

T. Müller (Tobias)

Proportionate Flow Shop Games Article

A. Estévez-Fernandéz (Arantza), M.A. Mosquera, P. Borm and H. Hamers

OWLRL - RDFS and OWL 2 RL generator service Software

I. Herman (Ivan)

A shape theorem for the spread of an infection. Article

H. Kesten and V. Sidoravicius (Vladas)

A problem in one-dimensional diffusion-limited aggregation (DLA) and positive recurrence of Markov chains. Article

H. Kesten and V. Sidoravicius (Vladas)

Positive recurrence of a one-dimensional variant of diffusion limited aggregation. Book Chapter

H. Kesten and V. Sidoravicius (Vladas)

Random spatial growth with paralyzing obstacles. Article

J. van den Berg (Rob), Y. Peres, V. Sidoravicius (Vladas) and M.E. Vares

Box-crossings and continuity results for self-destructive percolation in the plane Book Chapter

J. van den Berg (Rob), R.M. Brouwer (Rachel) and B. Vagvölgyi (Balint)

-- Unpublished

L. Rutledge (Lloyd)

Coordinating Object Oriented Components Using Data-flow Networks In Proceedings

M.M. Jaghoori (Mohammad Mahdi)

Vertical systems biology: from DNA to flux and back Book Chapter

A. Bevilacqua, S.J. Wilkinson, R. Dimelow, E. Murabito, S. Rehman, M. Nardelli, K. van Eunen, S. Rossell, F.J. Bruggeman (Frank), N. Bluethgen, et al. D.L. de Vos (Dirk), J. Bouwman, B.M. Bakker and H.V. Westerhoff (Hans)

Met sprongen Inaugural Lecture

C.W. Oosterlee (Kees)

Pre-Galois Connection on Coalgebras for Generic Component Refinement Article

M. Sun (Meng)

Control of input-output discrete-event systems Tech Report

M. Petreczky (Mihaly), R. Theunissen, R. Su (Rong), D.A. van Beek, J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

A control problem for hybrid systems with discrete inputs and outputs Tech Report

M. Petreczky (Mihaly), P.J. Collins (Pieter), D.A. van Beek, J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

Main Memory DBMS Book Chapter

P.A. Boncz (Peter)

Main Memory Book Chapter

P.A. Boncz (Peter)

Processor Cache Book Chapter

P.A. Boncz (Peter)

Disk Book Chapter

P.A. Boncz (Peter)

Fronts in Fermi-Pasta-Ulam chains Tech Report

M. Herrmann and J.D.M. Rademacher (Jens)

Decentralized Management of Intermediate Elctricity Networks by Agents using Local Dynamic Pricing Software

H. Noot (Han), S.M. Bohte (Sander) and J.A. La Poutré (Han)

Synthesizing nonblocking distributed supervision based on automata abstraction In Proceedings

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

When do diffusion-limited trajectories become memoryless? In Proceedings

M. Dobrzynski (Maciej)

Leatherbacks matching by automated image recognition Book Chapter

E.J.E.M. Pauwels (Eric), P.M. de Zeeuw (Paul) and D.M. Buonantony

Computer-assisted tree taxonomy by automated image recognition Article

E.J.E.M. Pauwels (Eric), P.M. de Zeeuw (Paul) and E.B. Ranguelova (Elena)

XHTML Role Attribute, A module to support role classification of elements Tech Report

M. Birbeck (Mark), S. Pemberton (Steven) and not CWI et al

XHTML Access Module Module to enable generic document accessibility Tech Report

M. Birbeck (Mark), S. Pemberton (Steven) and not CWI et al

RDFa in XHTML: Syntax and Processing Tech Report

B. Adida (Ben), S. Pemberton (Steven) and not CWI et al

Semantic web and beyond computing for human experience Book Chapter

V. Kashyap, K.-H. Cheung, D. Doherty, M. Samwald, M.S. Marshall (Scott), J. Luciano, S. Stephens, I. Herman (Ivan) and B. Hookway

The Path to Web n+1 Article

L. Hardman (Lynda) and S. Pemberton (Steven)

Modular Development of Hybrid Systems for Verification in Coq In Proceedings

M. Niqui (Milad) and O. Tveretina

Post-proceedings of the second International Workshop on the Foundations of Interactive Computation Proceedings

Large Deviations Perspective on Ordinal Optimization of Heavy-tailed Systems In Proceedings

J. Blanchet (Jose), J. Liu and A.P. Zwart (Bert)

Scaling laws for file dissemination in P2P networks with random contacts In Proceedings

R. Núñez Queija (Rudesindo) and B.J. Prabhu (Balakrishna)

Load balancing in processor sharing systems In Proceedings

E. Altman, U. Ayesta (Urtzi) and B.J. Prabhu (Balakrishna)