Publications from 2026

Symmetric and Synchronous Communication in Peer-to-Peer Networks In Proceedings

S. A. Witzel (Andreas)

The operator $\Psi$ for the Chromatic Number of a Graph Article

N. Gvozdenovic (Nebojsa) and M. Laurent (Monique)

Computing semidefinite programming lower bounds for the (fractional) chromatic number via block-diagonalization Article

N. Gvozdenovic (Nebojsa) and M. Laurent (Monique)

A note on stability of the integral-differential equation of the hyperbolic type in a Hilbert space Article

M. Ashyraliyev (Maksat)

New upper bounds for kissing numbers from semidefinite programming Article

C. Bachoc and F. Vallentin (Frank)

Depth map calculation for a variable number of moving objects using Markov sequential object processes Article

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

Semantics-driven Recommendations in Cross-Media Museum Applications In Proceedings

N. Stash, L. Aroyo (Lora), Y. Wang (Yanjing), L. Rutledge (Lloyd) and P. Gorgels

Accuracy in Rating and Recommending Item Features In Proceedings

L. Rutledge (Lloyd), N. Stash, Y. Wang (Yanjing) and L. Aroyo (Lora)

Robust Cryptography in the Noisy-Quantum-Storage Model Tech Report

C. Schaffner (Christian), B.M. Terhal (Barbara) and S.D.C. Wehner (Stephanie)

Sound ranking algorithms for XML search in PF/Tijah In Proceedings

Hiemstra, D. (Djoerd), S. Klinger (Stefan), H. Rode (Henning), Flokstra, J. (Jan) and P.M.G. Apers (Peter)

Pricing Multi-asset options using sparse grids Dissertation

C.C.W. Leentvaar

Speltheorie krijgt grotere rol in andere wetenschappelijke disciplines Article

R. Keijzer and J.A. La Poutré (Han)

Using Rscript for Software Analysis In Proceedings

P. Klint (Paul)

Services and Contracts: Coalgebraically In Proceedings

M. Sun (Meng) and F. Arbab (Farhad)

Unified relevance models for rating prediction in collaborative filtering Article

J. Wang (Jun), A.P. de Vries (Arjen) and M.J.T. Reinders

Distributed XQuery and Updates Processing with Heterogeneous XQuery Engines In Proceedings

Y. Zhang (Ying) and P.A. Boncz (Peter)

DSM vs. NSM: CPU Performance Tradeoffs in Block-Oriented Query Processing In Proceedings

M. Zukowski (Marcin), N.J. Nes (Niels) and P.A. Boncz (Peter)

On codes, matroids and secure computation from linear secret sharing schemes Article

R.J.F. Cramer (Ronald), V. Daza, J.L. Gracia, J. Jimenez Urroz, G. Leander, J. Marti-Farre and C. Padró (Carles)

Coalgebraising subsequential transducers In Proceedings

H.H. Hansen (Helle)

Can priced options solve the exposure problem in sequential auctions? Article

I.M. Mous (Lonneke), V. Robu (Valentin) and J.A. La Poutré (Han)

Minimal ownership for active objects Tech Report

D.G. Clarke (David), T. Wrigstad, J. Östlund and E.B. Johnsen (Einar Broch)

Monotonicity in the limited processor sharing queue Tech Report

M. Nuyens and W. van der Weij (Wemke)

A feedback fluid queue with two congestion control thresholds Tech Report

R. Malhotra, M.R.H. Mandjes (Michel), W.R.W. Scheinhardt (Werner) and J.L. van den Berg (Hans)

Online Auctions and Generalized Secretary Problems Article

M. Babaioff, N.S. Immorlica (Nicole Simone), D. Kempe and R. Kleinberg

Asymptotic analysis of Levy-driven tandem queues Tech Report

P.M.D. Lieshout (Pascal) and M.R.H. Mandjes (Michel)

Bandwidth-sharing networks under a diffusion scaling Tech Report

U. Ayesta (Urtzi) and M.R.H. Mandjes (Michel)

On the Axiomatizability of Impossible Futures: Preorder versus Equivalence In Proceedings

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

Multimedia Retrieval at INEX 2007 Article

T. Tsikrika (Theodora) and T.H.W. Westerveld (Thijs)

Chaotic dynamics in hybrid systems Tech Report

P.J. Collins (Pieter)

Design issues for qualitative modelling of biological cells with Petri nets In Proceedings

E. Krepska, N. Bonzanni, A. Feenstra, T. Kielmann (Thilo), W.J. Fokkink (Wan), H. Bal and J. Heeringa

On the axiomatizability of impossible futures: preorder versus equivalence In Proceedings

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

Facility Location (1997); Shmoys, Tardos, Aardal Book Chapter

K.I. Aardal (Karen), J. Byrka (Jaroslaw) and M. Mahdian (Mohammad)

Lattice reformulation of integer programming problems Book Chapter

K.I. Aardal (Karen)

