PhD Alumni

Last First Year Dissertation Advisorsort descending
Saksena Manas 1994 Parametric Scheduling for Hard Real-Time Systems Gerber Agrawala
Shakarian Paulo 2011 Spatio-Temporal Reasoning About Agent Behavior
Urhan Tolga 2002 Reactive Query Processing for Coping with Delays on Wide-Area Environments Michael J. Franklin
Antoy Sergio 1987 Automatically provable specifications John D. Gannon
Bhagwat Pravin 1995 A framework for integrating mobile hosts within the Internet Satish Kumar Tripathi
Byun Do-Jun 2007 Congestion Control in Satellite Networks John S. Baras
Evett Matthew 1994 PARKA: A System for Massively Parallel Knowledge Representation Hendler
Frederickson Greg 1977 Approximation algorithms for NP-hard routing problems Matthew Hecht
Hartley Ralph 1984 Multi-scale models in image analysis Azriel Rosenfeld
Korn Philip 1998 Indexing and Mining Medical Image and Multimedia Databases Christos Faloutsos
Lowe George 1979 Heuristic approaches to the decomposition of sparse matrices Werner C. Rheinboldt
Navlaka Saket 2010 Algorithms to Explore the Structure and Evolution of Biological Networks Carl Kingsford
Shapiro Bruce 1978 Shape description using boundary sequences Azriel Rosenfeld
Uysal Mustafa 1999 Disk Placement in Multicomputer I/O Subsystems Joel Saltz
Capriolo Paul 2006
Saur Karla 2015 Dynamic Upgrades for High Availability Systems
Apostolopoulos George 1999 Cost and performance trade-offs of quality of service routing Satish Kumar Tripathi
Bane John 1985 Causal monitor generation for complex systems Rieger
Chechik Maria 1996 Automatic analysis of consistency between requirements and designs John D. Gannon
Davis Larry 1976 Shape representation and matching Azriel Rosenfeld
Fails Jerry 2009 Mobile Collaboration for Young Children
Friedland Noah 1993 Utilizing energy function and description length minimization for integrated delineation, representation, and classification of objects Azriel Rosenfeld
Hayden Christopher 2012 Clear, Correct, and Efficient Dynamic Software Updates
Korpeoglu Ibrahim 2000 Mobile and wireless networking for palmtop and laptop computers Satish Kumar Tripathi
Lin Chih-Chen 1990 Coupling production systems and database systems :! homogeneous approach Timos Sellis
Luke Sean 2000 Issues in Scaling Genetic Programming: Breeding Strategies, Tree Generation, and Code Bloat Hendler
Morell Larry 1983 A theory of error-based testing Richard G. Hamlet
Parker Austin 2008 Spatial Probabilistic Temporal Databases
Silberberg David 2002 Uniform and High-level intelligent Access to Heterogeneous Information Sources Hendler
Vanderbrug Gordon 1977 Linear feature detection and mapping Azriel Rosenfeld
Jenkins Patrick 2006
Agrawal Gagan 1996 Interprocedural code placement techniques and their applications Joel Saltz
Chou Tsai-Chia 1990 Correspondenceless techniques for computer vision Azriel Rosenfeld
Davis Cynthia 1998 Supporting Intermittent Connectivity in Mobile Networks Satish Kumar Tripathi
Hayes Kenneth 1979 Reading handwritten Words Azriel Rosenfeld
Morgenthaler David 1981 Three-dimensional digital image processing Azriel Rosenfeld
Pratikakis Polyvios 2008 Sound, Precise and Efficient Static Race Detection for Multi-Threaded Programs
Yuan Yuan 2007 Enabling Dynamic Spectrum Location in Cognitive Radio Networks
Sankar Pooja 2004
Canning John 1991 Recognizing deformable objects-- :! set snake methodology Azriel Rosenfeld
Chou Cheng-Fu 2002 Scalable Designs for Continuous Media Servers and Wide-area Upload Applications Leana Golubchik
Dunsmore Hubert 1978 The influence of programming factors on programming complexity John D. Gannon
Fayzullin Marat 2004 Algebraic Multimedia: Theory and Implementation
Golbeck Jennifer 2005 Computing and Applying Trust in Web-Based Social Networks Hendler
Heflin Jeffrey 2001 Towards the Semantic Web: Knowledge Representation in a Dynamic, Distributed Environment Hendler
Lee Chia-Hoang 1983 The use of shading in image segmentation and surface orientation estimation Azriel Rosenfeld
Lin King-Ip 1996 Indexing Non-traditional and Multimedia Data Types Christos Faloutsos
Ma Kin Keung 2011 Improving Program Testing and Understanding via Symbolic Execution
Patro Robert 2012 Computationally Comparing Biological Networks and Reconstructing Their Evolution Carl Kingsford
Sayeed Asad 2011 A Distributional and Syntactic Approach to Fine-Grained Opinion Mining Amy Weinberg