Publications from 2020

ECNS: a new dedicated Navier-Stokes code for wind-turbine wake simulations Lecture

B. Sanderse (Benjamin), M. Nool (Margreet), S.W. van Haren and B. Koren (Barry)

Towards a similarity-based wen service discovery through soft constraint satisfaction problems In Proceedings

F. Arbab (Farhad), S. Bistarelli, D. Pirolandi and F. Santini (Francesco)

Modeling and simulation of operational risks in the finance industry In Proceedings

C. Brandt (Christoph), F. Santini (Francesco), N. Kokash (Natallia) and F. Arbab (Farhad)

Formal design and verification of long-running transactions with eclipse coordination tools Article

N. Kokash (Natallia) and F. Arbab (Farhad)

A compositional model to reason about end-to-end QoS in stochastic Reo connectors Article

Y.-J. Moon (Young-Joo), A.M. Silva (Alexandra), C. Krause (born Köhler) (Christian) and F. Arbab (Farhad)

Fundamentals of Software Engineering Book

Post-proceedings of the 8th International Symposium on Formal Aspects of Component Software Book

Rascal: A One-Stop-Shop for Program Analysis and Transformation Lecture

M.A. Hills (Mark)

Classical Simulation of Entanglement Swapping with Bounded Communication Article

C. Branciard (Cyril), N. Brunner (Nicolas), H.M. Buhrman (Harry), R.E. Cleve (Richard), N. Gisin (Nicolas), S. Portmann (Samuel), Denis Rosset and M. Szegedy (Mario)

Complete Insecurity of Quantum Protocols for Classical Two-Party Computation Article

H.M. Buhrman (Harry), M. Christandl (Matthias) and C. Schaffner (Christian)

Software Language Processing Suite: megamodelling library Software

V. Zaytsev (Vadim)

Software Language Processing Suite: XBGF grammar manipulation library Software

V. Zaytsev (Vadim)

Software visualization Presentation

A.J. van der Ploeg (Atze)

Ensō Software

W.R. Cook, T. van der Storm (Tijs) and A. Loh

Catching Up Faster by Switching Sooner: A Predictive Approach to Adaptive Estimation with an application to the AIC-BIC Dilemma Article

T.A.L. van Erven (Tim), P.D. Grünwald (Peter) and S. de Rooij (Steven)

The Safe Bayesian: learning the learning rate via the mixability gap In Proceedings

P.D. Grünwald (Peter)

Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference Proceedings

Interacting via the Heap in the Presence of Recursion. In Proceedings

F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and J.C. Rot (Jurriaan)

A modal logic for abstract delta modeling. In Proceedings

F.S. de Boer (Frank), M. Helvensteijn (Michiel) and J. Winter (Joost)

Programming and deployment of active objects with application-level scheduling In Proceedings

F.S. de Boer (Frank), B. Nobakht (Behrooz), M.M. Jaghoori (Mohammad Mahdi) and R. Schlatte (Rudolf)

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study In Proceedings

F.S. de Boer (Frank), E. Broch Johnsen, R Haehnle, R. Schlatte (Rudolf) and P.Y.H. Wong

Decidability Problems for Actor Systems. In Proceedings

F.S. de Boer (Frank), C. Laneve (Cosimo) and G. Zavattaro (Gianluigi)

Connectors as designs: Modeling, refinement and test case generation. Article

F.S. de Boer (Frank)

Termination detection for active objects Article

F.S. de Boer (Frank), I. Grabe (Immo) and M. Steffen

Verification of object-oriented programs: A transformational approach Article

F.S. de Boer (Frank)

Automated Verification of Recursive Programs with Pointers In Proceedings

F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and J.C. Rot (Jurriaan)

A high order density model for streamer discharges In Proceedings

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

Hopf dances near the tips of Busse balloons Article

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

Exploring topic structure: coherence, diversity and relatedness Article

J. He (Jiyin)

Lopen vissen gevaar als bliksem in zee slaat? U. Ebert reactie in De Pers, Jan. 10, 2012. Magazine Article

U. Ebert (Ute)

The nature of prediction (and the prediction of nature) Article

J.E. Frank (Jason)

Formal aspects of component software : 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers Book

LEGO Turing machine : Vimeo.com [2:23] Online Video

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

The Gram dimension of a graph In Proceedings

M. Laurent (Monique) and A. Varvitsiotis (Antonios)

Symmetry in RLT cuts for the quadratic assignment and standard quadratic optimization problems Tech Report

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

