Synchronization Strings: Codes for Insertions and Deletions Approaching the Singleton Bound.
Lower Bounds for Maximal Matchings and Maximal Independent Sets.
Chasing Convex Bodies with Linear Competitive Ratio.
A Cryptographic Test of Quantumness and Certifiable Randomness from a Single Quantum Device.
Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity.
How to Construct Quantum Random Functions.
The Reachability Problem for Two-Dimensional Vector Addition Systems with States.
Invited Articles Foreword.
Complexity Analysis of Generalized and Fractional Hypertree Decompositions.