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 · 
 

PhD Theses by Author

 
by Year by Author by Advisor
<
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
>
All Authors

A

 Abernethy, Jennifer Anne
PhD 2008
Advisor: Elizabeth Bradley
A domain analysis approach to clear-air turbulence forecasting using high-density in-situ measurements
 Aggarwal, Anshu
PhD 1998
Advisor: Dirk Grunwald
Analysis of the Hemingway multiple-writer implementation of release consistency for software distributed shared memory systems
 Ahmad, Faisal
PhD 2008
Advisor: Tamara Sumner
Advisor: James Martin
Generating conceptually personalized interactions for educational digital libraries using concept maps
 Anderson, Eric William
PhD 2010
Advisor: Douglas Sicker
Advisor: Dirk Grunwald
Integrated scheduling and beam steering for spatial reuse
 Arshad, Naveed
PhD 2006
Advisor: Alexander Wolf
Advisor: Dennis Heimbigner
A planning-based approach to failure recovery in distributed systems
 Azmi, Aqil Mohammad Mustafa
PhD 1998
Advisor: Richard Byrd
Use of smoothing methods with stochastic perturbation for global optimization: (a study in the context of molecular chemistry)

B

 Bader, Brett William
PhD 2003
Advisor: Robert (Bobby) Schnabel
Tensor-Krylov methods for solving large-scale systems of nonlinear equations
 Bankes, Steven Carl
PhD 1980
Advisor: Andrzej Ehrenfeucht
A novel design for a natural language text processor
 Barrett, David Andrews
PhD 1995
Advisor: Benjamin Zorn
Improving the performance of conservative generational garbage collection
 Barthelmess, Paulo
PhD 2003
Advisor: Clarence (Skip) Ellis
ThreadMill: a highly configurable architecture for human communication analysis applications
 Bauer, Kevin Scott
PhD 2011
Advisor: Douglas Sicker
Advisor: Dirk Grunwald
Improving security and performance in low latency anonymous networks
 Beach, Aaron Joseph
PhD 2011
Advisor: Richard Han
Anonymity in socio-digital systems
 Beguelin, Adam Louis
PhD 1990
Advisor: Gary Nutt
Deterministic parallel programming in Phred
 Bein, Jonathan Weber
PhD 1992
Advisor: Roger (Buzz) King
Buffer management in data intensive expert systems
 Bell, Brigham Roy
PhD 1992
Advisor: Clayton Lewis
Using programming walkthroughs to design a visual language
 Bell, Jean Louise
PhD 1983
Advisor: Lloyd Fosdick
Data structures for scientific simulation programs
 Bernstein, Bernard Gary
PhD 1993
Advisor: Paul Smolensky
Euclid supports informal argumentation with hypertext
 Bethard, Steven John
PhD 2007
Advisor: James Martin
Finding event, temporal and causal structure in text: A machine learning approach
 Black, David L.
PhD 1990
Advisor: Michael Main
Algebraic semantics for total correctness and fairness
 Blauvelt, Glenn R.
PhD 2006
Advisor: Michael Eisenberg
MachineShop: A design environment for supporting children's construction of mechanical reasoning and spatial cognition
 Bloem, Roderick Paul
PhD 2001
Advisor: Fabio Somenzi
Search techniques and automata for symbolic model checking
 Blough, Eric Browder
PhD 1998
Advisor: Clayton Lewis
Simplifying the construction of interactive programs in a functional programming environment
 Blumenthal, Richard Louis
PhD 1998
Advisor: Gary Nutt
Supporting unstructured activities with a meta-contextual protocol in situation-based workflow
 Bong, Chih How
PhD 2011
Advisor: James Martin
Advisor: Kai Larsen
Exploring the semantic meaning of constructs that lead to human decisions
 Bonnlander, Brian Vandoren
PhD 1996
Advisor: Andreas Weigend
Nonparametric selection of input variables for connectionist learning
 Bouaricha, Ali
PhD 1992
Advisor: Robert (Bobby) Schnabel
Solving large sparse systems of nonlinear equations and nonlinear least squares problems using tensor methods on sequential and parallel computers
 Bouguettaya, Athman
PhD 1992
Advisor: Roger (Buzz) King
A dynamic framework for interoperability in large multidatabases
 Boyd, Casey
PhD 1997
Advisor: Clayton Lewis
Designing usability into virtual environments
 Brandt, Scott Alan
PhD 1999
Advisor: Gary Nutt
Soft real-time processing with dynamic QOS level resource management
 Brousse, Olivier Jean
PhD 1991
Advisor: Paul Smolensky
Generativity and systematicity in neural network combinatorial learning
 Buechley, Leah Alyssa
PhD 2007
Advisor: Michael Eisenberg
An investigation of computational textiles with applications to education and design
 Burtscher, Martin
PhD 2000
Advisor: Benjamin Zorn
Improving context-based load value prediction

C

 Calder, Bradley Gene
