Publications from before 2012

Workshop Herman te Riele: computational number theory, 01-02.12.2011 : uitnodiging Booklet

Feest / reünie t.g.v. CWI 65 jaar, 16.12.2011 : programma en menu Other

Feest / reünie t.g.v. CWI 65 jaar, 16.12.2011 : aankondiging [Poster] Other

Feest / reünie t.g.v. CWI 65 jaar, 16.12.2011 : aankondiging [Postcard] Other

Jan Karel Lenstra : the travelling science man : programma voor het afscheid van Jan Karel Lenstra als directeur van het CWI, 4-11-2011 Other

Jan Karel Lenstra : the travelling science man : uitnodiging voor het afscheid van Jan Karel Lenstra als directeur van het CWI, 4-11-2011 Other

JKL-2080 challenge : nonogram t.g.v. het afscheid van Jan Karel Lenstra als directeur van het CWI, 2011 [Postcard] Other

K.J. Batenburg (Joost)

Workshop on computational number theory on the occasion of Herman te Riele's retirement from CWI Amsterdam, 01-02.12.2011 : uitnodiging Other

Workshop on computational number theory on the occasion of Herman te Riele's retirement from CWI Amsterdam, 01-02.12.2011 : programma Other

Jan Schipper 40 jaar bij het CWI : uitnodiging receptie, 08.09.2011 Other

Symmetrie : vakantiecursus 2011, Amsterdam, 26-27.08.2011 : samenvattingen + aanmelding Booklet

25 Jaar .nl : jubileumuitgave t.g.v. 25 jaar .nl Book

Curricula vitae of senior researchers, April 2011 Book

Science Park Amsterdam : 70 hectare onderwijs, onderzoek, ondernemen, ontmoeten : brochure januari 2011 Other

CWI lectures on mathematics and computer science 2011 : control and system theory, 14.06.2011 : invitation Other

Paul den Hertog gaat met FPU : uitnodiging, 30.06.2011 Other

Nieuwjaarsbijeenkomst op 3 januari 2011 (kleine poster) Other

Poster (klein) afscheidssymposium Jan Verwer, 19.01.2011 Other

Uitnodiging afscheidssymposium Jan Verwer, 19.01.2011 Other

Soiree t.g.v. het 65-jarig bestaan van het Centrum Wiskunde & Informatica, 10.02.2011 : uitnodiging Other

Poster: Optimal dispatching policies for parallel processor sharing nodes with partial information In Proceedings

J.W. Bosman (Joost), R.D. van der Mei (Rob) and G.J. Hoekstra (Gerard)

Deliverable D7.1 Project website Tech Report

L. Nixon (Lyndon) and M. Bauer (Matthias)

CWI knipselkrant 2011-2013 Miscellaneous

Model checking of component connectors Dissertation

M. Izadi (Mohammad)

From computability to executability : a process-theoretic view on automata theory Dissertation

P.J.A. van Tilburg (Paul)

Sequences with trivial initial segment complexity Master Thesis

T.F. Sterkenburg (Tom)

Preface Preface

S. Fehr (Serge)

Preface In Proceedings

A. Hanbury (Allan), A. Rauber (Andreas) and A.P. de Vries (Arjen)

Compression-based Similarity Tech Report

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

On Empirical Entropy Tech Report

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

The Dissipation of Solar Wind Turbulent Fluctuations at Electron Scales Article

E. Camporeale (Enrico) and D. Burgess

Rascal for Software Evolution and Software Construction, Universiteit van Amsterdam Lecture

J.J. Vinju (Jurgen)

A broad introduction to Mining Software Repositories (and some related subjects), Open Universiteit Lecture

J.J. Vinju (Jurgen)

CWI - SEN1 Software Analysis and Transformation Lecture

J.J. Vinju (Jurgen)

On the Theory of Controlled Experiments in Software Engineering Theoretical Computer Science Amsterdam Lecture

J.J. Vinju (Jurgen)

Separation and integration of concerns in meta programming - the Rascal perspective -IFIP Working Group 2.11 , Bordeaux, France Lecture

J.J. Vinju (Jurgen)

The Making of Rascal INRIA Software Engineering Conference , Amsterdam, The Netherlands Lecture

J.J. Vinju (Jurgen)

Language prototyping using Rascal. The case of Oberon-0. Workshop on Language Descriptions, Tools and Applications , Saarbrücken, Germany With Vinju, J Lecture

T. van der Storm (Tijs)

Language prototyping using Rascal. The case of Oberon-0. Workshop on Language Descriptions, Tools and Applications , Saarbrücken, Germany With Storm, T Lecture

