David W. Hill CSCI 297 5.31.2005
Overview of Formal Methods
SPADEase: The Good, the Bad and the Ugly
A REPORT on Rrs and Bogibeel Bridge
Poly stop a hacker David Walker Princeton University (joint work with Lujo Bauer and Jay Ligatti)
Distance Trisector curve and Voronoi diagram with neutral zone Takeshi Tokuyama (Tohoku U) joint work with Tetsuo Asano (JAIST) and Jiri Matousek (Charles.