PhD 1995
Advisor: Dirk Grunwald
Hardware and software mechanisms for instruction fetch prediction
 Carlson, James Arthur
PhD 2010
Advisor: Clayton Lewis
Surface wrapping: A deformable mesh approach to semi-automatic 3D volume segmentation
 Carmien, Stefan Parry
PhD 2006
Advisor: Gerhard Fischer
Socio-technical environments supporting distributed cognition for persons with cognitive disabilities
 Carter, Lynn Robert
PhD 1980
Advisor: William Waite
An analysis of Pascal programs and several basic block optimizations
 Cer, Daniel Matthew
PhD 2011
Advisor: James Martin
Parameterizing phrase based statistical machine translation models: an analytic study
 Chen, Ying
PhD 2008
Advisor: James Martin
Robust unsupervised named-entity disambiguation
 Cherry, Gina
PhD 2003
Advisor: Clayton Lewis
Effects of modeling software on fifth grade students' construction of computer-based models: a classroom study comparing two software designs
 Chow, Tatung
PhD 1989
Advisor: Robert (Bobby) Schnabel
Derivative and secant tensor methods for unconstrained optimization
 Clarke, Lori A.
PhD 1976
Advisor: Leon Osterweil
Test data generation and symbolic execution of programs as an aid to program validation
 Clemm, Geoffrey Michael
PhD 1986
Advisor: Leon Osterweil
The Odin system: an object manager for extensible software environments
 Coccaro, Noah Bart
PhD 2005
Advisor: Daniel Jurafsky
Advisor: James Martin
Latent semantic analysis as a tool to improve automatic speech recognition performance
 Cochran, Martin James
PhD 2008
Advisor: John Black
Cryptographic hash functions
 Colagrosso, Michael David
PhD 2003
Advisor: Michael Mozer
A rational theory of skilled performance and practice: modeling long-term repetition priming
 Cole, Richard Lee
PhD 1999
Advisor: Goetz Graefe
Optimizing dynamic query evaluation plans
 Cook, Jonathan Edwin
PhD 1996
Advisor: Alexander Wolf
Process discovery and validation through event-data analysis
 Cooksey, Robert Neale
PhD 2002
Advisor: Dirk Grunwald
Content-sensitive data prefetching
 Cope, Jason Micah
PhD 2009
Advisor: Henry Tufo
Data management for urgent computing environments
 Crawl, Lester Daniel
PhD 2006
Advisor: John Bennett
Affinity-directed mobility
 Crivelli, Silvia Noemi
PhD 1995
Advisor: Elizabeth Jessup
A programming paradigm and library for distributed-memory computers
 Crumly, Daniel Lee
PhD 2010
Advisor: Richard Byrd
On the reliability of Newton's method in the presence of singularity

D

 Dalrymple, James Steven
PhD 1995
Advisor: Roger (Buzz) King
Extending active database systems for the construction of interoperable systems
 Das, Sreerupa
PhD 1995
Advisor: Michael Mozer
Differentiable symbol manipulation and language induction
 Davies, Stephen Clark
PhD 2005
Advisor: Roger (Buzz) King
The efficacy of personal knowledge bases for materializing mental impressions
 Davison, Diane Leslie
PhD 1995
Advisor: Goetz Graefe
Dynamic resource allocation for multi-user query execution
 Dawe, Melissa Ann
PhD 2007
Advisor: Gerhard Fischer
Reflective design-in-use: Co-designing an assistive remote communication system with individuals with cognitive disabilities and their families
 De La Chica, Sebastian
PhD 2009
Advisor: Tamara Sumner
Generating conceptual knowledge representations to support students writing scientific explanations
 de Paula, Rogério Abreu
PhD 2004
Advisor: Gerhard Fischer
The construction of usefulness : how users and context create meaning with a social networking system
 de Vesine, Laura Caitlin Rassbach
PhD 2009
Advisor: Elizabeth Bradley
Calvin: producing expert arguments about geological history
 Demeure, Isabelle Marie
PhD 1989
Advisor: Gary Nutt
A graph model, ParaDiGM, and a software tool, VISA, for the representation, design, and simulation of parallel, distributed computations
 Deng, Jing
PhD 2006
Advisor: Richard Han
Securing wireless sensor networks through intrusion tolerant design
 Dennis, John Mauff
PhD 2005
Advisor: Elizabeth Jessup
Automated memory analysis: improving the design and implementation of iterative algorithms
 Derby, Thomas Michael
PhD 1999
Advisor: Benjamin Zorn
A study of language ideas for prototyping numerical computations
 DiBiase, Julie
PhD 1995
Advisor: Michael Eisenberg
Building curricula to shape cognitive models: a case study of higher order procedures
 DiGiano, Christopher John
PhD 1996
Advisor: Michael Eisenberg
Self-disclosing design tools: an incremental approach toward end-user programming
 Dligach, Dmitriy
PhD 2010
Advisor: Martha Palmer
High-performance word sense disambiguation with less manual effort
 Doerr, Christian
