PhD Alumni

Displaying 101 - 150 of 806
Last First Graduation Year Dissertation Advisor
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
Saur Karla 2015 Dynamic Upgrades for High Availability Systems  Jeffery Foster
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
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
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
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
Antoy Sergio 1987 Automatically provable specifications John D. Gannon
Bhagwat Pravin 1995 A framework for integrating mobile hosts within the Internet Satish Kumar Tripathi
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
Korn Philip 1998 Indexing and Mining Medical Image and Multimedia Databases Christos Faloutsos
Lowe George 1979 Heuristic approaches to the decomposition of sparse matrices Werner C. Rheinboldt
McFadden Frank 1993 Competitive learning and competitive activation in cortical map formation
Setia Sanjeev 1993 Scheduling on multiprogrammed, distributed memory parallel computers Satish Kumar Tripathi
Wu Xue 2008 Improving the Performance and Precision of Bioinformatics Algorithms  Chau-Wen Tseng
Apostolopoulos George 1999 Cost and performance trade-offs of quality of service routing Satish Kumar Tripathi
Bane John 1985 Causal monitor generation for complex systems Rieger
Chechik Maria 1996 Automatic analysis of consistency between requirements and designs John D. Gannon
Davis Larry 1976 Shape representation and matching Azriel Rosenfeld
Fails Jerry 2009 Mobile Collaboration for Young Children  Allison Druin
Friedland Noah 1993 Utilizing energy function and description length minimization for integrated delineation, representation, and classification of objects Azriel Rosenfeld
Korpeoglu Ibrahim 2000 Mobile and wireless networking for palmtop and laptop computers Satish Kumar Tripathi