PhD Alumni

Last First Year Dissertation Advisor
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
Stanfill Craig 1983 Form and function :4he representation of machines Reiger
Tsuneto-Rager Reiko 1999 Efficient Refinement Strategies for HTN Planning Hendler
Akyurek Sedat 1994 Adaptive disk management Salem
Chen Nicholas 2012 The Use of Multiple Slate Devices to Support Active Reading Activities
Fischer Jeffrey 1996 Compositional verification by model checking for counter-examples Richard Gerber
Haar Robert 1980 Representation and Manipulation of Spatial Relations 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
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
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
Murphy Jack 1986 Matrix computations by Monte Carlo optimization Edmundson
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
Tunpan Apinun 2002 A long-term rate scheduling framework for bulk data multicast dissemination in hybrid heterogeneous satellite-terrestrial networks M. Scott Corson
Khoo Yit Phang 2013 User-Centered Program Analysis Tools
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
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
Petroni Nick 2007 Property-Based Integrity Monitoring of Operating System Kernels
Yi Byoung-Kee 2000 Similarity search and data mining in time sequence databases Christos Faloutsos
Liu Chang 2016 Trace Oblivious Program Execution
Singh Jagdeep 1987
Doermann David 1993 Document image understanding :)ntegrating recovery and interpretation Azriel Rosenfeld
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
Martinez Maria Vanina 2011 Contributions to Personalizable Knowledge Integration
Phillippy Adam 2010 Whole-Genome Sequence Analysis for Pathogen Detection and Diagnostics Steven Salzberg
Reggia James 1981 Knowledge-Based Decision Support Systems: Development through KMS Rieger
Shin Ji Sun 2009 Enhancing Privacy in Cryptographic Protocols Virgil Gligor
Wang Kuang-yeh 1999 Improving Performance of Wireless Networks in the Internet Satish Kumar Tripathi
Wood Richard 1982 Computer aided program synthesis Rieger
Kumar Srijan 2017 Characterization and Detection of Malicious Behavior on the Web V.S. Subrahmanian
Lakshman T.V. 1986 Message-Complexity vs. Delay Tradeoffs in Decentralized Consensus Protocols Ashok Agrawala
Eom Hyeonsang 2003 Improving link-state routing Ashok Agrawala
Son Sang 1986 On Reliability Mechanisms in Distributed Database Systems Ashok Agrawala