Publications from 2017

Type based modular refactoring Presentation

A. Izmaylova (Anastasia)

TyMoRe: towards a modular, language-parametric refactoring framework Presentation

A. Izmaylova (Anastasia)

Type based Refactorings with TyMoRe Presentation

A. Izmaylova (Anastasia)

Software refactorings Presentation

A. Izmaylova (Anastasia)

TyMoRe - Modular Type based Refactoring Software

A. Izmaylova (Anastasia) and J.J. Vinju (Jurgen)

Quantitative analysis of venation patterns of Arabidopsis leaves by supervised image analysis Article

S. Dhondt, D. van Haerenborgh, C. van Cauwenbergh, R.M.H. Merks (Roeland), W. Philips, G.T.S. Beemster and D. Inze

Serialisation, Abstraction and XML Applications Lecture

S. Pemberton (Steven)

There is no yellow in this presentation (on Colour and Reality) Lecture

S. Pemberton (Steven)

Abstract delta modeling: my research plan In Proceedings

M. Helvensteijn (Michiel)

Dynamic delta modeling In Proceedings

M. Helvensteijn (Michiel)

Delta modeling in practice In Proceedings

M. Helvensteijn (Michiel), R. Muschevici and P.Y.H. Wong

Delta modeling workflow In Proceedings

M. Helvensteijn (Michiel)

Socially-aware multimedia: Adding personal and temporal contexts to media In Proceedings

D.C.A. Bulterman (Dick)

Highly-personal multimedia: supporting the user-in-the-small In Proceedings

D.C.A. Bulterman (Dick)

Together Anywhere, Together Anytime: Technologies for Intimate Interactions Book

New collision attacks on SHA-1 based on optimal joint local-collision analysis Unpublished

M.M.J. Stevens (Marc)

Will the real service-oriented computing please stand up? In Proceedings

F. Arbab (Farhad)

From timed Reo networks to networks of timed automata In Proceedings

N. Kokash (Natallia), M.M. Jaghoori (Mohammad Mahdi) and F. Arbab (Farhad)

Modularizing and specifying protocols among threads In Proceedings

S.-S.T.Q. Jongmans (Sung) and F. Arbab (Farhad)

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)