Author: Serdar Kadioglu
School: Brown University
Supervisors: Meinolf Sellmann
Graduated: May 27, 2012
Link to full text: http://cs.brown.edu/research/pubs/theses/phd/2012/kadioglu.pdf