Publications from 2026

Markov-modulated infinite-server queues with general service times Tech Report

J.G. Blom (Joke), O. Kella, M.R.H. Mandjes (Michel) and H. Thorsdottir (Halldora)

On the accuracy of phase-type approximations of heavy-tailed risk models. Article

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

Cyclic-type polling models with preparation times In Proceedings

N. Perel (Nir), J.-P.L. Dorsman (Jan-Pieter) and M. Vlasiou (Maria)

Marginal queue length approximations for a two-layered network with correlated queues Article

J.-P.L. Dorsman (Jan-Pieter), O.J. Boxma (Onno) and M. Vlasiou (Maria)

Mixed Volume and Distance Geometry Techniques for Counting Euclidean Embeddings of Rigid Graphs Book Chapter

I.Z. Emiris, E.P. Tsigaridas and A. Varvitsiotis (Antonios)

New series expansions of the Gauss hypergeometric function Article

J.L. López and N.M. Temme (Nico)

Coordination control of distributed discrete-event systems Book Chapter

J. Komenda, T. Masopust (Tomas) and J.H. van Schuppen (Jan)

Supervisory control of distributed discrete-event systems Book Chapter

J. Komenda, T. Masopust (Tomas) and J.H. van Schuppen (Jan)

Supervisory control with complete observations Book Chapter

T. Masopust (Tomas) and J.H. van Schuppen (Jan)

Control of discrete-event systems - Automata and Petri Net perspectives Book

Uitnodiging kerstborrel, 20.12.2012 Other

Poster Praethuys Miscellaneous

Static analysis of unbounded structures in object-oriented programs Dissertation

I. Grabe (Immo)

Cryptography from quantum uncertainty in the presence of quantum side information Dissertation

N.J. Bouman (Niek)

Learning against learning : evolutionary dynamics of reinforcement learning algorithms in strategic interactions Dissertation

M. Kaisers (Michael)

Interacting via the heap in the presence of recursion In Proceedings

J.C. Rot (Jurriaan), I.M. Asâvoae (Irina Mâriuca), F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and D. Lucanu (Dorel)

Logics of Communication and Knowledge Dissertation

F.A.G. Sietsma (Floor)

Exact algorithms for pairwise protein structure alignment Dissertation

I. Wohlers (Inken)

CWI’er Floor Sietsma (20) jongste doctor ooit Magazine Article

F.A.G. Sietsma (Floor)

Architecture-independent distributed query processing Dissertation

H.F. Mühleisen (Hannes)

Decision Support System for the Operating Room Scheduling Problem Article

J.T. van Essen (Theresia), J.L. Hurink (Johann), W. Hartholt and B.J. van den Akker

The Haskell Road to Logic, Maths and Programming, Second Edition Book

H.C. Doets (Kees) and D.J.N. van Eijck (Jan)

Good Listeners, Wise Crowds and Parasitic Experts Article

J.W. Romeijn, T.F. Sterkenburg (Tom) and P.D. Grünwald (Peter)

TyMoRe - modular type based refactoring Software

A. Izmaylova (Anastasia) and J.J. Vinju (Jurgen)

Role Attribute 1.0 Manual

S. Pemberton (Steven), B. Adida (Ben), M. Birbeck (Mark), T.V. Raman and R. Schwerdtfeger

Adapting AIC to conditional model selection In Proceedings

M. van Ommen (Thijs)

The Grammar Hammer of 2012 Tech Report

V. Zaytsev (Vadim)

Mixability in Statistical Learning In Proceedings

T.A.L. van Erven (Tim), P.D. Grünwald (Peter), M.D. Reid and R.C. Williamson

Approximation algorithms for nonbinary agreement forests Tech Report

L.J.J. van Iersel (Leo), S.M. Kelk (Steven), N. Lekic (Nela) and L. Stougie (Leen)

Recursive Programming: A Clarification Tech Report

G. M. C. J. T. G. van den Hove d'Ertsenryck (Gauthier)

Strategisch plan [Strategy plan] 2013-2018 : samen sterker, per aspera ad astra Book

De sprong naar het quantumrekenen. Volkskrant, 15 december 2012 Magazine Article

H.M. Buhrman (Harry)

Hersenen als heilige graal. Science Guide, 4 december 2012 Magazine Article

S.M. Bohte (Sander)

Kloof tussen hersenen en computer kleiner. de Telegraaf, 15 december 2012 Magazine Article

S.M. Bohte (Sander)

Jongste doctor (20) ontdekte logica van e-maillekken. Friesch Dagblad, 14 december 2012 Magazine Article

F.A.G. Sietsma (Floor)

Floor jongste doctor ooit. Science Guide, 7 december 2012 Magazine Article

F.A.G. Sietsma (Floor)

Opvolger Robbert Dijkgraaf? 20-jarige Floor Sietsma jongste promovendus ooit. HP/De Tijd, 13 december 2012 Magazine Article

F.A.G. Sietsma (Floor)