A prolongation-projection algorithm for computing the finite real variety of an ideal Tech Report

J.B. Lasserre, M. Laurent (Monique) and P. Rostalski

Introduction to the special issue on "Semantic Multimedia" Article

Y. Avrithis, N. O'Connor (Noel), S. Staab and R. Troncy (Raphael)

Technoscience Art: A Bridge between Neuroesthetics and Art History? Article

A.A. Akdağ Salah (Alkım Almıla) and A.A. Salah (Albert Ali)

Applying Model-based Testing to HTML Rendering Engines - A Case Study In Proceedings

J.R. Calamé (Jens) and J.C. van de Pol (Jaco)

XSLT+SPARQL : Scripting the semantic web with SPARQL embedded into XSLT stylesheets Article

D. Berrueta, E.J. Labra and I. Herman (Ivan)

Understanding cultural heritage experts’ information seeking needs In Proceedings

A.K. Amin (Alia), J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda) and A. van Nispen

On the numerical solution of diffusion-reaction equations with singular source terms Article

M. Ashyraliyev (Maksat), J.G. Blom (Joke) and J.G. Verwer (Jan)

Game theory day at CWI, 27-5-2008 : invitation Booklet

CWI lectures in mathematics and computer science 2008 : 25 years of concurrency theory at CWI : 23-5-2008 : invitation Booklet

Fluid limits for processor-sharing queues with impatience Article

H.C. Gromoll (Christian), P. Robert (Philippe) and A.P. Zwart (Bert)

The Parvo and Magno-Cellular Systems Encode Natural Image Statistics Parameters In Proceedings

H.S. Scholte (Steven), S. Ghebreab, A.W.M. Smeulders (Arnold) and V.A.F. Lamme

CURIE Syntax 1.0 Tech Report

S. Pemberton (Steven) and not CWI et al

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

Neder;land naar de donder en bliksem News Broadcast

U. Ebert (Ute)

Agent-based Patient Admission Scheduling in Hospitals In Proceedings

A.K. Hutzschenreuter (Anke Kristine), P.A.N. Bosman (Peter), I. Blonk-Altena, J. van Aarle and J.A. La Poutré (Han)

Proceedings of Eurographics Symposium on Virtual Environments Proceedings

A Framework for Performance Evaluation of Model-Based Optical Trackers In Proceedings

F.A. Smit (Ferdi) and R. van Liere (Robert)

Tangible Interaction for 3D Widget Manipulation in Virtual Environments In Proceedings

K.J. Kruszynski (Chris) and R. van Liere (Robert)

An interactive platform for auction-based allocation of loads in transportation logistics In Proceedings

V. Robu (Valentin), H. Noot (Han), J.A. La Poutré (Han) and W.-J. van Schijndel

A Mechanism for Presentation-Layer Media Continuity in Media Playback Mode In Proceedings

I. Vaishnavi (Ishan), P.S. César Garcia (Pablo Santiago), A.J. Jansen (Jack), B. Gao (Bo) and D.C.A. Bulterman (Dick)

Coordination models Orc and Reo compared Tech Report

J.M.P. Proença (Jose) and D.G. Clarke (David)

Social Television and User Interaction Article

P.S. César Garcia (Pablo Santiago), K. Chorianopoulos (Konstantinos) and J.F. Jensen

Transient analysis of Markov-fluid-driven queues Tech Report

A. Es-Saghouani (Abdelghafour) and M.R.H. Mandjes (Michel)

On finite alphabets and infinite bases Article

T. Chen (Taolue), W.J. Fokkink (Wan), S.P. Luttik (Bas) and S. Nain

Periodic decomposition of integer valued functions Article

G. Karolyi (Gyula), T. Keleti, G. Kos and I.Z. Ruzsa

Approximating Power Indices In Proceedings

Y. Bachrach, V. Markakis (Vangelis), A. Procaccia, J. Rosenschein and A. Saberi

Epistemic Logic and Explicit Knowledge in Distributed Programming (Short Paper) In Proceedings

S. A. Witzel (Andreas) and J.A. Zvesper (Jonathan)

Domain-specific languages as key tools for ULSSIS engineering In Proceedings

J. Heering (Jan) and M. Mernik (Marjan)

The Myth of the Folk Theorem In Proceedings

C. Borgs, J. Chayes, N.S. Immorlica (Nicole Simone), A. Kalai, V. Mirrokni and C.H. Papadimitriou

Predicting the Sieving Effort for the Number Field Sieve In Proceedings

W.H. Ekkelkamp (Willemien)

A Branch-and-Cut Approach to the Crossing Number Problem Article

C. Buchheim, M. Chimani, D. Ebner, C. Gutwenger, M. Juenger, G.W. Klau (Gunnar), P. Mutzel and R. Weiskircher

Parameter Identification in System Biology Master Thesis

J. Stolze (Jan)

Online gathering algorithms in wireless networks Dissertation

P. Korteweg

