Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving.
Discrete Temporal Constraint Satisfaction Problems.
Fair Enough: Guaranteeing Approximate Maximin Shares.
Analysing Snapshot Isolation.
The Freezing Threshold for
Excluded Grid Minors and Efficient Polynomial-Time Approximation Schemes.
Invited Article Foreword.