Differential Equation Invariance Axiomatization.
Detecting an Odd Hole.
Silence.
Foundations of Context-aware Preference Propagation.
Approximating Generalized Network Design under (Dis)economies of Scale with Applications to Energy Efficiency.
Matrix Multiplication, a Little Faster.
Fully Functional Suffix Trees and Optimal Text Searching in BWT-Runs Bounded Space.