Publications from 2019

Amortized Complexity of Zero-Knowledge Protocols for Multiplicative Relations In Proceedings

R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and V. Pastro

Reductions to the set of random strings:the resource-bounded case In Proceedings

E. Allender, H.M. Buhrman (Harry), L. Friedman and B. S. Loff Barreto (Bruno Serra)

Tolls in Networks with Heterogeneous Agents Master Thesis

T. Jelinek

De Zeven Grootste Raadsels van de Wiskunde : interview in Met het oog op morgen, Radio 1, i.v.m. met het verschijnen van "'De Zeven Grootste Raadsels van de Wiskunde", 30.08.2012 [10:35] News Broadcast

B. Koren (Barry) and J. van de Craats

MonetDB Jul2012-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), E. Liarou (Erietta), 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 I. Fundulaki

Combining implicit and explicit topic representations for result diversification In Proceedings

J. He (Jiyin), V. Hollink (Vera) and A.P. de Vries (Arjen)

On semidefinite programming bounds for graph bandwidth Article

E. de Klerk (Etienne), M. Eisenberg-Nagy (Marianna) and R. Sotirov (Renata)

The rank of edge connection matrices and the dimension of algebras of invariant tensors Article

G. Regts (Guus)

Interview op BNR radio, 13.08.2012 [14:31] News Broadcast

J.C.M. Baeten (Jos)

Semi-Markov-Modulated Infinite-Server Queues: Approximations by Time-Scaling Article

A.P. Hellings (Ton), M.R.H. Mandjes (Michel) and J.G. Blom (Joke)

Vectorwise: a Vectorized Analytical DBMS In Proceedings

P.A. Boncz (Peter), M. Zukowski (Marcin) and M. van de Wiel (Mark)

Query processing of pre-partitioned data using Sandwich Operators In Proceedings

S. Baumann (Stephan), P.A. Boncz (Peter) and K.-U. Sattler

From Cooperative Scans to Predictive Buffer Management In Proceedings

M. Switakowski, P.A. Boncz (Peter) and M. Zukowski (Marcin)

Stethoscope: A platform for interactive visual analysis of query execution plans In Proceedings

M.M. Gawade (Mrunal) and M.L. Kersten (Martin)

Scalable Generation of Synthetic GPS Traces with Real-life Data Characteristics In Proceedings

K. Bösche, T.H.J. Sellam (Thibault), H. Pirk (Holger), R. Beier, P. Mieth and S. Manegold (Stefan)

Instant-on scientific data warehouses: Lazy ETL for data-intensive research In Proceedings

Y. Kargin (Yagiz), H. Pirk (Holger), M.G. Ivanova (Milena), S. Manegold (Stefan) and M.L. Kersten (Martin)

NoDB in Action: Adaptive Query Processing on Raw Data In Proceedings

I. Alagiannis, R Borovica, M. Branco, S. Idreos (Stratos) and A. Ailamaki (Anastasia)

MonetDB/DataCell: Online Analytics in a Streaming Column-Store In Proceedings

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

Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores Article

F Halim, S. Idreos (Stratos), P. Karras and R Yap

Concurrency Control for Adaptive Indexing Article

G. Graefe, F Halim, S. Idreos (Stratos), H. Kuno and S. Manegold (Stefan)

TELEIOS: A Database-Powered Virtual Earth Observatory In Proceedings

M. Koubarakis (Manolis), K. Kyzirakos (Konstantinos), M. Karpathiotakis (Manos), C. Nikolaou (Charalampos), S. Vassos (Stavros), G. Garbis (George), M. Sioutis (Michael), K. Bereta (Konstantina), D. Michail (Dimitrios), C. Kontoes (Charalampos), et al. I. Papoutsis (Ioannis), T. Herekakis (Themistocles), S. Manegold (Stefan), M.L. Kersten (Martin), M.G. Ivanova (Milena), H. Pirk (Holger), Y. Zhang (Ying), M. Datcu (Mihai), G. Schwarz (Gottfried), O.C. Dumitru (Octavian), D.E. Molina (Daniela), K. Molch (Katrin), U.D. Giammatteo (Ugo), M. Sagona (Manuela), S. Perelli (Sergio), T. Reitz (Thorsten), E. Klien (Eva) and R. Gregor (Robert)

