PhD Alumni

Displaying 151 - 200 of 794
Last First Year Dissertation Advisor
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
Yi Byoung-Kee 2000 Similarity search and data mining in time sequence databases Christos Faloutsos
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
Chang Chialin 2001 Parallel aggregation on multi-dimensional scientific datasets Joel Saltz
Grinberg Milton 1980 A knowledge-based design environment for digital electronics Rieger
Hwang Shang-Sho 1984 Evidence accumulation for spatial reasoning in aerial image understanding Azriel Rosenfeld
Kambhampati Subbarao 1989 Flexible reuse and modification in hierarchical planning James Hendler
Liao Chunyuan 2008 "PapierCraft": A New Paper-Based Interface to Support Interaction with Digital Documents  François Guimbretière
Montemayor Jaime 2003 Physical Programming Hendler
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
Woo Nam 1983 A Pragmatic Parallel Computation Model and its Computer Architecture Ashok Agrawala
Choi Seonho 1997 Dynamic time-based scheduling for hard real-time systems Ashok Agrawala
Agre Jon 1981 Approximate Solutions to Queuing Networks with State Dependent Parameters Ashok Agrawala
Kim Chee 1986 Virtual Waiting Time Analysis of an Erlangian Single Server Queuing System and Its Applications Ashok Agrawala
Moon Soo-Mook 1993 Compile-time Parallelization of Non-numerical Code VLIW and Superscalar Ashok Agrawala
Son Sang 1986 On Reliability Mechanisms in Distributed Database Systems Ashok Agrawala
Subramani K. 2000 Duality in the Parametric Polytype and its Application to a scheduling Problem Ashok Agrawala
Agre John 1981 Approximate Solutions to Queuing Networks with State Dependent Parameters Ashok Agrawala
Gordon Karen 1981 On the Construction of Representative Test Workloads Ashok Agrawala
Ricart Glenn 1980 Efficient Synchronization Algorithms for Distributed Systems Ashok Agrawala
Yousief Abdel Rehim Moustafa 2004 Horus: A WLAN - Based Indoor Location Determination System  Ashok Agrawala
Banerjee Suman 2003 A Cooperative Framework to Scale Multi-party Applications Bobby Bhattacharjee, Ashok Agrawala
Youssef Adel 2006 SALAM: A Scalable Anchor-Free Localization Algorithms for Wireless Sensor Networks  Ashok Agrawala
Sanghi Dheeraj 1993 Flow Control in Computer Networks Ashok Agrawala
Yuan Shyan-Ming 1989 An Efficient Communication Structure for Decentralized Algorithms with Fault Tolerance Ashok Agrawala
Williams Gleneesha 2014 Shrink-Wrapped Security: Tightly Coupling Situation and Security  Ashok Agrawala
Yuan Xiaoping 1991 A Decomposition Approach to Real-Time Scheduling on a Single Resource Ashok Agrawala
Lee Sung 1998 A Study of Cyclone Technology Ashok Agrawala