J.J. Vinju (Jurgen)

A J-function for inhomogeneous point processes with applications, Sto\-chas\-tic Geometry Days, Lille, France, March 30--April 1, 2011 Lecture

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

Simulation algorithms for polygonal Markov fields applied to image segmentation: Overview of work with Tomasz Schreiber, Workshop on Stochastic Geometry, Stereology and Image Analysis, S\o nderborg, Denmark,June 5--10, 2011. Lecture

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

function for inhomogeneous point processes with applications, CFE'11 \& ERCIM'11, London, United Kingdom, December 17--19, 2011. Lecture

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

La Pietra week in Probability, Firenze, June 13-17 2011; Talk: "Extensions of the BK inequality"Four-hour presentation on BK and related inequalities,(with Alberto Gandolfi (Firenze)) at the "Hypatie seminar" in Marseille, December 2 2011. Lecture

J. van den Berg (Rob)

Conference on Probability Theory, Statistical Physics, and Applications under the auspices of the NYU Abu Dhabi Institute, January 16 - 20 2011 , Abu Dhabi. Talk:" Sublinearity of the Travel-Time Variance for Dependent First-Passage Percolation " Lecture

J. van den Berg (Rob)

``Heavy traffic of the Processor Sharing Queue via Excursion Theory''. Invited talk. Workshop on Stochastic Networks and Related Topics, Bedlewo, Poland Lecture

A.P. Zwart (Bert)

``Scheduling and queueuing - optimality under rare events and heavy loads''. Keynote lecture. Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP). Czech Republic Lecture

A.P. Zwart (Bert)

Inaugural lecture "The Nature of Prediction (and the Prediction of Nature)", Universiteit van Amsterdam (2011) Lecture

J.E. Frank (Jason)

Effective methods in Algebraic Geometry (MEGA 2011), Stockholm, Plenary lecture. Title: Semidefinite programming characterization and computation of real radical ideals Lecture

M. Laurent (Monique)

Scientific Lecture - Cell-based Computational Modeling of Collective Cell Behavior and Cell-ECM Interactions During Angiogenesis ICSB Workshop on Interdisciplinary Biomedical Research , University of Notre Dame, London Centre Lecture

R.M.H. Merks (Roeland)

Scientific Lecture - Cell-based modeling of multicellular development of plants and animals , Freiburg Institute of Advanced Studies Lecture

R.M.H. Merks (Roeland)

Public lecture - Radio-interview (Hoe?Zo! Radio) on angiogenesis project (in Dutch), “Samenwerkende cellen”, 14 maart 2011, http://educatie.ntr.nl/radio/134903/hoe-zo-radio/item/3149199/samenwerkende-cellen/ Lecture

R.M.H. Merks (Roeland)

Invited Plenary Lecture, SIAM Conference on Applied Algebraic Geometry, Raleigh Lecture

A. Schönhuth (Alexander)

Invited speaker at the congress “An Innovative Truth III” (Dutch professional congress on sustainable ICT and energy) Lecture

J.A. La Poutré (Han)

2011Keynote at the Brazilian symposium on Multimedia and the Web Lecture

P.S. César Garcia (Pablo Santiago)

Keynote - ICT.Open, Veldhoven, NL Lecture

D.C.A. Bulterman (Dick)

Position-Based Quantum Cryptography: Impossibility and Constructions. Plenary talk at: QIP 2011 — 14th Workshop on Quantum Information Processing. Singapore Lecture

S. Fehr (Serge)

Invited Speaker, EUROCRYPT 2011 Lecture

R.J.F. Cramer (Ronald)

Keynote speaker - 30th Annual IACR EUROCRYPT, Tallinn, Estonia Title: The Arithmetic Codex. Lecture

R.J.F. Cramer (Ronald)

Explicit lower and upper bounds on the entangled value of multiplayer XOR games 5th Workshop on Quantum Information Processing (QIP 2012) Montreal, Canada Lecture

J. Briët (Jop)

Grothendieck's inequality applied to quantum entanglement and combinatorial optimization ICMAT (Instituto de Ciencias Matematicas) colloquium Madrid, Spain     Lecture

J. Briët (Jop)

Bell inequalities: What do we know about them and why should cryptographers care International Conference on Information Theoretic Security , Amsterdam, The Netherlands Lecture

R.M. de Wolf (Ronald)

Insights in reinforcement learning : formal analysis and empirical evaluation of temporal-difference learning algorithms Dissertation

H. P. van Hasselt (Hado)

