Publications from 2015

Symbolic model checking for dynamic epistemic logic — S5 and beyond In Proceedings

J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan), M. Gattinger (Malvin) and K. Su (Kaile)

Delfts QuTech krijgt software-pendant in Amsterdam - AutomatiseringGids - 03-12-15 Online Video

Need security against digital signature forgeries Lecture

M.M.J. Stevens (Marc)

On the Origin of Recursive Procedures Article

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

Decentralized utilitarian mechanisms for scheduling games Article

R. Cole (Richard), J. Correa (José), V. Gkatzelis (Vasilis), V. Mirrokni and N.K. Olver (Neil)

Adaptive Rumor Spreading In Proceedings

J. Correra (Jose), M. Kiwi (Marcos), N.K. Olver (Neil) and A. Vera (Alberto)

Markovian polling systems with an application to wireless random-access networks Article

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

XHTML+RDFa 1.1 - Third Edition: Support for RDFa via XHTML Modularization Standard

institution W3C

The multiple number field sieve with conjugation and generalized Joux-Lercier methods In Proceedings

C.A. Pierrot (Cécile)

Registers Book Chapter

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

Browsers blokkeren straks websites met verouderde SHA-1-beveiliging - PCMweb.nl - 21-11-2016 Online Video

Uniqueness, Density, and Keyness: Exploring Class Hierarchies In Proceedings

A. Jentzsch (Anja), H.F. Mühleisen (Hannes) and F. Naumann (Felix)

De leermeester van Alexander Rinnooy Kan - New Scientist - 18-12-2015 Online Video

Invited Lecture at Rugers Applied Probability Conference Lecture

P.M. van de Ven (Peter)

Invited lecture at Heriot-Watt University Lecture

P.M. van de Ven (Peter)

Invited speaker Dagstuhl on Domain-Specific Languages Lecture

T. van der Storm (Tijs)

Software Engineering: The War Against Complexity CHA-Q Open Tool Demonstrations , Antwerpen, Belgium Lecture

J.J. Vinju (Jurgen)

Challenges and Opportunities of Big Software-based Innovation NWO Big Software Match-making event , Utrecht Lecture

J.J. Vinju (Jurgen)

PLDI Tutorial on Program Analysis using Rascal With Vinju, J Lecture

T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

Keynote lecture at CN2015 Lecture

P.M. van de Ven (Peter)

R.P. Waagepetersen, University of Aalborg, Denmark, August 10--12,2015. Lecture

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

Percolation models where large clusters are frozen, ETH Zurich, October 7, 2015 Lecture

J. van den Berg (Rob)

Percolation models where large clusters are frozen, Workshop Stochastics and Interactions, July 20-24 2015, Budapest . Lecture

J. van den Berg (Rob)

Frozen percolation, May 19 2015, Cambridge. Lecture

J. van den Berg (Rob)

Invited talk “Incident Management of the Future”. Workshop on Smart Mobility (Bangalore, India, 2015). Lecture

R.D. van der Mei (Rob)

AMMCS-CAIMS Congress, Waterloo, Canada Lecture

C.W. Oosterlee (Kees)

Plenary invited lecture at ICCF2015, Intern. Conf. on Computational Finance, Greenwich, England Lecture

C.W. Oosterlee (Kees)

Workshop Non-equilibrium Dynamics of Climate: linking models to data, Dartington, UK Lecture

D.T. Crommelin (Daan)

Graph invariants and invariant theory, Panorama of Mathematics - Hausdorff Center for Mathematics, Bonn, Germany, 2015 Lecture

A. Schrijver (Alexander)

Solving the Closest Vector Problem in 2^n-time, Simons Institute, Workshop on Mathematics of Cryptography, Berkeley, CA, July 2015 Lecture

D.N. Dadush (Daniel)

Integer Programming, Lattice Algorithms and Deterministic Volume Estimation, Mathematical Optimization Society, A.W. Tucker Prize, July 2015 Lecture

D.N. Dadush (Daniel)

Scientific Lecture - Het molecuul, de cellen en het weefsel: de wiskunde van groei en vorm in tijden van Big Data , Universiteit Leiden Lecture

