Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty.
Approximation Algorithms for NP-Complete Problems on Planar Graphs.
Instance Complexity.
Cryptographic Limitations on Learning Boolean Formulae and Finite Automata.
Efficient Computation of Fourier Inversion for Finite Groups.
Fishspear: A Priority Queue Algorithm.
A Really Temporal Logic.