PhD Alumni
Search Alumni
Displaying 151 - 200 of 948
Last | First | Graduation Year | Dissertation | Advisor(s) |
---|---|---|---|---|
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 |
Abrams | Marc | 1986 | Performance Analysis of Unconditionally Synchronizing Distributed Computer Programs using the Geometric Concurrency Model | |
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 |
Yi | Byoung-Kee | 2000 | Similarity search and data mining in time sequence databases | Christos Faloutsos |
He | Hua | 2018 | Architecture, Models, and Algorithms for Textual Similarity | Jimmy Lin |
Srinivasan | Shravan | 2023 | Data Structures and Protocols for Scalability and Security of Distributed Consensus | |
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 |
Byun | Do-Jun | 2007 | Congestion Control in Satellite Networks | John S. Baras |
Evett | Matthew | 1994 | PARKA: A System for Massively Parallel Knowledge Representation | Hendler |
Frederickson | Greg | 1977 | Approximation algorithms for NP-hard routing problems | Matthew Hecht |
Hartley | Ralph | 1984 | Multi-scale models in image analysis | Azriel Rosenfeld |
Hwang | Yuan-Shin | 1998 | Compiling Data-Parallel Programs with Dynamic Pointer-Linked Data Structures on Distributed Memory Systems | Joel Saltz |
Kamel | Ibrahim | 1994 | High performance spatial indexing for parallel I/O and centralized architectures | Christos Faloutsos |
Moon | Bongki | 1996 | Data placement for high performance spatio-temporal databases | Joel Saltz |
Parikh | Josephine | 1977 | Automatic cloud classification and segmentation | Azriel Rosenfeld |
Saha | Debanjan | 1995 | Supporting distributed multimedia applications on ATM networks | Satish Kumar Tripathi |
Udrea | Octavian | 2008 | Scalable Ontology Systems | V.S. Subrahmanian |
Wu | Angela | 1978 | Cellular Graph Automata | Azriel Rosenfeld |
Sawant | Anshul | 2016 | Computational Analysis of Intelligent Agents: Social and Strategic Settings | V.S. Subrahmanian |
Schwarcz | Steven Alexander | 2021 | Deep Video Analytics of Humans: From Action Recognition to Forgery Detection | Rama Chellappa |
Singh | Chahat Deep | 2023 | ||
Antoy | Sergio | 1987 | Automatically provable specifications | John D. Gannon |
Bhagwat | Pravin | 1995 | A framework for integrating mobile hosts within the Internet | Satish Kumar Tripathi |
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 | Jon | 1981 | Approximate Solutions to Queuing Networks with State Dependent Parameters | Ashok Agrawala |
Ricart | Glenn | 1980 | Efficient Synchronization Algorithms for Distributed Systems | 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 |
Bhargava | Preeti | 2016 | Towards Proactive Context-Aware Computing and 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 |