Approximating the stability number and the chromatic number of a graph via semidefinite programming Dissertation

N. Gvozdenovic (Nebojsa)

Relevance Models for Collaborative Filtering Dissertation

J. Wang (Jun)

Be Your Own Curator with the CHIP Tour Wizard [html] Article

Y. Wang (Yanjing), R. Sambeek, Y. Schuurmans, L. Aroyo (Lora), N. Stash, L. Rutledge (Lloyd) and P. Gorgels

Intelligente Veilingen Article

J.A. La Poutré (Han)

Cascading Style Sheets, level 2 CSS2 Specification In Proceedings

S. Pemberton (Steven) and not CWI et al

Cascading Style Sheets, level 1 In Proceedings

S. Pemberton (Steven) and not CWI et al

Wetenschap 2.0 Article

P. Klint (Paul)

Capturing Streamers in their full Splendour Article

U. Ebert (Ute)

The Effects of Source Credibility Ratings in a Cultural Heritage Information Aggregator In Proceedings

A.K. Amin (Alia), J. Zhang (Jason), H. Cramer, L. Hardman (Lynda) and V. Evers (Vanessa)

Numerical Integration of Damped Maxwell Equations Tech Report

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

Adaptive Segmentation for Scientific Databases In Proceedings

M.G. Ivanova (Milena), M.L. Kersten (Martin) and N.J. Nes (Niels)

The Database Architecture Jigsaw Puzzle In Proceedings

M.L. Kersten (Martin)

An Empirical Evaluation of XQuery Processors Article

S. Manegold (Stefan)

Performance Evaluation in Database Research: Principles and Experience In Proceedings

I. Manolescu and S. Manegold (Stefan)

Strongly multiplicative ramp schemes from high degree rational points on curves In Proceedings

H. Chen (Helen), R.J.F. Cramer (Ronald), R. de Haan (Robbert) and I. Cascudo (Ignacio)

The Twin Diffie-Hellman Problem and Applications In Proceedings

D. Cash (Charles David), E. Kiltz (Eike) and V. Shoup

Clouds by chance: improving atmosphere models with random numbers Article

D.T. Crommelin (Daan)

Perfect Parallel Repetition Theorem for Quantum Xor Proof Systems Article

F.P. Unger (Falk), R.E. Cleve (Richard), W. Slofstra (William) and S. Upadhyay

Dimensioning network links Tech Report

A. Pras, R. van de Meent, M.R.H. Mandjes (Michel) and L.J.M. Nieuwenhuis

On Levy-driven vacation models with correlated busy periods and service interruptions Tech Report

O. Kella, O.J. Boxma (Onno) and M.R.H. Mandjes (Michel)

On convergence to stationarity of fractional Brownian storage Tech Report

P. Glynn, M.R.H. Mandjes (Michel) and I. Norros

State-dependent importance sampling for a Jackson tandem network Tech Report

D.I. Miretskiy, W.R.W. Scheinhardt (Werner) and M.R.H. Mandjes (Michel)

Ready to Preorder: The Case of Weak Process Semantics Article

T. Chen (Taolue), W.J. Fokkink (Wan) and R.J. van Glabbeek (Rob)

Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata In Proceedings

L. Sella (Lorenzo) and P.J. Collins (Pieter)

Higher-Order Knowledge in Computer Games In Proceedings

S. A. Witzel (Andreas) and J.A. Zvesper (Jonathan)

A Combinatorial Allocation Mechanism for Banner Advertisement with Penalties In Proceedings

U. Feige, N.S. Immorlica (Nicole Simone), V. Mirrokni and H. Nazerzadeh

Witt vectors. Part 1 Tech Report

M. Hazewinkel (Michiel)

Introduction to the special issue on "Semantic Multimedia" Article

Y. Avrithis, N. O'Connor (Noel), S. Staab and R. Troncy (Raphael)

A Hidden Markov Model Perspective on Regimes and Metastability in Atmospheric Flows Article

C.L.E. Franzke (Christian), D.T. Crommelin (Daan), A. Fischer and A.J. Majda

Complexity and algorithms for computing Voronoi cells of lattices Tech Report

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

Be Your Own Curator with the CHIP Tour Wizard [pdf] In Proceedings

Y. Wang (Yanjing), R. Sambeek, Y. Schuurmans, L. Aroyo (Lora), N. Stash, L. Rutledge (Lloyd) and P. Gorgels

Why Evaluating Semantic Web Applications is Difficult Tech Report

J.R. van Ossenbruggen (Jacco), A.K. Amin (Alia) and M. Hildebrand (Michiel)

The effects of transparency on perceived and actual competence of a content-based recommender. In Proceedings

H. Cramer, B. Wielinga, S. Ramlal, V. Evers (Vanessa), L. Rutledge (Lloyd) and N. Stash

Automatic generation of matter-of-opinion video documentaries Article

S. Bocconi, F.-M. Nack (Frank) and L. Hardman (Lynda)