R.M.H. Merks (Roeland)

Scientific Lecture - Invited Talk: 21/05/2015. Cell-based modeling of mechanical and chemical cell-matrix interactions during angiogenesis using the Cellular Potts model. BioSB 2015, 20-21 mei 2015. Lunteren, The Netherlands Lecture

R.M.H. Merks (Roeland)

Scientific Lecture - Invited talk:15/09/2015. “Multiscale cell-based modeling of mechanical cell-matrix feedback during collective cell behavior” Workshop: Cell Mechanics, Morphogenesis and Pattern Formation: perspectives from the experimental and theoretical points of view. Newton Institute, Cambridge, UK, 14-18 September 2015 Lecture

R.M.H. Merks (Roeland)

Scientific Lecture - Invited Talk: “Data-Driven Modelling and Analysis of the Development of Multicellular Organisms”. Alan Turing Institute preparatory meeting Data-Rich Phenomena - Modelling, Analysing & Simulation Using Partial Differential Equations, 14-16 December 2015. Turing Gateway to Mathematics, Cambridge, UK. Lecture

R.M.H. Merks (Roeland)

Public lecture - Het molecuul, de cellen en het weefsel: de wiskunde van groei en vorm in tijden van Big Data. Oratie Universiteit Leiden, 27/2/2015 Lecture

R.M.H. Merks (Roeland)

Public lecture - Hoe krijgt een zebra haar strepen? In: Public lecture - MuseumJeugdUniversiteit, het Natuurhistorisch, Rotterdam, 20/12/2015 Lecture

R.M.H. Merks (Roeland)

Invited Plenary Lecture, Bertinoro Computational Biology Conference CBC], Bertinoro, 2013 Lecture

A. Schönhuth (Alexander)

Maastricht, Integrated Systems Biology Symposium Lecture

G.W. Klau (Gunnar)

Amsterdam Data Science Seminar Lecture

G.W. Klau (Gunnar)

Bertinoro Computational Biology Lecture

G.W. Klau (Gunnar)

ISCTE -­‐instituto Universitário de Lisboa Lecture

C. Wang (Chen)

Tampere University of Technology Lecture

R.N. Mekuria (Rufael)

Keynote at IEEE BigMultimedia Data, Beijing Lecture

D.C.A. Bulterman (Dick)

Virtual Revolution Symposium, Eindhoven Lecture

R. van Liere (Robert)

Door muren kijken met Wifi”, NWO Bessensap, Den Haag, 12/6/2015 Lecture

K.J. Batenburg (Joost)

Large-scale tomographic reconstruction from limited projection data”,Workshop on Sparse Tomographic Reconstruction, Univ. Heidelberg, Germany Lecture

K.J. Batenburg (Joost)

Tight Hardness of the Non-Commutative Grothendieck Problem FOCS 2015 University of California at Berkeley, USA Lecture

J. Briët (Jop)

Hardness of Grothendieck Problems Workshop on Convexity, probability and discrete structures, a geometric view point Universite Paris-Est Marne-la-Vallee (invited) Lecture

J. Briët (Jop)

Hardness of Grothendieck Problems DIAMANT Symposium Lunteren, The Netherlands (invited)     Lecture

J. Briët (Jop)

Quantum property testing: A survey and one new result Majulab workshop , National University of Singapore Lecture

R. M. de Wolf (Ronald)

Quantum Communication Complexity as a Tool to Analyze PSD Rank Dagstuhl Seminar , Schloss Dagstuhl, Germany Lecture

R. M. de Wolf (Ronald)

The hypercontractive inequality in complexity theoryBIRS Workshop , Banff, Canada Lecture

R. M. de Wolf (Ronald)

Quantum property testing: A survey and one new result Conference on Theory of Quantum Computation, Communication and Cryptography , Brussels, Belgium Lecture

R. M. de Wolf (Ronald)

Kwantumcomputers, -algoritmes en –complexiteit Student symposium "A quantum state of mind' , Radboud Universiteit Lecture

R. M. de Wolf (Ronald)

Applications of Fourier analysis to social choice Seminar 'Ordered Structures in Games and Decision' , Paris, France Lecture

