Normalized Web Distance and Word Similarity Tech Report

R.L. Cilibrasi (Rudi) and P.M.B. Vitányi (Paul)

Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca Article

M.M. Jaghoori (Mohammad Mahdi), M. Sirjani (Marjan), M.R. Mousavi, E. Khamespanah (Ehsan) and A. Movaghar (Ali)

Accurate and efficient solution of 2D steady water flow with surface waves and turbulence In Proceedings

J. Wackers (Jeroen) and B. Koren (Barry)

Advanced Computational Methods in Computational Science and Engineering Book

Composing quantum protocols in a classical environment In Proceedings

S. Fehr (Serge) and C. Schaffner (Christian)

Improving the security of quantum protocols via commit-and-open In Proceedings

I.B. Damgård (Ivan), S. Fehr (Serge), C. Luneman, L. Salvail (Louis) and C. Schaffner (Christian)

On the power of two-party quantum cryptography In Proceedings

L. Salvail (Louis), C. Schaffner (Christian) and M. Sotakova

The operational meaning of min- and max-entropy Article

R. König, R. Renner and C. Schaffner (Christian)