Publication

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), D. Rosset (Denis) 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)

The effect of toroidal plasma rotation on low-frequency reversed shear Alfvén eigenmodes in tokamaks Article

J.W. Haverkort (Willem)

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)