Lossless abstraction of imperfect information games.
On computing all abductive explanations from a propositional Horn theory.
Low distortion embeddings for edit distance.
A bisimulation for type abstraction and recursion.
AdWords and generalized online matching.