Software reliability via run-time result-checking
On-line routing of virtual circuits with applications to load balancing and machine scheduling
Exact analysis of Dodgson elections: Lewis Carroll’s 1876 voting system is complete for parallel access to NP