PhD 2008
Advisor: Douglas Sicker
Advisor: Dirk Grunwald
Local control of cognitive radio networks
 Doherty, Michael Edward
PhD 1998
Advisor: Richard Hull
A multistate service based on deltas and its application to support collaborative work
 Drew, Pamela Anne
PhD 1991
Advisor: Roger (Buzz) King
A la carte: an implementation of a toolkit for the incremental integration of heterogeneous database management systems
 Dunn, Joseph Patrick
PhD 2007
Advisor: John Bennett
SafeShare: Secure file sharing across trust boundaries
 Dunn, Richard Carl
PhD 1975
Advisor: William Waite
Design of a higher-level language transput system

E

 Easley, Matthew Patrick
PhD 2000
Advisor: Elizabeth Bradley
Automating input-output modeling of dynamic physical systems
 Eckert, Zulah Karen Fields
PhD 1995
Advisor: Gary Nutt
Trace extrapolation for parallel programs on shared memory multiprocessors
 Eisenberg, Ann Naomi
PhD 1999
Advisor: Andrzej Ehrenfeucht
An educational program for paper sculpture: a case study in the design of software to enhance children's spatial cognition
 Elumeze, Nwanua Onochie
PhD 2010
Advisor: Michael Eisenberg
Ambient programming

F

 Faisal, Maha Husain
PhD 2005
Advisor: Kenneth Anderson
Toward automating the discovery of traceability links
 Feng, Dan
PhD 1993
Advisor: Robert (Bobby) Schnabel
Tensor methods for constrained optimization
 Fifield, Jeffrey Matthew
PhD 2011
Advisor: Dirk Grunwald
Generating, optimizing, and scheduling a compiler level representation of stream parallelism
 Franchitti, Jean-Claude Louis
PhD 1993
Advisor: Roger (Buzz) King
Amalgame: an extensible toolkit for composing heterogeneous, persistent applications
 Frank, Paul David
PhD 1984
Advisor: Robert (Bobby) Schnabel
Tensor methods for solving systems of nonlinear equations

G

 Gallagher, Suzanne Renick
PhD 2010
Advisor: Debra Goldberg
Advisor: Harold (Hal) Gabow
Graph connectivity: approximation algorithms and applications to protein-protein interaction networks
 Gallucci, Michael Anthony
PhD 1981
Advisor: Leon Osterweil
SAM/SAL: an experiment using an attributed grammar
 Gamalel-Din, Shehab Ahmad
PhD 1989
Advisor: Leon Osterweil
Meteor: an environment integration formalism for programming software object consistency maintenance
 Garnett, James Grosvenor
PhD 2004
Advisor: Elizabeth Bradley
Adaptive, nonlinear, resource-distribution control
 Gasparian, Anna
PhD 2010
Advisor: Roger (Buzz) King
Developing a conceptual framework and an application prototype for "sketching" an interactive reporting tool
 Ghiasi, Soraya
PhD 2004
Advisor: Dirk Grunwald
Aide de Camp: asymmetric multi-core design for dynamic thermal management
 Girgensohn, Andreas Georg
PhD 1992
Advisor: Gerhard Fischer
End-user modifiability in knowledge-based design environments
 Gray, Robert William
PhD 1989
Advisor: William Waite
Declarative specifications for automatically constructed compilers
 Green, Thomas Charles
PhD 2003
Advisor: Kenneth Anderson
A study of a practical method for software process improvement using a process change management system
 Griff, Adam Jonathan
PhD 2000
Advisor: Gary Nutt
Gryphon: A dynamically tailorable mechanism for customizing location and coaching policies in distributed object subsystem
 Gruchalla, Kenny Michael
PhD 2009
Advisor: Elizabeth Bradley
Progressive visualization-driven multivariate feature definition and analysis
 Gruteser, Marco Oliver
PhD 2004
Advisor: Dirk Grunwald
Privacy for location-based queries through automatic resolution control
 Gu, Qianyi
PhD 2009
Advisor: Tamara Sumner
Personalized information seeking to support intentional learning
 Gurka, Judith Susan
PhD 1996
Advisor: Wayne Citrin
Pedagogic aspects of algorithm animation

H

 Hagen, Andreas
PhD 2006
Advisor: Bryan Pellom
Advances in children's speech recognition with application to interactive literacy tutors
 Hair, Dwight Charles
PhD 1991
Advisor: Clayton Lewis
LEGALESE: a legal argumentation tool
 Hall, Mark Lee
PhD 1987
Advisor: William Waite
The optimization of automatically generated compilers
 Hall, Richard Scott
PhD 1999
Advisor: Alexander Wolf
Agent-based software configuration and deployment
 Hamady, Micah Laird
PhD 2009
Advisor: Rob Knight
Advisor: Henry Tufo
Exploring microbial sequence and community diversity on an unprecedented scale
 Hashemi, Mazdak
PhD 2007
Advisor: Roger (Buzz) King
The analytical mediator for multi-dimensional data
 Haussler, David Henry