R. M. de Wolf (Ronald)

Exponential lower bounds for polytopes in combinatorial optimization Article

Fiorini, S. (Samuel), Massar, S. (Serge), Pokutta, S. (Sebastian), Tiwary, H.R. (Hans Raj) and De Wolf, R. (Ronald)

Proceedings of the 5th Workshop on Linked Science 2015 (LISC 2015) Proceedings

Coherent branching feature bisimulation In Proceedings

T. Belder (Tessa), M.H. ter Beek (Maurice) and E.P. de Vink (Erik Peter)

Base-stock policies for lost-sales models: Aggregation and asymptotics Tech Report

J.J. Arts (Joachim), R. Levi (Retsef), G.J.J.A.N. van Houtum (Geert-Jan) and A.P. Zwart (Bert)

Userlab Software Suite Software

T. Röggla (Tom)

Squint Software

W.M. Koolen-Wijkstra (Wouter)

Respec2EPUB Software

I. Herman (Ivan)

Particle Swarm Software

H.J. Teunissen (Jannis)

ObjectAlgebraFramework Software

T. van der Storm (Tijs)

Meerkat Software

J.J. Vinju (Jurgen)

libimgui Software

T. van der Storm (Tijs)

Iguana Software

J.J. Vinju (Jurgen)

CLEVER-SV Software

A. Schönhuth (Alexander)

Capsule Software

J.J. Vinju (Jurgen)

AMalGaM Software

P.A.N. Bosman (Peter)

Proceedings of Web and Internet Economics - 11th International Conference (WINE 2015) Proceedings

Open Energy Exchange - a new way of social networking In Proceedings

T. Linnenberg (Tobias), M. Kaisers (Michael) and A. Fay (Alexander)

Photographs of HMEC-1 spheroids. Part of article "Computational Screening of Tip and Stalk Cell Behavior Proposes a Role for Apelin Signaling in Sprout Progression” Software

M.M. Palm (Margriet), M.G. Dallinga (Marchien), E. van Dijk (Erik), I. Klaassen (Ingeborg), R.O. Schlingemann (Reinier) and R.M.H. Merks (Roeland)

Simulation of Stochastic Volterra Equations Driven by Space–Time Lévy Noise Book Chapter

B. Chen (Bohan), Carsten Chong and Claudia Klüppelberg

Second-order Quantile Methods for Experts and Combinatorial Games Article

W.M. Koolen-Wijkstra (Wouter) and T.A.L. van Erven (Tim)

Enhanced coalgebraic bisimulation Article

J.C. Rot (Jurriaan), F. Bonchi (Filippo), M.M. Bonsangue (Marcello), D. Pous (Damien), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

Mutational dynamics between primary and relapse neuroblastomas Article

Schramm, A. (Alexander), J. Köster (Johannes), Assenov, Y. (Yassen), Althoff, K. (Kristina), Peifer, M. (Martin), Mahlow, E. (Ellen), Odersky, A. (Andrea), Beisser, D. (Daniela), Ernst, C. (Corinna), Henssen, A.G. (Anton), et al. Stephan, H. (Harald), Schröder, C. (Christopher), Heukamp, L. (Lukas), Engesser, A. (Anne), Kahlert, Y. (Yvonne), Theissen, J. (Jessica), Hero, B. (Barbara), Roels, F. (Frederik), Altmüller, J. (Janine), Nürnberg, P. (Peter), Astrahantseff, K. (Kathy), Gloeckner, C. (Christian), De Preter, K. (Katleen), Plass, C. (Christoph), Lee, S. (Sangkyun), Lode, H.N. (Holger), Henrich, K.-O. (Kai-Oliver), Gartlgruber, M. (Moritz), Speleman, F. (Frank), Schmezer, P. (Peter), Westermann, F. (Frank), S. Rahmann (Sven), Fischer, M. (Matthias), Eggert, A. (Angelika) and Schulte, J.H. (Johannes)

Rust-Bio: a fast and safe bioinformatics library Article

J. Köster (Johannes)

Quality control, modeling, and visualization of CRISPR screens with MAGeCK-VISPR Article

