PhD Alumni

Last First Year Dissertation Advisor
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
Simari Gerardo 2010 Stochastic Reasoning with Action Probabilistic Logic Programs
Spector Lee 1992 Supervenience in Dynamic World Planning Hendler
Trapnell Bruce 2010 Transcript Assembly and Abundance Estimation with High-Throughput RNA Sequencing Steven Salzberg
Iribe Brendan
Banerjee Saibal 1991 Algorithmic Aspects of MAP Estimation Azriel Rosenfeld
Delatorre Pilar 1987 Analysis of tries Gary Knott
Duric Zoran 1995 Geometric methods in visual motion analysis Azriel Rosenfeld
Huang Yennun 1989 Resource allocation with fault tolerance Satish Kumar Tripathi
Lin Kwei-Jay 1985 Atomic remote procedure cal John D. Gannon
Pawagi Shaunak 1986 Incremental graph algorithms for parallel random access machines Ramakrishnan
Romanik Kathleen 1992 Approximate testing theory Carl Herbert Smith
Schatz Michael 2010 High Performance Computing for DNA Sequence Alignment and Assembly Steven Salzberg
Sher Chiao-Yung 1992 Parallel and hierarchical segmentation of salient image primitives Azriel Rosenfeld
Sze Tsz Wo 2007 On Solving Univariate Polynomial Equations over Finite Fields and Some Related Problems
Trigg Randall 1983 A network-based approach to text handling for the online scientific community Rieger
Velauthapillai Mahendran 1986 On the inductive inference of programs with anomalies Carl Herbert Smith
Wilson Anne 1993 Encapsulating Neural Networks James Hendler
Yaman Fusun 2006 Declarative Reasoning about Moving Objects
Zadeh Shayan 2002
Antonov Michael 2003
Bhowmik Anasua 2003 A general compiler framework for speculative multithreaded processors Michael J. Franklin
Chen Bo-Shoe 1982 Event-based specification and verification of distributed systems Raymond T. Yeh
Chu Jiang-Hsing 1989 An analysis of caching with an application to binary storage trees Gary Don Knott
Dyer Charles 1979 Augmented cellular automata for image analysis Azriel Rosenfeld
Herman Martin 1979 Understanding body postures of human stick figures Azriel Rosenfeld
Kirby Robert 1983 Iterative Parallel Labeling for Pattern Recognition Azriel Rosenfeld
Milgram David 1973 Web automata Azriel Rosenfeld
Sirin Evren 2006 Combining Description Logic Reasoning with AI Planning for Composition of Web Services Hendler
Wilson Gerald 1976 A Description and Analysis of the PAR Technique - An Approach to Parallel Inference and Parallel Search in Problem Solving Systems Hendler
Yang Changjiang 2005 Efficient Evaluation of Gaussian Sums with Applications in Vision and Learning
Chelaru Florin 2015 Epiviz: Integrated Visual Analysis Software for Genomics
Reisse Andrew 2001
Sawant Anshul 2016 Computational Analysis of Intelligent Agents: Social and Strategic Settings
Ahuja Narendra 1979 Connectedness Properties of Bombing Patterns Azriel Rosenfeld
Arnold Robert 1983 On the Generation and Use of Quantitative Criteria for Assessing Software Maintenance Qualit Raymond T. Yeh
Chen Chia-Mei 1995 Scheduling issues in real-time systems Satish Kumar Tripathi
Ferreira Renato 2001 Compiler Techniques for Data Parallel Applications using Very large Multi-Dimensional Datasets Joel Saltz
Gomaa Walid 2007 Model Theory and Complexity Theory
Jonsson Bjorn 1999 Application-oriented buffering and caching techniques Michael J. Franklin