White-Box vs. Black-Box Complexity of Search Problems: Ramsey and Graph Property Testing.
An Operational Characterization of Mutual Information in Algorithmic Information Theory.
Online Bipartite Matching with Amortized
On the Parameterized Complexity of Approximating Dominating Set.
The Moser-Tardos Framework with Partial Resampling.
Self-Stabilising Byzantine Clock Synchronisation Is Almost as Easy as Consensus.
Index Reduction for Differential-algebraic Equations with Mixed Matrices.