Jongste doctor (20) onderzoekt liegen met poker. nu.nl, 13 december 2012 Magazine Article

F.A.G. Sietsma (Floor)

CWI'er Floor Sietsma (20) jongste doctor ooit. AutomatiseringGids, 10 december 2012 Magazine Article

F.A.G. Sietsma (Floor)

Floor Sietsma. Trouw, 14 december 2012 Magazine Article

F.A.G. Sietsma (Floor)

Jongste doctor (20): pokeraars liegen niet. Algemeen Dagblad, 14 december 2012 Magazine Article

F.A.G. Sietsma (Floor)

Alleen Hugo de Groot promoveerde jonger. het Parool, 14 december 2012 Magazine Article

F.A.G. Sietsma (Floor)

Nerd van het jaar is nu ook jongste doctor. Volkskrant, 14 december 2012 Magazine Article

F.A.G. Sietsma (Floor)

20-jarige is jongste promovendus ooit. RTL Nieuws, 13 december 2012 Magazine Article

F.A.G. Sietsma (Floor)

Piepjonge promovenda aan de UvA. NOS.nl, 13 december 2012 Magazine Article

F.A.G. Sietsma (Floor)

Werking hersenen beter te verklaren met nieuw model Magazine Article

S.M. Bohte (Sander)

New model for spiking neural networks : Hoe?Zo! Radio, NTR, 04.12.2012 [8:17] News Broadcast

S.M. Bohte (Sander)

Kloof tussen hersenen en computer kleiner Magazine Article

S.M. Bohte (Sander)

Towards a Reverse Newman's Theorem in Interactive Information Complexity Tech Report

J. Brody (Joshua), H.M. Buhrman (Harry), M. Koucký (Michal), B. S. Loff Barreto (Bruno Serra) and F. Speelman (Florian)

Explicit Lower and Upper Bounds on the Entangled Value of Multiplayer XOR Games Article

J. Briët (Jop) and T. Vidick (Thomas)

Violating the Shannon capacity of metric graphs with entanglement Article

J. Briët (Jop), H.M. Buhrman (Harry) and D. Gijswijt (Dion)

MonetDB Oct2012-SP2 bugfix release Software

M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), F.E. Groffen (Fabian), J.A. de Rijke (Arjen), Y. Zhang (Ying), S. Idreos (Stratos), R.A. Pereira Goncalves (Romulo Antonio), et al. E. Sidirourgos (Eleftherios), H. Pirk (Holger), 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), V.V. Meduri (Vamsi) and H.F. Mühleisen (Hannes)

Neurally Plausible Reinforcement Learning of Working Memory Tasks In Proceedings

J.O. Rombouts (Jaldert), S.M. Bohte (Sander) and P.R. Roelfsema (Pieter)

Efficient Spike-Coding with Multiplicative Adaptation in a Spike Response Model In Proceedings

S.M. Bohte (Sander)

Finding social optima in congestion games with positive externalities. In Proceedings

B. de Keijzer (Bart) and G. Schäfer (Guido)

Is it a bird or is it a crow? The influence of presented tags on image tagging by non-expert users Tech Report

M.H.R. Leyssen (Mieke), M.C. Traub (Myriam), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

Proceedings of the Fifth Workshop on Information Theoretic Methods in Science and Engineering Proceedings

Labyrint : TV uitzending 05.12.2012 over Alan Turing [25:11] News Broadcast

P. Klint (Paul)

Reduction of Market Power and Stabilisation of Outcomes in a Novel and Simplified Two-Settlement Electricity Market In Proceedings

N.F. Höning (Nicolas) and J.A. La Poutré (Han)

Deliverable D9.1.1 Annual Project Scientific Report Tech Report

J. Köhler (Joachim) and et al.

Boundedness and monotonicity properties in numerical initial value problems Dissertation

A. Mozartova (Anna)

Coordination control of linear systems Dissertation

P.L. Kempker (Pia)

Abstract Delta Modeling - Software Product Lines and Beyond Dissertation

M. Helvensteijn (Michiel)

Robust runtime optimization and skew-resistant execution of analytical SPARQL queries on Pig In Proceedings

S Kotoulas, J. Urbani (Jacopo), P.A. Boncz (Peter) and P. Mika

Geometric integration and thermostat methods for Hamiltonian systems Dissertation

J. Bajars (Janis)

Rascal Release 0.5.4 (alpha) Software

J.J. Vinju (Jurgen), P. Klint (Paul), D. Landman (Davy), A. Izmaylova (Anastasia), T. van der Storm (Tijs) and A.H.S. Bagge (Anya)

Rascal Release 0.5.3 (alpha) Software

J.J. Vinju (Jurgen), P. Klint (Paul), D. Landman (Davy), A. Izmaylova (Anastasia), T. van der Storm (Tijs) and A.H.S. Bagge (Anya)

Supporting Ground-Truth annotation of image datasets using clustering In Proceedings

B.J. Boom (Bas), X. Huang, J. He (Jiyin) and R.B. Fisher (Robert)

