Publications from 2023

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)

Programmeren kun je (echt heel jong al) leren - Volkskrant Magazine Article

G. van Rossum (Guido)

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

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

Entanglement-assisted zero-error source-channel coding Article

J. Briët (Jop), H.M. Buhrman (Harry), M. Laurent (Monique), T. Piovesan (Teresa) and G. Scarpa (Giannicola)

Testing abstract behavioral specifications Article

P.Y.H. Wong, R. Bubel (Richard), F.S. de Boer (Frank), C.P.T. de Gouw (Stijn), M. Gómez-Zamalloa, R Haehnle, K. Meinke and M.A. Sindhu

Stochastic Parameterization of Convective Area Fractions with a Multicloud Model Inferred from Observational Data Article

J. Dorrestijn (Jesse), D.T. Crommelin (Daan), A.P. Siebesma (Pier), H.J.J. Jonker (Harm) and C Jakob

w15290 Core Experiments Description for 3DG Standard

C. Tulvan (Christian), F. Morán Burgos (Francisco), S.W. Lee (Seung Wook), M.-L. Champel (Mary-Luc), L. Bivolarski (Lazar), R.N. Mekuria (Rufael) and T. Lavric (Traian)

n15303 Investigation on 3D printing (Geneva 111) Standard

S.W. Lee (Seung Wook), I. Kaneko (Itaru) and R.N. Mekuria (Rufael)

Better Contextual Suggestions in ClueWeb12 Using Domain Knowledge Inferred from The Open Web In Proceedings

T. Samar (Thaer), A. Bellogín Kouki (Alejandro) and A.P. de Vries (Arjen)

On the closure of the completely positive semidefinite cone and linear approximations to quantum colorings Tech Report

S. Burgdorf (Sabine), M. Laurent (Monique) and T. Piovesan (Teresa)

A Curated Corpus of Java Source Code based on Sourcerer (2015) Dataset

D. Landman (Davy)

A hybrid SWAN version for fast and efficient practical wave modelling Tech Report

M. Genseberger (Menno) and J. Donners

Domain decomposition in shallow lake modelling for operational forecasting of flooding Tech Report

M. Genseberger (Menno), E.J. Spee (Edwin) and L. Voort (Lykle)

Physiological Measurement on Students’ Engagement In a Distributed Learning Environment In Proceedings

C. Wang (Chen) and P.S. César Garcia (Pablo Santiago)

Accept & Reject Statement-Based Uncertainty Models Article

E. Quaeghebeur (Erik), G. de Cooman and F. Hermans (Felienne)

Jan Karel Lenstra geeft in Nieuwsuur zijn visie over de verplichte rekentoets aan het einde van de middelbare school : NPO Nieuwsuur, 26.01.2015 [5:57] News Broadcast

J.K. Lenstra (Jan Karel)

Oma Amanda bij Jonathan op visite : bezoek van oma aan Jonathan Sanctorum en de tomografie groep van Joost Batenburg : Iedereen Beroemd, VRT (België), 22.01.2015, 19.40 u. [3:50] News Broadcast

J. Sanctorum (Jonathan) and K.J. Batenburg (Joost)

Peter Olsthoorn over 25 jaar internet - Marketingfacts Magazine Article

CWI CWI

Vrouwen in ICT werken doorgaans full-time - Computable - 19-01-15 Magazine Article

L. Hardman (Lynda)

How amino acids and peptides shaped the RNA World Article

P.T.S. van der Gulik (Peter) and D. Speijer (Dave)

Is er iets voorbij oneindig? College Universiteit van Nederland Lecture

H.M. Buhrman (Harry)

Pilot: Ambulance al onderweg voor ongeluk gebeurt - Nieuws.nl Magazine Article

R.D. van der Mei (Rob)

Hoe gaat teleportatie in de toekomst écht mogelijk zijn? College Universiteit van Nederland Lecture

H.M. Buhrman (Harry)

Hoe kan je er voor zorgen dat de NSA je e-mail niet kan lezen? College Universiteit van Nederland Lecture

H.M. Buhrman (Harry)

Hoe kan een kwantumcomputer overal inbreken? College Universiteit van Nederland Lecture

H.M. Buhrman (Harry)

Waarom is een computer soms zo traag? College Universiteit van Nederland Lecture

H.M. Buhrman (Harry)

New year's speech of Jos Baeten, January 5, 2015 Miscellaneous

J.C.M. Baeten (Jos)

Benjamin Sanderse wint Stieltjes Prijs - Engineersonline.nl Magazine Article

CWI CWI

Benjamin Sanderse wint Stieltjes Prijs - Engineers Online Magazine Article

B. Sanderse (Benjamin)

Special functions: computation Book Chapter

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

Cell-based modeling Book Chapter

R.M.H. Merks (Roeland)

CWI Library book sale : poster Other

Capture-avoiding program transformations with name-fix In Proceedings

S. Erdweg (Sebastian), T. van der Storm (Tijs) and Y. Dai (Yi)

