Publication

Finite de Finetti theorem for conditional probability distributions describing physical theories Tech Report

M. Christandl (Matthias) and B.F. Toner (Ben)

Diagonal Circuit Identity Testing and Lower Bounds Tech Report

N. Saxena (Nitin)

Applications of Formal Methods to System Design and Verification Proceedings

Proceedings of Formal Methods for Components and Objects, FMCO 2006 -- revised lectures Proceedings

New Algorithms for Approximate Nash Equilibria in Bimatrix Games In Proceedings

H. Bosse (Hartwig), J. Byrka (Jaroslaw) and V. Markakis (Vangelis)

Risk Balance in Exchange Protocols In Proceedings

M.T. Dashti (Mohammad) and Y. Wang (Yanjing)

Writing Language Definitions in ASF+SDF Magazine Article

P. Klint (Paul) and J.J. Vinju (Jurgen)

Bug Hunting with False Negatives Revisited Tech Report

J.R. Calamé (Jens), N. Ioustinova (Natalia), J.C. van de Pol (Jaco) and N. Sidorova