Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming
A decomposition of multidimensional point sets with applications to k-nearest-neighbors and n-body potential fields
Three logics for branching bisimulation
Eigenvalues and expansion of regular graphs