Automatic Parameter Estimation for the Discrete Algebraic Reconstruction Technique (DART) Article

W. van Aarle (Wim), K.J. Batenburg (Joost) and J. Sijbers (Jan)

Accurate segmentation of dense nanoparticles by partially discrete electron tomography Article

T. Roelandts (Tom), K.J. Batenburg (Joost), E. Biermans, C. Kübel, S. Bals (Sara) and J. Sijbers (Jan)

Electron tomography based on a total variation minimization reconstruction technique Article

B. Goris (Bart), W. van den Broek, K.J. Batenburg (Joost), H. Heidari Mezerji and S. Bals (Sara)

Fluid models for many-server Markovian queues in a changing environment Article

B. Zhang (Bo) and A.P. Zwart (Bert)

Wiener-Hopf factorizations for a multidimensional Markov additive process and their applications to reflected processes Article

M. Miyazawa and A.P. Zwart (Bert)

Is tail-optimal scheduling possible? Article

A. Wierman (Adam) and A.P. Zwart (Bert)

Efficient rare-event simulation for perpetuities Article

J. Blanchet (Jose), H. Lam and A.P. Zwart (Bert)

Corrected server staffing for a queueing model with impatient customers Article

B. Zhang (Bo), J.S.H. van Leeuwaarden (Johan) and A.P. Zwart (Bert)

Enabling 'Togetherness' in High-Quality Domestic Video Conferencing In Proceedings

I. Kegel (Ian), P.S. César Garcia (Pablo Santiago), A.J. Jansen (Jack), D.C.A. Bulterman (Dick), J. Kort, T. Stevens and N. Farber (Niko)

Socially-Aware Multimedia In Proceedings

P.S. César Garcia (Pablo Santiago), D.A. Shamma (Ayman), D. Williams (Doug) and C. Snoek

Video Communication for Networked Communities: Challenges and Opportunities In Proceedings

T. Stevens, P.S. César Garcia (Pablo Santiago), I. Kegel (Ian), N. Farber (Niko), D. Williams (Doug), M. Ursu (Marian), P. Stenton, P. Torres (Pedro), M. Falekakis and R. Kaiser

Remote Music Tuition In Proceedings

S. Duffy, D. Williams (Doug), I. Kegel (Ian), T. Stevens, A.J. Jansen (Jack), P.S. César Garcia (Pablo Santiago) and P. Healey

Surveying the Social, Smart and Converged TV Landscape: Where is Television Research Headed? Tech Report

M.J. Montpetit, P.S. César Garcia (Pablo Santiago), M. Matijasevic, Z. Liu (Zhe), J. Crowcroft and O.M. Bonastre

Embracing Open Source Multimedia Software Article

P.S. César Garcia (Pablo Santiago) and W.T. Ooi (Wei Tsang)

Proceedings of the International Workshop on Socially-Aware Multimedia Proceedings

Smart, Social and Converged TV Article

O.M. Bonastre, M.J. Montpetit, P.S. César Garcia (Pablo Santiago), Z. Liu (Zhe), J. Crowcroft and M. Matijasevic

Sistemas y Tecnologías de Televisión Digital Interactiva para la Educación Article

X. García Pañeda and P.S. César Garcia (Pablo Santiago)

Random growth and near-critical percolation Presentation

J. van den Berg (Rob)

A growth process on the square lattice where large clusters are frozen Presentation

J. van den Berg (Rob)

Extensions of the BK inequality Presentation

J. van den Berg (Rob)

Single-block collision attack on MD5 Tech Report

M.M.J. Stevens (Marc)

Cryptanalysis of MD5 and SHA-1 Lecture

M.M.J. Stevens (Marc)

A BK inequality for randomly drawn subsets of fixed size Article

J. van den Berg (Rob) and J. Jonasson

On the size of the largest cluster in 2D critical percolation Article

J. van den Berg (Rob) and R.P. Conijn (Rene)

Cryptanalysis of MD5 and SHA-1 Lecture

M.M.J. Stevens (Marc)

Tip cells in angiogenesis: the role of selection and behavior Presentation

M.M. Palm (Margriet) and R.M.H. Merks (Roeland)

Turing machines and understanding computational complexity Tech Report

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

Normalized compression distance of multiples Tech Report

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

Information distance: New developments Tech Report

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

Identification of probabilities of languages Tech Report

P.M.B. Vitányi (Paul) and N. Chater (Nick)

