Polynomial Counting in Anonymous Dynamic Networks with Applications to Anonymous Dynamic Algebraic Computations.
Frege Systems for Quantified Boolean Logic.
Invited Article Foreword.
A Simple Deterministic Distributed MST Algorithm with Near-Optimal Time and Message Complexities.
Deterministic Factorization of Sparse Polynomials with Bounded Individual Degree.
A Simpler and Faster Strongly Polynomial Algorithm for Generalized Flow Maximization.