1 Verification of Parameterized Systems Reducing Model Checking of the Few to the One. E. Allen Emerson, Richard J. Trefler and Thomas Wahl Junaid Surve.
Proving Lower Bounds on Graph Drawing Problems Rajat Anantharam Department of Gaming and Media Technology Utrecht University.