|
Department of Computer Science
|
University of Colorado Boulder
|
|
|
|
|
|
|
|
|
home · the department · publications · theses ·
|
| |
Theses Advised by Michael Main |
| |
| | Farhangnia, Farhad
MS 1984 | Programming rook endgames in chess |
| | Nash, James Kevin
MS 1984 | Experiments on algorithms for recognizing square free strings |
| | Hoffmann, Jochen
MS 1986 | Some results on NLC grammars with one-letter terminal alphabets |
| | Brissenden, Mark Arik
MS 1987 | Some properties of the language hierarchy produced by ELC graph grammar restrictions |
| | McGrath, Janet Korzekwa
MS 1987 | A parser-instrumentor for Ada programs: a task interface analysis tool |
| | Black, David L.
PhD 1990 | Algebraic semantics for total correctness and fairness |
| | Zweifel, Evan Rudolph
PhD 1993 | Some properties of Abelian square-free homomorphisms |
| | Bjorg, Steve Gunnar
MS 2000 | BML object system |
| | Muff, Urs Christian
MS 2000 | Backtracking model languages |
| | Khalili, Bardia
BS 2006 | A hybrid format for storing raster images |
| | Allred, Jude
BS 2009 | A recipe for game development assignments in CS2 |
| | French, John Thomas
BS 2009 | Constructing a gravitational simulator for the cell processor |
| | Barrow, Benjamin Orion
BS 2010 | An edge matching approach for video motion estimation |
|
|
|
|
|
|
|
|
| |
