Centrum Wiskunde & Informatica

Modelling and Analysis of Real-Time Coordination Patterns Dissertation

Formal Methods

S. Kemper (Stephanie)

December 2011
Software Language Processing Suite: XBGF grammar manipulation library Software

V. Zaytsev (Vadim)

January 2012
Heeft NW wel een chef nodig? Miscellaneous

P.J. van der Houwen (Piet)

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

Physical Review Letters

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

January 2012
Classical Simulation of Entanglement Swapping with Bounded Communication Article

Physical Review Letters, 109(10)

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)

January 2012
Particle based 3D modeling of positive streamer inception Tech Report

H.J. Teunissen (Jannis)

January 2012
Towards Dynamic Catalogues In Proceedings

L.H.A. Scheers (Bart) and F.E. Groffen (Fabian)

January 2012
Unbounded violations of three-player XOR games: Improved, simplified and explicit constructions IQC (Institute for Quantum Computing) colloquium University of Waterloo, Canada Lecture

J. Briët (Jop)

January 2012

Previous

Next