Quality through Flow and Immersion: Gamifying Crowdsourced Relevance Assessments In Proceedings

C. Eickhoff (Carsten), C.G. Harris, A.P. de Vries (Arjen) and P. Srinivasan

Relevance as a Subjective and Situational Multidimensional Concept In Proceedings

C. Eickhoff (Carsten)

Want a Coffee? Predicting Users' Trails In Proceedings

W. Li, C. Eickhoff (Carsten) and A.P. de Vries (Arjen)

Investigation towards link-enriched video: user information needs for environmental opinion-forming and decision-making Master Thesis

A.C. Palumbo

SuMDb - Summarizing a year in movies Master Thesis

R.C. Helling (Rutger)

Efficiently mining protein interaction dependencies from large text corpora Article

J. Köster (Johannes), Zamir, E. (Eli) and S. Rahmann (Sven)

Numerical modelling of strongly anisotropic dissipative effects in MHD In Proceedings

B. van Es (Bram), B. Koren (Barry) and H.J. de Blank

Random walk on the high-dimensional IIC Tech Report

M. Heydenreich (Markus), R.W. van der Hofstad (Remco) and W.J.T. Hulshof

Modeling Object Pursuit for Desktop Virtual Reality Article

R. van Liere (Robert) and L. Liu (Lei)

Rascal Release 0.5.1 (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)

Connectors as designs: Modelling refinement and test case generation Article

S. Meng, F. Arbab (Farhad), B.K. Aichernig, L. Astefanoaei (Lacramioara), F.S. de Boer (Frank) and J.J.M.M. Rutten (Jan)

Symbolic execution of Reo circuits using constraint automata Article

B. Pourvatan, M. Sirjani (Marjan), H. Hojjat and F. Arbab (Farhad)

Commentary on The Optimality of Jeffreys Prior for Online Density Estimation and the Asymptotic Normality of Maximum Likelihood Estimators by F. Hedayati and P. Bartlett Magazine Article

P.D. Grünwald (Peter)

Towards user-friendly, public domain simulations of the precursor of lightning: streamers Proceedings

Rise and fall of periodic patterns for a Generalized Klausmeier-Gray-Scott model Article

S. van der Stelt (Sjors), A. Doelman (Arjen), G. Hek (Geertje) and J.D.M. Rademacher (Jens)

Perfectly Secure Message Transmission Protocols with Low Communication Overhead and Their Generalization Master Thesis

J. Griggio (Jacopo)

Advances in Hash Function Cryptanalysis Article

M.M.J. Stevens (Marc)

Wiskunde, wat moet je er mee? RTL4's Editie NL, 17.07.2012 [3:03] News Broadcast

R.D. van der Mei (Rob) and D. Gijswijt (Dion)

Lowlands huurt vijf knappe koppen in voor gastcolleges. Trouw, 5 juli 2012 Magazine Article

A. Schrijver (Lex)

Ambulance ook in Maassluis vaak te laat. Maassluise Courant de Schakel, 19 juli 2012 Magazine Article

R.D. van der Mei (Rob)

De rekenmeesters van de NS en de Deltawerken. Elsevier, 14 juli 2012 Magazine Article

CWI CWI, J.C.M. Baeten (Jos), R.D. van der Mei (Rob), G.J. Hoekstra (Gerard), P.A. Boncz (Peter), R.M. de Wolf (Ronald) and P.D. Grünwald (Peter)

NWO: CWI behoort tot wereldtop. Computable, 18 juli 2012 Magazine Article

CWI CWI

Antiques Interactive Research Paper

L.B. Baltussen (Lotte), M.H.R. Leyssen (Mieke), J.R. van Ossenbruggen (Jacco), J. Oomen (Johan), J. Blom (Jaap), P. van Leeuwen (Pieter) and L. Hardman (Lynda)