Conditional Kolmogorov complexity and universal probability Tech Report

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

Tolstoy's mathematics in 'War and Peace' Article

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

Approximating rate-distortion graphs of individual data: Experiments in lossy compression and denoising Article

S. de Rooij (Steven) and P.M.B. Vitányi (Paul)

Exponential lower bounds for polytopes in combinatorial optimization Presentation

R.M. de Wolf (Ronald)

Quantum computing Presentation

R.M. de Wolf (Ronald)

Cell-based modeling of phenotypic plasticity and evolution in tumor development Presentation

A. Szabó (Andras)

Cell based modeling of phenotypic tumor evolution Presentation

A. Szabó (Andras) and R.M.H. Merks (Roeland)

Cell based modeling of phenotypic tumor evolution Presentation

A. Szabó (Andras) and R.M.H. Merks (Roeland)

Modelling heart valve formation Presentation

A.K. Lagendijk (Anne Karine), A. Szabó (Andras), R.M.H. Merks (Roeland) and J. Bakkers

Collective cell motion in endothelial monolayers Presentation

A. Szabó (Andras), R. Unnep, E. Mehes, W.O. Twal, W.S. Argraves, Y. Cao and A. Czirok

Invasion from a cell aggregate Presentation

A. Szabó (Andras)

Wiskunde brengt woestijnvorming in kaart. Kennislink.nl, 30 januari 2012 Magazine Article

S. van der Stelt (Sjors)

CWI benoemt Paul Klint tot Fellow. Automatisering Gids, 5 januari 2012 Magazine Article

P. Klint (Paul)

Een blik in de glazen bol. NRC Handelsblad, 7 januari 2012 Magazine Article

R.J.F. Cramer (Ronald)

A coalgebraic perspective on linear weighted automata. Article

F. Bonchi (Filippo), M.M. Bonsangue (Marcello), M. Boreale, J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

Brzozowski's algorithm (co)algebraically. Book Chapter

F. Bonchi (Filippo), M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

On the final coalgebra of automatic sequences. Book Chapter

A proof of Moessner's theorem by coinduction. Article

M. Niqui (Milad) and J.J.M.M. Rutten (Jan)

Defining context-free power series coalgebraically. In Proceedings

M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and J. Winter (Joost)

Lumen formation during angiogenesis: An integrated computational model Presentation

S.E.M. Boas (Sonja)

Lumen formation during angiogenesis: An integrated computational model Presentation

S.E.M. Boas (Sonja)

Reo + mCRL2: A Framework for Model-Checking Dataflow in Service Compositions Article

N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages In Proceedings

D. Latella, M. Massink and E.P. de Vink (Erik)

Transactions on Computational Systems Biology XIV Book

I. Petre and E.P. de Vink (Erik)

Lumen formation during angiogenesis: An integrated computational model Presentation

S.E.M. Boas (Sonja)

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

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

Book Review: Basic Phylogenetic Combinatorics. -- Andreas Dress, Katharina T. Huber, Jacobus Koolen, Vincent Moulton and Andreas Spillner Magazine Article

L.J.J. van Iersel (Leo)

Robustness and accuracy of functional modules in integrated network analysis Article

D. Beisser (Daniela), S. Brunkhorst, T. Dandekar, G.W. Klau (Gunnar), M. Dittrich (Marcus) and T. Müller (Tobias)

Positive streamer propagation due to background or photo ionization: Experiments and theory In Proceedings

S. Nijdam (Sander), G. Wormeester (Gideon) and U. Ebert (Ute)

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

A.B. Sun (Anbang), H.J. Teunissen (Jannis) and U. Ebert (Ute)

Extra-terrestrial sprites: laboratory investigations in planetary gas mixtures In Proceedings

D. Dubrovin, Y. Yair, C. Price, S. Nijdam (Sander), T.T.J. Clevis, E.M. van Veldhuizen and U. Ebert (Ute)

Cross sections and modelling results for TGF- and positron spectrum produced by a negative stepped lightning leader In Proceedings

C. Köhn (Christoph) and U. Ebert (Ute)

Slow decay of radiation after a pulsed streamer discharge in pure nitrogen In Proceedings

T.T.J. Clevis, S. Nijdam (Sander) and U. Ebert (Ute)

High order fluid model for ionization fronts in streamer discharges In Proceedings

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

Thunderstroms as electron accelerators and the discharge zoo above the clouds In Proceedings

U. Ebert (Ute)