Polish Radio interview at conference "80th Anniversary of Breaking the Enigma Code" News Broadcast

N.T. Courtois, O. Dunkelman (Orr) and M.M.J. Stevens (Marc)

Hersenen simuleren voor computer. ScienceGuide, 16 november 2012 Magazine Article

S.M. Bohte (Sander) and L.P. Slazynski (Leszek)

Stieltjesprijs. Folia Magazine, 14 november 2012 Magazine Article

J. Briët (Jop)

Interview n.a.v. het winnen van de Stieltjesprijs : Hoe?Zo! Radio, Radio 5, 01.11.2012 [6:02] News Broadcast

J. Briët (Jop)

Hersenen simuleren voor computer Magazine Article

L.P. Slazynski (Leszek) and S.M. Bohte (Sander)

Multimedia analysis for ecological data In Proceedings

C. Spampinato (Concetto), V Mezaris and J.R. van Ossenbruggen (Jacco)

Locally decodable codes and the failure of cotype for projective tensor products Article

J. Briët (Jop), A. Naor (Assaf) and O. Regev (Oded)

MonetDB Oct2012-SP1 bugfix release Software

M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), F.E. Groffen (Fabian), J.A. de Rijke (Arjen), Y. Zhang (Ying), S. Idreos (Stratos), R.A. Pereira Goncalves (Romulo Antonio), et al. E. Sidirourgos (Eleftherios), H. Pirk (Holger), 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), V.V. Meduri (Vamsi), I. Fundulaki and H.F. Mühleisen (Hannes)

MonetDB Oct2012 bugfix release Software

S. Manegold (Stefan) and not CWI et al

Distributed Media Synchronization for Shared Video Watching: Issues, Challenges, and Examples Book Chapter

F. Boronat (Fernando), R.N. Mekuria (Rufael), M.A. Montagud Climent (Mario) and P.S. César Garcia (Pablo Santiago)

Linked Stream Data Processing: Facts and Figures In Proceedings

L.P. Danh, D.T. Minh, M.-D. Pham (Minh-Duc), P.A. Boncz (Peter), E. Thomas and F. Michael

SRBench: A Streaming RDF/SPARQL Benchmark In Proceedings

Y. Zhang (Ying), M.-D. Pham (Minh-Duc), O. Corcho (Oscar) and J.P. Calbimonte

Elitist archiving for multi-objective evolutionary algorithms: To adapt or not to adapt In Proceedings

N.H. Luong (Hoang) and P.A.N. Bosman (Peter)

Deliverable D4.2 User profile schema and profile capturing Tech Report

D. Tsatsou (Dorothea) and et al.

Deliverable D2.2 Specification of lightweight metadata models for multimedia annotation Tech Report

J.L. Redondo Garcia (José Luis), R. Troncy (Raphael) and M. Vacura (Miroslav)

Deliverable D4.3 Content and Concept Filter V1 Tech Report

R. Klein (Rüdiger) and et al.

Deliverable D3.4 LinkedTV Interface and Presentation Engine version 1 Tech Report

P. van Leeuwen (Pieter), J. Gural (Jechiam) and R. Rozendal (Rutger)

Deliverable D5.2 LinkedTV front-end: video player and MediaCanvas API Tech Report

J. Gural (Jechiam) and et al.

Deliverable D8.2 First market analysis Tech Report

K. Stanoevska (Katarina), J. Ebermann (Jana) and T. Plotkowiak (Thomas)

Deliverable D6.1 Scenario Descriptions Tech Report

L. Nixon (Lyndon) and et al.

Deliverable D2.3 Specification of Web mining process for hypervideo concept identification Tech Report

I. Lašek (Ivo) and et al.

Werk maken van innovatie : Vooraankondiging CWI in Bedrijf, 05.10.2012 Booklet

Deliverable D7.8 Newsletter Tech Report

L. Nixon (Lyndon) and S. Pellkvist (Simeona)

When Turing Meets Milner Article

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

Snakemake-a scalable bioinformatics workflow engine Article

J. Köster (Johannes) and S. Rahmann (Sven)

Exploring employment opportunities through microtasks via cybercafes In Proceedings

M.M. Gawade (Mrunal), R. Vaish (Rajan), M. Nduta (Mercy) and J.R. Davis (James)

Proceedings of the 1st international workshop on socially-aware multimedia Proceedings

An Architecture and Implementation for Evaluating Synchronization Support for Shared User Experiences Master Thesis

S. Ud Din

Media Synchronization in 3D tele-Immersion Applications: an Architecture In Proceedings

R.N. Mekuria (Rufael), M. Sanna (Michele) and P.S. César Garcia (Pablo Santiago)

Robust algorithms for discrete tomography Master Thesis

F. Tabak (Frank)

Vascular networks due to dynamically arrested crystalline ordering of elongated cells Article

M.M. Palm (Margriet) and R.M.H. Merks (Roeland)

Software Engineering for Multi-core Platforms Article

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