Lego Calculator Can Do Anything Your MacBook Can. Co.Design, 2 juli 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

Turingmachine gemaakt van Lego. Knack.be, 3 juli 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

The Arithmetic Codex Tech Report

I. Cascudo (Ignacio), R.J.F. Cramer (Ronald) and C. Xing (Chaoping)

Torsion Limits and Riemann-Roch Systems for Function Fields and Applications Tech Report

I. Cascudo (Ignacio), R.J.F. Cramer (Ronald) and C. Xing (Chaoping)

Asymptotic Bound for Multiplication Complexity in the Extensions of Small Finite Fields Article

I. Cascudo (Ignacio), R.J.F. Cramer (Ronald), C. Xing (Chaoping) and A. Yang (An)

Housing Markets with Indifferences: A Tale of Two Mechanisms In Proceedings

H. Aziz and B. de Keijzer (Bart)

Reconciling real and stochastic time: the need for probabilistic refinement Article

J. Markovski (Jasen), P.R. Argenio, J.C.M. Baeten (Jos) and E.P. de Vink (Erik)

Asymptotic Bound for Multiplication Complexity in the Extensions of Small Finite Fields Article

I. Cascudo (Ignacio), R.J.F. Cramer (Ronald), X. Chaoping and Y. An

Domain-Specific Languages for Better Forensic Software Article

J. van den Bos (Jeroen) and T. van der Storm (Tijs)

Digital TV, the effect of delay when watching football Article

R.N. Mekuria (Rufael), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)

Flow shear stabilization of rotating plasmas due to the Coriolis effect Article

J.W. Haverkort (Willem) and H.J. de Blank

Guided Grammar Convergence. Full Case Study Report. Generated by converge::Guided Tech Report

V. Zaytsev (Vadim)

A Procedure for Splitting Processes and its Application to Coordination (Technical Report) Tech Report

S.-S.T.Q. Jongmans (Sung), D.G. Clarke (David) and J.M.P. Proença (Jose)

MonetDB Jul2012 feature 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), E. Liarou (Erietta), 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 I. Fundulaki

Language Constructs for Non-Well-Founded Computation Tech Report

J. Jeannin, D. Kozen and A.M. Silva (Alexandra)

Time-scaling limits for Markov-modulated infinite-server queues Tech Report

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

Attacks on Hash Functions and Applications Dissertation

M.M.J. Stevens (Marc)

Turings erfenis : de stille kracht van informatica : brochure tentoonstelling 14.06 t/m 06.10.2012 Booklet

RDFa Core 1.1 Standard

B. Adida (Ben), M. Birbeck (Mark), S. McCarron (Shane) and I. Herman (Ivan)

RDFa 1.1 Primer Standard

B. Adida (Ben), I. Herman (Ivan), M. Sporny (Manu) and M. Birbeck (Mark)

RDFa Core 1.1 Syntax and processing rules for embedding RDF through attributes Standard

B. Adida (Ben), I. Herman (Ivan) and S. Pemberton (Steven)

A central reconstruction based strategy for selecting projection angles in binary tomography In Proceedings

P. Balázs and K.J. Batenburg (Joost)

Antiques Interactive In Proceedings

L.B. Baltussen (Lotte), M.H.R. Leyssen (Mieke), J.R. van Ossenbruggen (Jacco), J. Oomen (Johan), J. Blom (Jaap), P. van Leeuwen (Pieter) and L. Hardman (Lynda)

Visualizing the Segmentation Error of a Tomogram using the Residual Projection Error In Proceedings

T. Roelandts (Tom), K.J. Batenburg (Joost) and J. Sijbers (Jan)

Spatial Variations in Reconstruction Methods for CT In Proceedings

L. Plantagie (Linda), W.J. Palenstijn (Willem Jan), J. Sijbers (Jan) and K.J. Batenburg (Joost)

Chosen-Prefix Collisions for MD5 and Applications Article

M.M.J. Stevens (Marc), A.K. Lenstra (Arjen) and B. de Weger (Benne)

CWI cryptanalyst discovers new cryptographic attack variant in Flame spy malware Magazine Article