PhD 1982
Advisor: Andrzej Ehrenfeucht
Insertion and iterated insertion as operations on formal languages
 Hauswirth, Matthias Martin
PhD 2005
Advisor: Amer Diwan
Understanding program performance using temporal vertical profiles
 Hendrix, Susan Lee
PhD 2008
Advisor: Michael Eisenberg
Popup Workshop: Computationally enhanced paper engineering for children
 Henkel, Johannes
PhD 2004
Advisor: Amer Diwan
Discovering and debugging algebraic specifications for Java classes
 Henninger, Scott Robert
PhD 1993
Advisor: Gerhard Fischer
Locating relevant examples for example-based software design
 Hinds, Arianne Therese
PhD 2007
Advisor: Robert (Bobby) Schnabel
Methodology for the design of linear algorithms for signal processing applications
 Hirzel, Martin Johannes
PhD 2004
Advisor: Amer Diwan
Connectivity-based garbage collection
 Hoenigman, Rhonda Olcott
PhD 2012
Advisor: Elizabeth Bradley
Optimizing implicit plant interactions to conserve water on residential landscapes
 Huang, Jyh-How
PhD 2008
Advisor: Shivakant Mishra
Occasionally connected wireless sensor networks for search and rescue and wildlife monitoring
 Hudson, Scott Everett
PhD 1986
Advisor: Roger (Buzz) King
A user interface management system which supports direct manipulation
 Humphries, Thorna Olivia
PhD 2000
Advisor: Alexander Wolf
Advisor: Benjamin Zorn
An infrastructure to generate experimental workloads for persistent object system performance evaluation
 Hübscher, Roland
PhD 1995
Advisor: Clayton Lewis
Visual programming with temporal constraints in a subsumption-like architecture

I

 Ioannidou, Andri
PhD 2002
Advisor: Alexander Repenning
Programmorphosis: sustained Wizard support for end-user programming
 Ishikawa, Masayoshi
PhD 1993
Advisor: William Waite
Construction of separately compilable and linkable simple multi- visit attribute evaluators

J

 Jeffrey, Harry Joel
PhD 1974
Advisor: H. Paul Zeiger
LR(k) parsing of strings in regular expressions
 Jiang, Lianjun
PhD 2006
Advisor: Richard Byrd
Preconditioning the limited-memory BFGS algorithm
 Jones, Michael Paul
PhD 1997
Advisor: James Martin
Spoken-language help for high-functionality applications
 Joseph, Douglas James
PhD 1997
Advisor: Dirk Grunwald
Dynamic Markov model based prefetching
 Juola, Patrick M.
PhD 1995
Advisor: James Martin
Learning to translate: a psycholinguistic approach to the induction of grammars and transfer functions

K

 Kadhim, Basim Markus
PhD 1998
Advisor: William Waite
Debugger generation in a compiler generation system
 Kadlec, Benjamin James
PhD 2009
Advisor: Henry Tufo
Interactive GPU-based visulation and structure analysis of three-dimensional implicit surfaces for seismic interpretation
 Kamel, Nabil Nessim
PhD 1985
Advisor: Roger (Buzz) King
The use of controlled redundancy in self-adaptive databases
 Karlin, Ian
PhD 2011
Advisor: Elizabeth Jessup
Runtime prediction of fused linear algebra in a compiler framework
 Keddara, Karim
PhD 1999
Advisor: Clarence (Skip) Ellis
Dynamic evolution within workflow systems
 Keene, Carol Ann
PhD 1990
Advisor: Clayton Lewis
Document retrieval using statistical word decomposition
 Khan, Huda Jaliluddin
PhD 2008
Advisor: Tamara Sumner
The central role of adaptation for curriculum enactment: Designing educational software for adaptation of curriculum using digital library resources
 Kim, Kwang-Hoon
PhD 1998
Advisor: Clarence (Skip) Ellis
Architectures for very large scale workflow management systems
 Kireyev, Kirill M.
PhD 2010
Advisor: James Martin
Applications of distributional vector space models to modeling of psycholinguistic phenomena
 Klauser, Artur
PhD 1999
Advisor: Dirk Grunwald
Reducing branch misprediction penalty through multipath execution
 Knights, Daniel Brooke
PhD 2012
Advisor: Michael Mozer
Predictive modeling of metagenomes
 Krantz, Alan Thomas
PhD 1993
Advisor: Lloyd Fosdick
An efficient algorithm for the hard-sphere problem
 Krunic, Veljko
PhD 2010
Advisor: Richard Han
Scalable software control of a million-element cyber-physical systems using graphics processing unit
 Kurgan, Lukasz Andrzej
PhD 2003
Advisor: Krzysztof Cios
Meta mining system for supervised learning

L

 Lee, Han Bok
PhD 2004
Advisor: Amer Diwan
Improving performance of mobile programs via a compilation service
 Lemke, Andreas Christian
PhD 1989
Advisor: Gerhard Fischer
Design environments for high-functionality computer systems
 Lepthien, William Van
