Publications from 2025

Run-time Verification of Coboxes Unpublished

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank) and P.Y.H. Wong

Language learning from positive evidence, reconsidered: A simplicity-based approach Tech Report

A.S. Hsu, N. Chater (Nick) and P.M.B. Vitányi (Paul)

On the logical depth function Tech Report

L.F. Antunes (Luis), A. Souto (André), A. Teixeira and P.M.B. Vitányi (Paul)

Language learning from positive evidence, reconsidered: A simplicity-based approach Article

A.S. Hsu, N. Chater (Nick) and P.M.B. Vitányi (Paul)

MonetDB Oct2012-SP3 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)

Three-dimensional concentration mapping of organic blends Article

J.D. Roehling, K.J. Batenburg (Joost), F.B. Swain, A.J. Moulé and I. Arslan

Phase retrieval in in-line x-ray phase contrast imaging based on total variation minimization Article

K.J. Batenburg (Joost), A. Kostenko (Alexander), H. Suhonen, S.E. Offerman and L.J. van Vliet (Lucas)

Advanced reconstruction algorithms for electron tomography: From comparison to combination Article

B. Goris (Bart), T. Roelandts (Tom), K.J. Batenburg (Joost), H. Heidari Mezerji and S. Bals (Sara)

Bounds on the quality of reconstructed images in binary tomography Article

K.J. Batenburg (Joost), W.R. Fortes (Wagner), L. Hajdu and R. Tijdeman

Dynamic Angle Selection in Binary Tomography Article

K.J. Batenburg (Joost), W.J. Palenstijn (Willem Jan), P. Balázs and J. Sijbers (Jan)

Computational modeling of angiogenesis: towards a multi-scale understanding of cell-cell and cell-matrix interactions Book Chapter

S.E.M. Boas (Sonja), M.M. Palm (Margriet), P. Koolwijk (Pieter) and R.M.H. Merks (Roeland)

CWI bouwt applicatie voor analyse datastromen Magazine Article

E. Liarou (Erietta), S. Manegold (Stefan) and M.L. Kersten (Martin)

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

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

Similarity and denoising Article

P.M.B. Vitányi (Paul)

Hyaluronan: A critical regulator of endothelial-to-mesenchymal transition during cardiac valve formation. Article

A.K. Lagendijk (Anne Karine), A. Szabó (Andras), R.M.H. Merks (Roeland) and J. Bakkers

Hersenen simuleren voor computer Magazine Article

S.M. Bohte (Sander)

Het grootste kernfusieproject ter wereld: ITER : De Wereld Leert Door, 15.01.2013, VARA, Ned. 3, 22.30-22.40u [11:39] News Broadcast

J.W. Haverkort (Willem)

Floor (20) is 'Nerd van het jaar' : interview met Floor Sietsma in de EO videorubriek NEO Denkstof, 07.01.2013 [9:36] Online Video

F.A.G. Sietsma (Floor)

Inception and propagation of positive streamers in high-purity nitrogen: effects of the voltage rise-rate Article

T.T.J. Clevis, S. Nijdam (Sander) and U. Ebert (Ute)

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)