M.M.J. Stevens (Marc) and R.J.F. Cramer (Ronald)

Supersnelle simulaties helpen farmaceuten. NWT Magazine, 30 juni 2012 Magazine Article

M. El-Kebir (Mohammed) and G.W. Klau (Gunnar)

Lego Turing Machine: The building blocks of computing in play. TechRepublic, 22 juni 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

LEGO Mindstorms NXT Turing Machine celebrates Alan Turing's 100th birthday. The Brothers Brick, 23 juni 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

LEGO Turing Machine Is Simple, Yet Sublime, WIRED, 20 juni 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

Celebrate Alan Turing's Birthday and Check Out the Lego Turing Machine, PCWorld, 23 juni 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

Een Turingmachine van Lego. Historiek.net, 25 juni 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

Ode aan Alan Turing. Webwereld, 23 juni 2012 Magazine Article

P. Klint (Paul)

Turing-machine: de grenzen van berekenbaarheid. Tweakers.net, 23 juni 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

De mathematica van de zoetwaterpoliep. NRC Handelsblad, 23 juni 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

Originele Engima, Lego Turingmachine in Nederland. Webwereld, 21 juni 2012 Magazine Article

P. Klint (Paul)

Computer van legoblokjes. DeOndernemer, 21 juni 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

Een computer van lego. Wetenschap 101, 21 juni 2012 Online Video

J. van den Bos (Jeroen) and D. Landman (Davy)

CWI bouwt Turingmachine van lego. de Ingenieur, 19 juni 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

Codes maken en codes kraken. NRC Handelsblad, 16 juni 2012 Magazine Article

P. Klint (Paul)

Hoera, honderd jaar Turing. Technisch Weekblad, 16 juni 2012. Magazine Article

P. Klint (Paul)

Turingmachine van Lego. de Telegraaf, 9 juni 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

Turings erfenis. de Ingenieur, 8 juni 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

Turing herdacht met Lego-uitvoering van zijn machine. AutomatiseringGids, 7 juni 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

In Beeld: Turingmachine. Volkskrant, 2 juni 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

Flame MD5 collision crypto attack was very hard to pull off. Techworld, 13 juni 2012 Magazine Article

M.M.J. Stevens (Marc) and R.J.F. Cramer (Ronald)

New evidence of Flame malware suicide code. The Verge, 8 juni 2012 Magazine Article

M.M.J. Stevens (Marc) and R.J.F. Cramer (Ronald)

Flame's Windows Update Hack Required World-class Cryptanalysis, Researchers Say. PCWorld, 8 juni 2012 Magazine Article

M.M.J. Stevens (Marc) and R.J.F. Cramer (Ronald)

Flame Malware's Forged Certificate Suggests Nation-State Effort. eWeek.com, 11 juni 2012 Magazine Article

M.M.J. Stevens (Marc) and R.J.F. Cramer (Ronald)

Microsoft Oversight Helped Flame Spread. TechWeek Europe, 8 juni 2012 Magazine Article

M.M.J. Stevens (Marc) and R.J.F. Cramer (Ronald)

Flame Malware Tapped World Class Crypto. InformationWeek Security, 8 juni 2012 Magazine Article

M.M.J. Stevens (Marc) and R.J.F. Cramer (Ronald)

Analysis: Flame virus created by world-class hackers, and Microsoft had means to prevent it. GeekWire, 8 juni 2012 Magazine Article

M.M.J. Stevens (Marc) and R.J.F. Cramer (Ronald)

Flame's Windows Update hack required world-class cryptanalysis, researchers say. Computerworld, 8 juni 2012 Magazine Article

M.M.J. Stevens (Marc) and R.J.F. Cramer (Ronald)

Flame Malware Attempts To Thwart Detection With Suicide Code. RedOrbit, 8 juni 2012 Magazine Article

M.M.J. Stevens (Marc) and R.J.F. Cramer (Ronald)

Flame malware makers send 'suicide' code. BBC News, 8 juni 2012 Magazine Article

M.M.J. Stevens (Marc) and R.J.F. Cramer (Ronald)