Reconciliation With Nonbinary Gene Trees Revisited.
The 4/3 Additive Spanner Exponent Is Tight.
Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction.
The Tractability Frontier of Graph-Like First-Order Query Sets.
Bounds on Monotone Switching Networks for Directed Connectivity.
Invited Article Foreword.
Optimal Induced Universal Graphs and Adjacency Labeling for Trees.