PhD 2010
Advisor: Kenneth Anderson
Dynamic behavior management in an entity-oriented software environment
 Levi, Steven Paul
PhD 1991
Advisor: William Waite
Modeling the configuration management process
 Lin, Wang-Ting
PhD 2009
Advisor: Gary Nutt
Robust QoS scheduler in the open real-time systems
 Lindsay, Donald Charles
PhD 1998
Advisor: Dirk Grunwald
Static methods in branch prediction
 Lindstaedt, Stefanie Natascha
PhD 1998
Advisor: Gerhard Fischer
Group memories: a knowledge medium for communities of interest
 Lu, Xuehua
PhD 1996
Advisor: Richard Byrd
A study of the limited memory SR1 method in practice
 Lynn, Patrick James
PhD 1994
Advisor: Paul Smolensky
System interaction in human memory and amnesia: theoretical analysis and connectionist modeling

M

 Maltzahn, Carlos Georg
PhD 1999
Advisor: Dirk Grunwald
Improving resource utilization of enterprise-level World-Wide Web proxy servers
 Mangalath, Praful Chandra
PhD 2010
Advisor: James Martin
The construction of meaning - the role of context in corpus based approaches to language modeling
 Marbach, Jonathan
PhD 2010
Advisor: Clayton Lewis
Supporting multiple users in single-stereo-pair immersive virtual reality environments
 Markey, Kevin Lee
PhD 1994
Advisor: Michael Mozer
The sensorimotor foundations of phonology: a computational model of early childhood articulatory and phonetic development
 Marwah, Manish
PhD 2008
Advisor: Shivakant Mishra
Enhanced server fault-tolerance techniques for improved user experience
 Mastaglio, Thomas Walter
PhD 1990
Advisor: Gerhard Fischer
A user modelling approach for computer-based critiquing
 Mather, Laura Anne
PhD 1998
Advisor: James Martin
Enhancing cluster-based retrieval through linear algebra
 Mathis, Donald Walter
PhD 1998
Advisor: Michael Mozer
A computational theory of consciousness in cognition
 Maybee, Mark John
PhD 1995
Advisor: Leon Osterweil
Component-object interoperability in a heterogeneous distributed environment
 McConnell, Ross Malcolm
PhD 1994
Advisor: Andrzej Ehrenfeucht
Modular decomposition of graphs and two-structures
 McCoy, Damon Liwanu
PhD 2009
Advisor: Douglas Sicker
Advisor: Dirk Grunwald
Quantifying and improving wireless privacy
 McCreary, Carolyn L.
PhD 1987
Advisor: Andrzej Ehrenfeucht
An algorithm for parsing a graph grammar
 McIver, William James
PhD 1994
Advisor: Roger (Buzz) King
An approach to self-adaptive, on-line reclustering of complex object data
 McKenna, William Joseph
PhD 1993
Advisor: Goetz Graefe
Efficient search in extensible database query optimization: the Volcano Optimizer Generator
 McMillan, Clayton
PhD 1992
Advisor: Michael Mozer
Rule induction in a neural network through integrated symbolic and subsymbolic processing
 McWhirter, Jeffrey Donald
PhD 1995
Advisor: Gary Nutt
Characterization, specification and generation of visual language applications
 Merz, Ursula Gisela
PhD 1992
Advisor: Roger (Buzz) King
DIRECT: a query facility for multiple databases
 Mickus-Miceli, Kristina Diana
PhD 1994
Advisor: Gitta Domik
A data-centered framework for an assistant-based scientific visualization system
 Morfeq, Ali Hussein
PhD 1990
Advisor: Roger (Buzz) King
Bayan: a text database management system for Arabic engineering documents
 Morrey, Charles Bradfield III
PhD 2006
Advisor: Dirk Grunwald
CIMStore: Content-aware integrity maintaining storage
 Moseley, Tipp James
PhD 2009
Advisor: Dirk Grunwald
Performance accountability for optimizing compilers
 Mueller, Robert Andrew
PhD 1980
Advisor: William Riddle
Automated microprogram synthesis
 Murillo, Maria Silva
PhD 2002
Advisor: Xiao-Chuan Cai
Parallel algorithms and software for time-dependent systems of nonlinear partial differential equations with an application in computational biology
 Myers, Eugene Wimberly
PhD 1981
Advisor: Andrzej Ehrenfeucht
A depth-first search characterization of K-connectivity and its application to connectivity testing
 Myers, William Loring
PhD 2000
Advisor: Clayton Lewis
Effects of visual representations of dynamic hazard worlds on human navigational performance
 Mytkowicz, Todd D.
PhD 2010
Advisor: Amer Diwan
Supporting experiments in computer systems research

N

 Nakakoji, Kumiyo
PhD 1993
Advisor: Gerhard Fischer
Increasing shared understanding of a design task between designers and design environments: the role of a specification component
 Neufeld, Michael John
PhD 2004
Advisor: Dirk Grunwald
Constructing scalable wireless networks with directional antennas
 Neves, Richard Kent
