Publications from 2016

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. O. 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)

Cryptanalist ontwikkelt forensische software voor detectie Flame-virus. PC Active, 19 juni 2012 Magazine Article

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

Nederlander ontwikkelt aanvalsplan voor SHA-1. Security.nl, 18 juni 2012 Magazine Article

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

Cryptograaf bouwt detectiesysteem Flame-aanval. Computable, 19 juni 2012 Magazine Article

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

CWI: Flame-malware gebruikte nog onbekende md5-aanval. Tweakers.net, 8 juni 2012 Magazine Article

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

Flame-virus bevat opmerkelijke cryptografie. AutomatiseringGids, 8 juni 2012 Magazine Article

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

CWI ontdekt nieuwe aanvalsvariant in Flame. Computable, 8 juni 2012 Magazine Article

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

Nederlanders ontdekken cryptodoorbraak in Flame. Webwereld, 8 juni 2012 Magazine Article

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

Nederlander ontdekt nieuwe crypto-aanval in Flame-virus. Security.nl, 8 juni 2012 Magazine Article

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

Integrated pathway modules using time-course metabolic profiles and EST data from Milnesium tardigradum Article

D. Beisser (Daniela), M. Grohme, J. Kopka, M. Frohme, R.O. Schill, S. Hengherr, T. Dandekar, G.W. Klau (Gunnar), M. Dittrich (Marcus) and T. Müller (Tobias)

Statistical Modelling of Pre-Impact Velocities in Car Crashes In Proceedings

W. Kager, I. Kryven, K.W. Myerscough (Keith), T. van Opstal and T. Rot

Strategic bidding in a primary reserve auction In Proceedings

D. Palvolgyi, G. Csapo, M. Wortel, T. Ruijgrok, W.S. Wadman (Wander) and Z. Meder

An introduction to nonequilibrium plasmas at atmospheric pressure Book Chapter

S. Nijdam (Sander), E.M. van Veldhuizen, P.J. Bruggeman and U. Ebert (Ute)

De stille kracht van informatietechnologie, we kunnen geen dag zonder! Article

P. Klint (Paul)

Streamlining Policy Creation in Policy Frameworks Book Chapter

M.A. Hills (Mark)

Scripting a Refactoring with Rascal and Eclipse In Proceedings

M.A. Hills (Mark), P. Klint (Paul) and J.J. Vinju (Jurgen)

Derric Compiler and IDE, version 1.0 Software

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

Language Evolution, Metasyntactically Article

V. Zaytsev (Vadim)

Over Alan Turing : Radio 1 Sportzomer, 23.06.2012 [10:59] News Broadcast

P. Klint (Paul)

From X100 to Vectorwise: opportunities, challenges and things most researchers do not think about In Proceedings

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