skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · the department · publications · theses · 

Theses Advised by Michael Main

by Year by Author by Advisor
 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
See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Send email to

Engineering Center Office Tower
ECOT 717
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (13:58)