PhD 1995
Advisor: Robert (Bobby) Schnabel
Threaded runtime support for the execution of fine grain code on coarse grain multiprocessors
 Nie, Shuxin
PhD 2008
Advisor: Harold (Hal) Gabow
Algorithms on long paths and cycles in graphs
 Nielsen, Rodney Dybdal
PhD 2008
Advisor: Wayne Ward
Advisor: James Martin
Learner answer assessment in Intelligent Tutoring Systems
 Nix, David Allen
PhD 1998
Advisor: Michael Mozer
Machine-learning methods for inferring vocal-tract articulation from speech acoustics
 Novak, Michael
PhD 1991
Advisor: Roger (Buzz) King
FaceKit: a database interface design toolkit

O

 Och, Christian
PhD 2000
Advisor: Roger (Buzz) King
A component-based data mediator definition language to support heterogeneous database integration and evolution
 Ogren, Philip Victor
PhD 2011
Advisor: Lawrence Hunter
Coordination resolution in biomedical texts
 Olender, Kurt Michael
PhD 1988
Advisor: Leon Osterweil
Cecil/Cesar: specification and static evaluation of sequencing constraints
 Oliker, Leonid
PhD 1998
Advisor: Oliver McBryan
PLUM: parallel load balancing for unstructured adaptive meshes
 Omojokun, Emmanuel O.
PhD 1989
Advisor: Richard Byrd
Trust region algorithms for optimization with nonlinear equality and inequality restraints
 Ostwald, Jonathan L.
PhD 1996
Advisor: Gerhard Fischer
Knowledge construction in software development: the evolving artifact approach
 Otte, Michael Wilson
PhD 2011
Advisor: Nikolaus Correll
Any-Com multi-robot path planning
 Ovtchinnikov, Serguei G.
PhD 2006
Advisor: Xiao-Chuan Cai
Parallel implicit fully coupled Newton-Krylov-Schwarz methods for numerical simulations of magnetohydrodynamics

P

 Pardo, Abelardo Sanchez
PhD 1997
Advisor: Gary Hachtel
Automatic abstraction techniques for formal verification of digital systems
 Perry, Richard Michael
PhD 1984
Advisor: Andrzej Ehrenfeucht
Toward self-optimization of machine intelligence
 Phillips, Caleb Timothy
PhD 2012
Advisor: Douglas Sicker
Geostatistical techniques for practical wireless network coverage mapping
 Pozo, Roldan
PhD 1991
Advisor: Oliver McBryan
Performance modeling of parallel architectures for scientific computing
 Pradhan, Sameer Suresh
PhD 2006
Advisor: Wayne Ward
Robust semantic role labeling
 Procopio, Michael Jeffrey
PhD 2007
Advisor: Gregory Grudic
Advisor: Jane Mulligan
An experimental analysis of classifier ensembles for learning drifting concepts over time in autonomous outdoor robot navigation
 Prudencio, Ernesto Esteves
PhD 2005
Advisor: Xiao-Chuan Cai
Parallel fully coupled Lagrange-Newton-Krylov-Schwarz algorithms and software for optimization problems constrained by partial differential equations

R

 Rader, Cyndi Ann
PhD 2000
Advisor: Clayton Lewis
Using students' expressive models to facilitate conceptual development
 Redmiles, David Francis
PhD 1992
Advisor: Gerhard Fischer
From programming tasks to solutions: bridging the gap through the explanation of examples
 Reese, William David
PhD 2001
Advisor: Alexander Wolf
An investigation of techniques for integrating Web-accessible data
 Reeves, Brent Neal
PhD 1993
Advisor: Gerhard Fischer
Supporting collaborative design by embedding communication and history in design artifacts
 Reichenbach, Christoph
PhD 2010
Advisor: Amer Diwan
Program metamorphosis
 Reid, Samuel Robert
PhD 2010
Advisor: Michael Mozer
Model combination in multiclass classification
 Rembert, Aubrey Javar
PhD 2008
Advisor: Clarence (Skip) Ellis
Automatic discovery of workflow models
 Repenning, Alexander
PhD 1993
Advisor: Clayton Lewis
Agentsheets: a tool for building domain-oriented dynamic, visual environments
 Rew, Russell Keith
PhD 1987
Advisor: Leon Osterweil
The representation of highly parameterized families of software components
 Richards, Elizabeth Lake
PhD 1991
Advisor: Gary Bradshaw
Generalization in neural networks: experiments in speech recognition
 Rieman, John Franklin
PhD 1994
Advisor: Clayton Lewis
Learning strategies and exploratory behavior of interactive computer users
 Rosing, Matthew
PhD 1991
Advisor: Robert (Bobby) Schnabel
Efficient language constructs for complex data parallelism on distributed memory multiprocessors
 Ross, Natalie Dawn
PhD 2008
Advisor: Elizabeth Bradley
The dynamics of point-vortex data assimilation
 Rutherford, Matthew John