Li, W. (Wei), J. Köster (Johannes), Xu, H. (Han), Chen, C.-H. (Chen-Hao), Xiao, T. (Tengfei), Liu, J.S. (Jun), Brown, M. (Myles) and Liu, X.S. (Shirley)

Achieving human and machine accessibility of cited data in scholarly publications Article

J. Starr (Joan), E. Castro (Eleni), M. Crosas (Mercè), M. Dumontier (Michel), R. R. Downs (Robert), R. Duerr (Ruth), L. L. Haak (Laurel), M. Haendel (Melissa), I. Herman (Ivan), S. Hodson (Simon), et al. J. Hourclé (Joe), J.E. Kratz (John Ernest), J. Lin (Jennifer), L.H. Nielsen (Lars Holm), A. Nurnberger (Amy), S. Proell (Stefan), A. Rauber (Andreas), S. Sacchi (Simone), A. Smith (Arthur), M. Taylor (Mike) and T. Clark (Tim)

Outlier preservation by dimensionality reduction Techniques Article

Onderwater, M. (Martijn)

People, context, and devices: Defining the new landscape of TV experiences In Proceedings

Dandavate, I. (Isha), Milam, J. (Jennifer), Allen, J. (Jeanne), Moser, C. (Christiane), Kargl, T. (Thomas), Tscheligi, M. (Manfred), Vanattenhoven, J. (Jeroen), L. Pérez Romero (Lilia), Schiller, F. (Fabian) and Negenman, J. (Joost)

Generating semantic snapshots of newscasts using entity expansion In Proceedings

García, J.L.R. (José Luis Redondo), Rizzo, G. (Giuseppe), Romero, L.P. (Lilia Perez), Hildebrand, M. (Michiel) and Troncy, R. (Raphaël)

Tight hardness of the non-commutative Grothendieck problem In Proceedings

J. Briët (Jop), O. Regev (Oded) and R. Saket (Rishi)

Efficient abstractions for visualization and interaction Dissertation

A.J. van der Ploeg (Atze)

Correcting numerical simulations for known expectations Dissertation

K.W. Myerscough (Keith)

Een Deltaplan voor de Nederlandse wiskunde Article

J. Fokkema, E. Bernard, P. de Bont, W.T.F. den Hollander (Frank), C. Klöditz, B. Koren (Barry), J.K. Lenstra (Jan Karel), I. Moerdijk, G. Timmer, N. Verhoef, et al. J. Koster (John)

A sub-cell discretization method for the convective terms in the incompressible Navier-Stokes equations In Proceedings

N. Kumar, J.H.M. ten Thije Boonkkamp and B. Koren (Barry)

On the derivation of SPH schemes for shocks through inhomogeneous media Article

I. Zisis, B. van der Linden, C. Giannopapa and B. Koren (Barry)

Validation of robust SPH schemes for fully compressible multiphase flows Article

I. Zisis, R. Messahel, A. Boudlal, B. van der Linden and B. Koren (Barry)

Simulation of elongated bubbles in a channel using the two-fluid model Article

B. Sanderse (Benjamin), M. Haspels and R.A.W.M. Henkes

The LOFAR Multifrequency Snapshot Sky Survey (MSSS). I. Survey description and first results Article

G. Heald, R. Pizzo, not CWI et al and L.H.A. Scheers (Bart)

Thema Film 29: Dynamisch verkeersmanagement Magazine Article

R.D. van der Mei (Rob)

Thema Film 28: Dynamic pricing en revenue management Magazine Article

R.D. van der Mei (Rob)

Prospects of three-dimensional microstructural analysis using discrete tomography In Proceedings

T. Higuchi (Takeshi), X. Zhuge (Jason), K.J. Batenburg (Joost) and H. Jinnai (Hiroshi)

Computed tomography from limited data using a robust discrete algebraic reconstruction technique In Proceedings

X. Zhuge (Jason) and K.J. Batenburg (Joost)

Johannes Gualtherus van der Corput (4 september 1890 - 13 september 1975) Article

J. Korevaar

Semi-Automated Exploration of Data Warehouses In Proceedings

T.H.J. Sellam (Thibault), E. Müller and M.L. Kersten (Martin)