Alternating-time temporal logic.
On the online bin packing problem.
The greedy path-merging algorithm for contig scaffolding.
Truth revelation in approximately efficient combinatorial auctions.
Approximation algorithms for classification problems with pairwise relationships: metric labeling and Markov random fields.