PhD Alumni

Displaying 51 - 100 of 793
Last First Year Dissertation Advisor
Saur Karla 2015 Dynamic Upgrades for High Availability Systems 
Doermann David 1993 Document image understanding :)ntegrating recovery and interpretation Azriel Rosenfeld
Jou Emery 1989 Minimal energy splines Gary Don Knott
Murphy Jack 1986 Matrix computations by Monte Carlo optimization Edmundson
Stanfill Craig 1983 Form and function :4he representation of machines Reiger
Tsuneto-Rager Reiko 1999 Efficient Refinement Strategies for HTN Planning Hendler
Yang Jae-Heon 1994 Scalable synchronization in shared memory multiprocessing systems James H. Anderson
He Hua 2018 Jimmy Lin
Abdel-Mottaleb Mohamed 1993 MAP Techniques for Motion, Stereo and Segmentation Azriel Rosenfeld
Bennet Thomas 1990 Using control states for parallelism extraction John D. Gannon
Broecheler Matthias 2011 Social Network Data Management  V.S. Subrahmanian
Chipman Leslie 2007 Collaborative Technology for Young Children's Outdoor Education  Allison Druin
Ford Gary 1977 An investigation of embeddings of cellular spaces for cellular automata Edmundson
Hong Seongsoo 1994 Compiler-assisted scheduling for real-time applications :! static alternative to low-level tuning Richard Gerber
Kelley David 2011 Computational Methods to Improve Genome Assembly and Gene Prediction  Steven Salzberg
Kohout Robert 1998 Guaranteeing safety in the presence of moving obstacles Hendler
Margalit Avraham 1989 Efficient image matching Azriel Rosenfeld
Ostertag Eduardo 1992 A Classification system for software reuse Hendler
Rutkowski Wallace 1981 Shape segmentation and labeling Azriel Rosenfeld
Shim Kyuseok 1993 Advanced query optimization techniques for relational database systems Timos Sellis
Tung Immanuel 1977 A language-acceptor type of probabilistic cellular automation Edmundson
Waltzman Rand 1989 Geometric problem solving by machine visualization Azriel Rosenfeld
Khoo Yit Phang 2013 User-Centered Program Analysis Tools 
Sawant Anshul 2016 Computational Analysis of Intelligent Agents: Social and Strategic Settings  V.S. Subrahmanian
Aboutabl Mohamed 1999 Temporally-determinate disk access for real-time applications
Andrade Henrique 2003 Multiple Query Optimization Support for Data Analysis Applications Joel Saltz
Benson Gary 1992 Two-dimensional periodicity and matching algorithms Amihood Amir
Cucka Peter 1996 Pattern classification methods in navigation and object recognition Azriel Rosenfeld
Doszkocs Tamas 1979 AID :!n associative interactive dictionary for online bibliographic searching
Forman Ira 1979 On the decomposition of programs into primes Mills
Ginat David 1989 Adaptive ordering of contending processes in distributed systems Shankar Agrawala
Kettler Brian 1995 Case-based Planning with a High-Performance Parallel Memory Hendler
Langmead Benjamin 2012 Algorithms and High Performance Computing Approaches for Sequencing-Based Comparative Genomics  Steven Salzberg
London Philip 1978 Dependency Networks as a Representation for Modeling in General Problem Solvers Rieger
Martinez Maria Vanina 2011 Contributions to Personalizable Knowledge Integration  V.S. Subrahmanian
Ray Manjit 2000 Model-based Object Recognition Using Three-dimesional Invariants Azriel Rosenfeld
Shin Christian 2000 The Roles of Document Structure in Document Image Retrieval and Classification Azriel Rosenfeld
Sliva Amy 2011 Scalable Techniques for Behavioral Analysis and Forecasting  V.S. Subrahmanian
Tunpan Apinun 2002 A long-term rate scheduling framework for bulk data multicast dissemination in hybrid heterogeneous satellite-terrestrial networks M. Scott Corson
Abrams Marc 1986 Performance Analysis of Unconditionally Synchronizing Distributed Computer Programs using the Geometric Concurrency Model
Cui Qian 1989 Data-oriented exception handling John D. Gannon
Gishen Jeffrey 1978 A method for the formal derivation of programs and its applicability to automatic program synthesis R.E. Noonan
Horvitz David Omer 2007 Expressiveness of Definitions and Efficiency of Constructions in Computational Cryptography  Virgil Gligor
Kolovski Vladimir 2008 Analyzing Web Access Control Policies using Description Logics  Hendler
Liang De-Ron 1992 Synchronization issues in modeling parallel computation Satish Kumar Tripathi
Nagel Roger 1976 Computer detection of freehand forgeries Azriel Rosenfeld
Phillippy Adam 2010 Whole-Genome Sequence Analysis for Pathogen Detection and Diagnostics  Steven Salzberg
Angiuoli Samuel 2011 Methods for High-Throughput Comparative Genomics and Distributed Sequence Analysis  Steven Salzberg
Beynon Michael 2001 Supporting Resource-Intensive Applications with Remote Data Sources in a Grid Environment Joel Saltz
Bultan Tevfik 1998 Automated Static Analysis with Composite Symbolic Models Richard Gerber