Publication

Block-diagonal semidefinite programming hierarchies for 0/1 programming Tech Report

N. Gvozdenovic (Nebojsa), M. Laurent (Monique) and F. Vallentin (Frank)

Diagonal Circuit Identity Testing and Lower Bounds Tech Report

N. Saxena (Nitin)

Riemann problems in FPU chains Article

J.D.M. Rademacher (Jens) and M. Herrmann

The Epistemics of Presupposition Projection In Proceedings

D.J.N. van Eijck (Jan) and A. C. Unger (Christina)

Applications of Formal Methods to System Design and Verification Proceedings

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

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

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)