Publication

Applications of Formal Methods to System Design and Verification Proceedings

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

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

Bug Hunting with False Negatives Revisited Tech Report

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

Risk Balance in Exchange Protocols In Proceedings

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

New Algorithms for Approximate Nash Equilibria in Bimatrix Games In Proceedings

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

Writing Language Definitions in ASF+SDF Magazine Article

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

The Semantic Web in Action Article

L. Feigenbaum, I. Herman (Ivan), T. Hongsermeier, E. Neumann and S. Stephens

Adapted Maximum-Likelihood Gaussian Models for Numerical Optimization with Continuous EDAs Tech Report

P.A.N. Bosman (Peter), J. Grahl and D. Thierens (Dirk)