A Fresh Look at Some Old Extremal Problems William T. Trotter Georgia Institute of Technology November 20, 2006.
Keeping a Crowd Safe On the Complexity of Parameterized Verification Javier Esparza Technical University of Munich.
Keeping a Crowd Safe On the Complexity of Parameterized Verification