Uncertainty quantification of a rectangular 5:1 cylinder In Proceedings

J.A.S. Witteveen (Jeroen), Omrani, P.S. (Pejman Shoeibi), A. Mariotti and M.V. Salvetti

Libpg_query Software

L. Fittl (Lukas)

Big data space fungus In Proceedings

M.L. Kersten (Martin)

ECT - Extensible Coordination Tools: plug-ins for the Eclipse platform Software

Information-Theoretic Implications of Quantum Causal Structures Article

R. Chaves (Rafael), C. Majenz (Christian) and D. Gross (David)

Chernoff’s distribution and differential equations of parabolic and Airy type Article

P. Groeneboom, S.P. Lalley and N.M. Temme (Nico)

Invited talk at 2015 XXXII’th International Conference on Phenomena in Ionized Gases, Iasi, Rumania Lecture

U. Ebert (Ute)

Invited talk at 2015 International Symposium on Antimatter and its Applications, Swansea, UK Lecture

U. Ebert (Ute)

Need security against digital signature forgeries Lecture

M.M.J. Stevens (Marc)

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

Registers Book Chapter

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

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)

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

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

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

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

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

R.D. van der Mei (Rob)

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

C.W. Oosterlee (Kees)

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)

Respec2EPUB Software

I. Herman (Ivan)

Particle Swarm Software

H.J. Teunissen (Jannis) and A.B. Sun (Anbang)

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 Software

A. Schönhuth (Alexander)

Capsule Software

J.J. Vinju (Jurgen)

AMalGaM Software

P.A.N. Bosman (Peter)

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)

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)

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)

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)

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)

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

J. Korevaar

Frozen percolation in two dimensions Article

D. Kiss (Demeter)

Factorization formulas for 2D critical percolation, revisited Article

R.P. Conijn (Rene)

Quality Evaluation of Automotive Software Systems Presentation

Y. Dajsuren (Yanjindulam)

Managing clone mutations in Simulink models Lecture

Y. Dajsuren (Yanjindulam)

Automotive Architecture Description Mechanisms: Between Past and Future Lecture

Y. Dajsuren (Yanjindulam)

Modernizing Big Legacy Software Presentation

Y. Dajsuren (Yanjindulam)

Thema Film 23: The Tempest - Miracle Interviews - Final Review Magazine Article

CWI CWI

Appel à un abandon plus rapide de SHA-1 - LeMagit.fr Magazine Article

M.M.J. Stevens (Marc)

Python at 25 - Communications of the ACM Magazine Article

CWI CWI

Program Analysis and Transformation with Rascal Lecture

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

Logic in Action Book

Unknown

Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic In Proceedings

M. Gattinger (Malvin) and D.J.N. van Eijck (Jan)

Elements of Epistemic Crypto Logic (Extended Abstract) In Proceedings

D.J.N. van Eijck (Jan) and M. Gattinger (Malvin)

Varieties of Belief and Probability Book Chapter

D.J.N. van Eijck (Jan)

Implementing Semantic Theories Book Chapter

D.J.N. van Eijck (Jan)

Strategies in Social Software Book Chapter

D.J.N. van Eijck (Jan)

Web Similarity Tech Report

A.R. Cohen (Andrew) and P.M.B. Vitányi (Paul)

On the Average-Case Complexity of Shellsort Tech Report

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

Normalized Compression Distance of Multisets with Applications Article

A.R. Cohen (Andrew) and P.M.B. Vitányi (Paul)

Première internetfilm over Nederlands informatica erfgoed - Automatisering Gids Magazine Article

A. van Wijngaarden (Adriaan)

OSSMETER: Automated measurement and analysis of open source software In Proceedings

B. Almeida, S. Ananiadou, A. Bagnato, A. Berreteaga, J. Di Rocco (Juri), D. Di Ruscio (Davide), D.S. Kolovos (Dimitrios), I. Korkontzelos (Ioannis), S. Hansen (Scott), P. Maló (Pedro), et al. N. Matragkas (Nicholas), R.F. Paige (Richard) and J.J. Vinju (Jurgen)

OSSMETER: A Software Measurement Platform for Automatically Analysing Open Source Software Projects In Proceedings

D. DiRuscio, D.S. Kolovos (Dimitrios), N. Matragkas (Nicholas), I. Korkontzelos (Ioannis) and J.J. Vinju (Jurgen)

Reducing the Cost of Grammar-Based Testing Using Pattern Coverage In Proceedings

C. Hentz, J.J. Vinju (Jurgen) and A.M. Moreira

OSSMETER Pitch Lecture

J.J. Vinju (Jurgen)

Challenges and Opportunities of Big Software-based Innovation Lecture

J.J. Vinju (Jurgen)

Public/Private Collaboration {in,for,with} Software Engineering Lecture

J.J. Vinju (Jurgen)

Software Engineering: The War Against Complexity Lecture

J.J. Vinju (Jurgen)

Definability Equals Recognizability for k-Outerplanar Graphs In Proceedings

L. Jaffke (Lars) and H.L. Bodlaender