PhD 2006
Advisor: Antonio Carzaniga
Advisor: Alexander Wolf
Adequate system-level testing of distributed systems
 Ryan, Nathan Derrek
PhD 2004
Advisor: Alexander Wolf
Using event-based translation to support dynamic protocol evolution

S

 Salvetti, Franco
PhD 2012
Advisor: James Martin
Detecting deception in text: a corpus-driven approach
 Sänger, Dennis R.
PhD 1990
Advisor: Paul Smolensky
Contribution analysis: a technique for assigning responsibilities to hidden units in connectionist networks
 Scharff, Eric David
PhD 2002
Advisor: Gerhard Fischer
Open source: a conceptual framework for collaborative artifact and knowledge construction
 Schauble, Carolyn Jean Canney
PhD 1994
Advisor: Lloyd Fosdick
Simulation of complex processors at the processor-cycle level
 Schelle, Graham Forrest
PhD 2007
Advisor: Dirk Grunwald
Runtime allocation and scheduling policies across network on chip architectures
 Schone, Patrick John
PhD 2001
Advisor: James Martin
Advisor: Daniel Jurafsky
Toward knowledge-free induction of machine-readable dictionaries
 Schreüder, Willem Adriaan
PhD 2006
Advisor: Xiao-Chuan Cai
Advisor: Oliver McBryan
Parallel numerical solution of groundwater flow problems
 Schulz, Waldean Allen
PhD 1976
Advisor: William Waite
Semantic analysis and target language synthesis in a translator
 Seidl, Matthew Louis
PhD 2000
Advisor: Benjamin Zorn
Increasing the reference locality of dynamically allocated objects
 Shao, Chung-Shang
PhD 1999
Advisor: Robert (Bobby) Schnabel
Task migration for parallel scientific computations in the heterogeneous network of workstations environment
 Sherba, Susanne A.
PhD 2005
Advisor: Kenneth Anderson
Towards automating traceability: an incremental and scalable approach
 Sheth, Anmol Nalin
PhD 2007
Advisor: Richard Han
Improving the performance of wireless systems through distributed fault diagnosis
 Shi, Shanming
PhD 1998
Advisor: Satinder Singh
Modeling temporal structure of time series with Hidden Markov Experts
 Shipman, Frank Major
PhD 1993
Advisor: Gerhard Fischer
Supporting knowledge-base evolution with incremental formalization
 Shrairman, Ruth
PhD 1995
Advisor: Harold (Hal) Gabow
R2-heaps with suspended relaxation for manipulating priority queues and: a new algorithm for reweighting graphs
 Shucker, Brian Daniel
PhD 2006
Advisor: John Bennett
Control of distributed robotic macrosensors
 Siewert, Samuel Burk
PhD 2000
Advisor: Gary Nutt
A real-time execution performance agent interface for confidence-based scheduling
 Skulrattanakulchai, San
PhD 2002
Advisor: Harold (Hal) Gabow
Efficient algorithms for graph coloring: vertex, edge, list, total, and acyclic coloring
 Sloane, Anthony Miles
PhD 1993
Advisor: William Waite
Execution monitoring for reusable software components
 Smith, Sharon L.
PhD 1991
Advisor: Robert (Bobby) Schnabel
Adaptive asynchronous parallel algorithms in distributed computation
 Srinivasan, Harini
PhD 1994
Advisor: Dirk Grunwald
Optimizing explicitly parallel programs
 Stafford, Judith Alyce
PhD 2000
Advisor: Alexander Wolf
A formal, language-independent, and compositional approach to interprocedural control dependence analysis
 Stahl, Gerry
PhD 1993
Advisor: Gerhard Fischer
Interpretation in design: the problem of tacit and explicit understanding in computer support of cooperative design
 Stallmann, Matthias Friedemann Martin
PhD 1982
Advisor: Harold (Hal) Gabow
An augmenting paths algorithm for the matroid party problem on binary matroids
 Steinke, Robert Christian
PhD 2001
Advisor: Gary Nutt
Consistency model transitions in shared memory
 Stevens, Curtis Frank
PhD 1993
Advisor: Gerhard Fischer
Knowledge-based assistance for accessing large, poorly structured information spaces
 Stolle, Reinhard
PhD 1998
Advisor: Elizabeth Bradley
Integrated multimodal reasoning for modeling of physical systems
 Strohmann, Thomas Richard
PhD 2006
Advisor: Gregory Grudic
Very sparse kernel models: Predicting with few examples and few features
 Sullivan, James Francis
PhD 1995
Advisor: Gerhard Fischer
A proactive computational approach for learning while working
 Sumner, Tamara Ruth
PhD 1995
Advisor: Gerhard Fischer
Designers and their tools: computer support for domain construction
 Sutton, Stanley M.
PhD 1990
Advisor: Leon Osterweil
APPL/A: a prototype language for software-process programming
 Swiercz, Waldemar Bogdan
PhD 2005
Advisor: Krzysztof Cios
Modeling spontaneous bursts in hippocampus