Amalgame Software

J.R. van Ossenbruggen (Jacco)

VideoLat Software

A.J. Jansen (Jack)

VConect Software

A.J. Jansen (Jack)

REVERIE Software

A.A.M. Kuijk (Fons)

Pacioli Software

J.J. Vinju (Jurgen)

MP3DG-Point Cloud Compression Software

C.L. Blom (Kees)

Basic Voting Theory Software

J.J. Vinju (Jurgen)

AmbiDexter Software

J.J. Vinju (Jurgen)

Introduction to Annual Report 2010 Online Video

J.K. Lenstra (Jan Karel)

Stochastic models for resource sharing in wireless networks Dissertation

P.M. van de Ven (Peter)

The excluded minors for near-regular matroids Article

R. Hall, D. Mayhew and S.H.M. van Zwam (Stefan)

On the relative importance of excluded minors Article

R. Hall, D. Mayhew and S.H.M. van Zwam (Stefan)

EnBlogue: emergent topic detection in web 2.0 streams In Proceedings

F. Alvanaki (Foteini), S. Michel, K. Ramamritham and G. Weikum

Media Fragments URI 1.0 Standard

R. Troncy (Raphael), E. Mannens, S. Pfeiffer, D. van Deursen, M. Hausenblas, P. Jägenstedt, A.J. Jansen (Jack), Y. Lafon, C. Parker (Conrad) and T. Steiner

CSS Color Module Level 3 Standard

T. Çelik, S. Pemberton (Steven) and not CWI et al

Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification Standard

B. Bos, S. Pemberton (Steven) and not CWI et al

Testing a particle filter to reconstruct climate changes over the past centuries Article

S. Dubinkina (Svetlana), H. Goosse, Y. Sallaz-Damaz, E. Crespin and M. Crucifix

Open Document Format for Office Applications (OpenDocument) Version 1.2 Standard

P. Durusau, M. Brauer and S. Pemberton (Steven)

StoSim - Version 0.1 (original name: Nicessa) Software

N.F. Höning (Nicolas)

Video Mediated Social Interaction Between Groups: System Requirements and Technology Challenges Article

D. Williams (Doug), M.F. Usrsu, J. Meenowa, P.S. César Garcia (Pablo Santiago), I. Kegel (Ian), K. Bergström (Karl) and K. Bergström (Karl)

Boundedness and strong stability of Runge-Kutta methods Article

W. Hundsdorfer (Willem) and M.N. Spijker

Crisis? Investeer in inventie Article

J.K. Lenstra (Jan Karel)

Tracking and Trace on Wireless Sensor Networks Master Thesis

C. Wang (Chen)

Performance analysis of multi-class fork-join queues Master Thesis

S. Ding (Sihan)

A high order density model for streamer discharges In Proceedings

A. Markosyan (Aram), S. Dujko (Sasa), W. Hundsdorfer (Willem) and U. Ebert (Ute)

Future Internet Lecture

S. Pemberton (Steven)

Multilingual Forms and Applications Lecture

S. Pemberton (Steven)

Why Visualisation? Lecture

S. Pemberton (Steven)

XRX - Restful XForms Presentation

S. Pemberton (Steven)

The Computer as Extended Phenotype Lecture

S. Pemberton (Steven)

Declarative Applications Lecture

S. Pemberton (Steven)

Abstract delta modeling Tech Report

D.G. Clarke (David), M. Helvensteijn (Michiel) and I. Schaefer

Multimodal monitoring of cultural heritage sites and the FIRESENSE project In Proceedings

A.A. Salah (Albert Ali), J. Han (Jungong ), E.J.E.M. Pauwels (Eric) and P.M. de Zeeuw (Paul)

High order fluid model for ionization fronts in streamer discharges Proceedings

CWI at TREC 2011: Session, Web, and Medical In Proceedings

J. He (Jiyin), V. Hollink (Vera), C. Boscarino (Corrado), A.P. de Vries (Arjen) and R. Cornacchia (Roberto)

Combining strategies efficiently : radio interview BNR Denktank. 25.01.2011 News Broadcast

W.M. Koolen-Wijkstra (Wouter)

Over kwantumcryptografie : telefonisch gesprek in het radioprogramma Hoe?Zo! Radio, 22.11.2011 (NTR) [6:18] News Broadcast

H.M. Buhrman (Harry)

Kwantum informatica : een gesprek met Harry Buhrman over kwantum computers en kwantum informatica : Hoe?Zo! Radio, 05.01.2011 [27:38] News Broadcast

H.M. Buhrman (Harry)