PhD Alumni

Last First Year Dissertation Advisorsort descending
Akyurek Sedat 1994 Adaptive disk management Salem
Fischer Jeffrey 1996 Compositional verification by model checking for counter-examples Richard Gerber
Haar Robert 1980 Representation and Manipulation of Spatial Relations Azriel Rosenfeld
Ko Keng-Tai 1991 On congestion control in high-speed wide-area networks Satish Kumar Tripathi
Lemkin Peter 1978 Bone marrow smear image analysis Azriel Rosenfeld
Mintz Doron 1991 Robustness by consensus Azriel Rosenfeld
Mukherjee Sarit 1993 A Multiclass Preemptive Protocol for High Speed Local and Metropolitan Area Networks Satish Kumar Tripathi
Peng Feng 2006 High Performance Xpath Evaluation in XML Streams Sudarshan S. Chawathe
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
Zhai Ke 2014 Probabilistic Bayesian Models - Scalable Inference and Application Jordan Boyd-Graber
Cochrane Roberta 1992 Issues in Integrating Active Rules Into Database Systems Leo Mark
Dickinson Sven 1991 The recovery and recognition of three-dimensional objects using part-based aspect matching Azriel Rosenfeld
Hung Yubin 1988 Processing geometric representations on SIMD computers Azriel Rosenfeld
Kobla Vikrant 2000 Automated Analysis of MPEG Compressed Video Azriel Rosenfeld
Kushner Todd 1982 A theoretical model of interprocessor communication for parallel image processing Azriel Rosenfeld
Zadeh Shayan 2002
Iribe Brendan
Cook Craig 1974 Grammatical inference by heuristic search. Azriel Rosenfeld
Gharai Ladan 1998 Multi-Platform Performance Models for Digital Video Systems Richard Gerber
Halaschek-Wiener Christian 2007 Expressive Syndication on the Web Using a Description Logic Approach Hendler
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
Kim Daehwan 2013 RNA-Sequencing Analysis: Read Alignment and Discovery Reconstruction of Fusion Transcripts Steven Salzberg
Hu Chang 2012 Crowdsourced Monoligual Translation
Antonov Michael 2003
Doermann David 1993 Document image understanding :)ntegrating recovery and interpretation Azriel Rosenfeld
Jou Emery 1989 Minimal energy splines Gary Don Knott
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
Hill Christopher 2015 Novel Methods for Comparing and Evaluating Single and Metagenomic Assemblies
Reisse Andrew 2001
Buntain Cody 2016 Discovering Credible Events in Near Real Time from Social Media Streams
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
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
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
Tunpan Apinun 2002 A long-term rate scheduling framework for bulk data multicast dissemination in hybrid heterogeneous satellite-terrestrial networks M. Scott Corson
Aboutabl Mohamed 1999 Temporally-determinate disk access for real-time applications
Andrade Henrique 2003 Multiple Query Optimization Support for Data Analysis Applications Joel Saltz