T

 Tanaraksiritavorn, Soontaree
PhD 2009
Advisor: Shivakant Mishra
Privacy preserving and reliable Byzantine fault-tolerance in group communication system
 Taylor, Richard Newton
PhD 1980
Advisor: Leon Osterweil
Static analysis of the synchronization structure of concurrent programs
 Tesar, Bruce Benson
PhD 1995
Advisor: Paul Smolensky
Computational optimality theory
 Trowbridge, Stephen John
PhD 1979
Advisor: H. Paul Zeiger
Parser generation from two level grammars
 Turner, Carlton Reid
PhD 1999
Advisor: Alexander Wolf
Feature engineering of software systems

V

 Vajracharya, Suvas
PhD 1997
Advisor: Dirk Grunwald
Runtime loop optimizations for locality and parallelism
 Van Der Hoek, Adriaan Willem
PhD 2000
Advisor: Alexander Wolf
A reusable, distributed repository for configuration management policy programming
 Vander Linden, Keith Neil
PhD 1993
Advisor: James Martin
Speaking of actions: choosing rhetorical status and grammatical form in instructional text
 Vellandi, Beverly Lynn
PhD 1990
Advisor: Michael Lightner
Parallelism extraction and program restructuring for parallel simulation of digital systems
 Vellandi, Henry Peter
PhD 1990
Advisor: Andrzej Ehrenfeucht
Asymmetric numerically stratified cluster methods
 Von Dincklage, Daniel
PhD 2007
Advisor: Amer Diwan
Algorithmic optimizations

W

 Wang, Ning
PhD 2000
Advisor: Oliver McBryan
Nearest neighbor search in high dimensional euclidean space
 Wang, Yanyan
PhD 2006
Advisor: Antonio Carzaniga
Advisor: Alexander Wolf
Automating experimentation with distributed systems using generative techniques
 Warmuth, Manfred Klaus
PhD 1981
Advisor: Harold (Hal) Gabow
Scheduling on profiles of constant breadth
 Weaver, Robert Paul
PhD 1992
Advisor: Robert (Bobby) Schnabel
Supporting dynamic data structures at the language level on distributed memory machines
 Wehrend, Stephen Charles
PhD 2002
Advisor: Clayton Lewis
Design process for application-specific languages: a language for water resources policy specification
 Weingart, Troy Benjamin
PhD 2006
Advisor: Douglas Sicker
A method for dynamic reconfiguration of a cognitive radio system
 Westermann, Herbert Hans
PhD 1988
Advisor: Harold (Hal) Gabow
Efficient algorithms for matroid sums
 Wetzler, Philipp Georg
PhD 2010
Advisor: James Martin
Computational models of quality for educational digital resource assessment
 Wharton, Cathleen Susan
PhD 1994
Advisor: Clayton Lewis
A comparative study of soar and the construction-integration model
 White, Elizabeth Kendrick
PhD 2010
Advisor: Lawrence Hunter
Advisor: Elizabeth Bradley
Pattern-based extraction of argumentation from the scientific literature
 Wilde, Nicholas Paul
PhD 1994
Advisor: Clayton Lewis
Datasheets: designing an end-user programming environment to support a specific domain
 Wilson, John Patrick
PhD 2001
Advisor: Oliver McBryan
Compression of turbulence data using wavelet-based lossy coding
 Woitaszek, Matthew Stephen
PhD 2007
Advisor: Henry Tufo
Tornado codes for archival storage
 Wolfe, Donald Eugene
PhD 1992
Advisor: Clayton Lewis
A connectionist model of letter and word recognition
 Wolniewicz, Richard Hansen
PhD 1994
Advisor: Goetz Graefe
Algebraic optimization of computations over scientific databases
 Wrensch, Thomas E.
PhD 2002
Advisor: Michael Eisenberg
Programming computationally enhanced craft items

X

 Xie, Yuanfu
PhD 1991
Advisor: Richard Byrd
Reduced Hessian algorithms for solving large-scale equality constrained optimization problems
 Xu, Ying
PhD 1991
Advisor: Harold (Hal) Gabow
Efficient sequential and parallel matroid intersection algorithms

Y

 Ye, Yunwen
PhD 2001
Advisor: Gerhard Fischer
Supporting component-based software development with active component repository systems
 Yee, Gary Vincent
PhD 2010
Advisor: Douglas Sicker
Advisor: Dirk Grunwald
Ordering and combinatorial effects of wireless optimizations in beam forming 802.11 WLANs

Z

 Zhang, Xiaodong
PhD 1989
Advisor: Robert (Bobby) Schnabel
Parallel computation for the solution of block bordered nonlinear equations and their applications
 Zhao, Kequn
PhD 1992
Advisor: Roger (Buzz) King
Panorama: dynamic view construction in large multidatabase systems
 Zweifel, Evan Rudolph
PhD 1993
Advisor: Michael Main
Some properties of Abelian square-free homomorphisms
 
See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Questions/Comments?
Send email to

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