Alumni Position Year Supervised by Title
Malihe Alikhani Ph.D. 2020 Matthew Stone Multimodal Communication: Commonsense, Grounding, and Computation Abstract
Abhishek Bhrushundi Ph.D. 2020 Swastik Kopparty Towards understanding the approximation of Boolean functions by nonclassical polynomials
Aleander Conway Ph.D. 2020 Martin Farach-Colton Understanding Dictionaries at the Intersection of Theory and Practice
Aditya Potukuchi Ph.D. 2020 Swastik Kopparty Combinatorial methods in algorithms and complexity theory
Ji Zhang Ph.D. 2020 Ahmed Elgammal Scene graph parsing and its application in cross-modal reasoning tasks
Zakary Littlefield Ph.D. 2020 Kostas Bekris Efficient and asymptotically optimal kinodynamic motion planning
Eduard Gibert Renart Ph.D. 2020 Manish Parashar Programming and managing data-driven applications between the edge and the cloud
Zhihan Fang Ph.D. 2020 Desheng Zhang Human mobility modeling based on heterogeneous urban sensing systems
Rahul Shome Ph.D. 2020 Kostas Bekris The problem of many: efficient multi-arm, multi-object task and motion planning with optimality guarantees
Shaoua Duan Ph.D. 2020 Manish Parashar Addressing fault tolerance for staging based scientific workflows
Chaowei Tan Ph.D. 2020 Dimitris Metaxas Machine learning based image segmentation for large-scale osteoarthritis analysis
Liu Liu Ph.D. 2020 Ulrich Kremer Trading quality for resource consumption through approximation management
Benham Babagholami Mohamadabadi Ph.D. 2020 Vladimir Pavlovic Unsupervised visual domain adaptation: a probabilistic approach
Cong Zhang Ph.D. 2020 Rebecca Wright Order-Revealing Encryption: New Constructions and Barriers
Chaitanya Mitash Ph.D. 2020 Abdeslam Boularias Scalable, Physics-aware 6D Pose Estimation for Robot Manipulation
Tugba Kulahcioglu Ph.D. 2020 Gerard de Melo Computational Approaches for Semantics-Aware Typographical Choices
Guangyan Hu Ph.D. 2020 Thu D. Nguyen Distributed Frameworks for Approximate Data Analytics
Zachary Daniels Ph.D. 2020 Dimitris Metaxas Explanation-Driven Learning-Based Models for Visual Recognition Tasks
Han Zhang Ph.D. 2019 Dimitris Metaxas Generative adversarial networks for image synthesis
Ali Reza Zamani Zadeh Najari Ph.D. 2019 Manish Parashar Scheduling edge and in-transit computing resources for stream processing applications
Adarsh Yoga Ph.D. 2019 Santosh Nagarakatte Parallelism-driven performance analysis techniques for task parallel programs
Daniela Vianna Ph.D. 2019 Amélie Marian Searching heterogeneous personal data
Chen Cong Ph.D. 2019 Naftaly Minsky Broad-Spectrum, Dependable, and Secure Protocol Enforcement Mechanism for Multi-Agent Systems
Dong Yang Ph.D. 2019 Dimitris Metaxas Deformable models and machine learning for large-scale cardiac MRI image analytics
Zi Yan Ph.D. 2019 Abhishek Bhattacharjee Virtual Memory for Next-Generation Tiered Memory Architectures
Ana P. Centeno Ph.D. 2019 Richard P. Martin Optimizing Task Scheduling in Emergency Departments
Bo Liu Ph.D. 2019 Dimitris Metaxas Optimization in Sparse Learning: from Convexity to Non-convexity
Daeyoung Kim Ph.D. 2019 Vinod Ganapathy Regulating Smart Devices in Restricted Spaces
Chintan Dalal Ph.D. 2019 Dimitris Metaxas High-Dimensional Manifold Geostatistics
Hai Pham Ph.D. 2019 Vladimir Pavlovic Learning human facial performance: analysis and synthesis
Matthew Mitsui Ph.D. 2018 Chirag Shah Adopting a Graphical Perspective in Interactive Information Retrieval Research
Chaolun Xia Ph.D. 2018 Shan Muthukrishnan Pricing Problems in Online Markets
John Wiedenhoeft Ph.D. 2018 Alexander Schliep Dynamically compressed Bayesian hidden Markov models using Haar wavelets
Jie Shen Ph.D. 2018 Ping Li Learning from Structured Data: Algorithms, Theories, and Applications
Hai Nguyen Ph.D. 2018 Vinod Ganapathy Exploring Security Support for Cloud-based Applications
Guilherme Mota Cavalcanti A Cox Ph.D. 2018 Abhishek Bhattacharjee Improving and Complementing Virtual Memory Using Hardware Techniques
Qiong Hu Ph.D. 2018 Tomasz Imielinski Boundless Data Analytics through Progressive Mining
Jun Hu Ph.D. 2018 Ping Li Collaborative Ranking-based Recommender Systems
Ioannis Manousakis Ph.D. 2018 Thu D. Nguyen Resource Provisioning and Placement for Cost-efficient Datacenters
Vilelmini Kalampratsidou Ph.D. 2018 Elizabeth Torres Co-adaptive multimodal interface guided by real-time multisensory stochastic feedback
Xi Peng Ph.D. 2018 Dimitris Metaxas Learning Disentangled Representations in Deep Visual Analysis
David Menendez Ph.D. 2018 Santosh Nagarakatte Practical formal techniques and tools for developing LLVM's peephole optimizations
Priya Govindan Ph.D. 2018 Shan Muthukrishnan Core Structure and Influence in Social Networks
Fatma B. Durak Ph.D. 2017 David Cash Cryptanalytic study of property-preserving encryption
Yan Zhu Ph.D. 2017 Dimitris Metaxas Towards Active and Interactive Visual Learning
Meng-Tsung Tsai Ph.D. 2017 Martin Farach-Colton On the Algorithmic Aspects of Turan's Theorem
Qian Sun Ph.D. 2017 Manish Parashar Staging-Based Data Management for Extreme Scale Coupled Scientific Workflows
Neil Lutz Ph.D. 2017 Rebecca Wright Algorithmic Information, Fractal Geometry, and Distributed Dynamics
Ruilin Liu Ph.D. 2017 Badri Nath Capturing and Analyzing Human Driving Behavior to Improve Road Travel Experience
Jingjing Liu Ph.D. 2017 Dimitris Metaxas Exploiting Multispectral and Contextual Information to Improve Human Detection
Long Le Ph.D. 2017 Chirag Shah Extracting Users in Community Question-Answering in Particular Contexts
Athanasios Krontiris Ph.D. 2017 Kostas Bekris Hierarchical Frameworks for Efficient Prehensile Rearrangement with a Robotic Manipulator
Benjamin Lund Ph.D. 2017 Shubhangi Saraf Incidences and extremal problems on finite point sets
Andrew Dobson Ph.D. 2017 Kostas Bekris Compact Representations for Efficient Robot Motion Planning with Formal Guarantees
Erick Chastain Ph.D. 2017 Eric Allender The Multiplicative Weight Updates method for Evolutionary Biology
Daehan Kwak Ph.D. 2017 Badri Nath Supporting route choice via real-time visual traffic information and counterfactual arrival times
Mrinal Kumar Ph.D. 2017 Swastik Kopparty Lower bounds for bounded depth arithmetic circuits
Amey Bhangale Ph.D. 2017 Swastik Kopparty Property Testing, PCPs and CSPs
Abdul Basit Ph.D. 2017 William Steiger Some Applications of Algebraic Methods in Combinatorial Geometry
Babak Saleh Ph.D. 2017 Ahmed Elgammal A Novel Framework for Understanding Atypical Images
Jongpil Kim Ph.D. 2017 Vladimir Pavlovic Discovering Visual Saliency for Image Analysis
Fengpeng Yuan Ph.D. 2017 Janne Lindqvist Predicting Mobile Interruptibility
Mohamed H. Elhoseiny Ph.D. 2016 Ahmed Elgammal Language Guided Visual Perception
Sejong Yoon Ph.D. 2016 Vladimir Pavlovic Generalized Distributed Learning Under Uncertainty for Camera Networks
Zhennan Yan Ph.D. 2016 Dimitris Metaxas Robust Medical Image Recognition and Segmentation
Minji Wu Ph.D. 2016 Amélie Marian Corroborating information from multiple sources
Qiang Ma Ph.D. 2016 Shan Muthukrishnan Modeling Users For Online Advertising
Faisal Khan Ph.D. 2016 Casimir Kulikowski Semi-Supervised Transductive Regression for Survival Analysis in Medical Prognostics
Rodrigo F. Toso Ph.D. 2016 Casimir Kulikowski Adaptive Clustering with a Variance-Aware Criterion: An Alternative to k-Means
Amr Bakry Ph.D. 2016 Ahmed Elgammal Leveraging Image Manifolds for Visual Learning
Chetan Tonde Ph.D. 2016 Ahmed Elgammal Supervised Feature Learning via Dependency Maximization
Md E. Haque Ph.D. 2016 Thu D. Nguyen Managing Tail Latency in Interactive Services for Multicore Servers
Mark Dilsizian Ph.D. 2016 Dimitris Metaxas Hybrid Discriminative-Generative Methods and Applications for Human Pose Reconstruction from Monocular Imagery
Binh Q. Pham Ph.D. 2016 Abhishek Bhattacharjee Architectural Support for Efficient Virtual Memory on Big-Memory Systems
Chathra Hendahewa Ph.D. 2016 Chirag Shah Implicit Search Feature Based Approach to Assist Users in Exploratory Search Tasks
Tarek El-Gaaly Ph.D. 2016 Ahmed Elgammal A Joint Framework for Object Recognition: Categorization, Instance Recognition and Pose Estimation
Rezwana Karim Ph.D. 2015 Vinod Ganapathy Techniques and Tools for Secure Web Browser Extension Development
Yang Yu Ph.D. 2015 Dimitris Metaxas Sparsity-based Methods for Cardiac Magnetic Resonance Image Reconstruction and Analysis
Xiang Yu Ph.D. 2015 Dimitris Metaxas Unconstrained Face Landmark Localization: Algorithms and Applications
Jinyun Yan Ph.D. 2015 Shan Muthukrishnan Analyzing and modeling groups
Yixin Xu Ph.D. 2015 Mario Szegedy Impossibility Theorems and the Universal Algebraic Toolkit
Jason Perry Ph.D. 2015 Rebecca Wright Putting Secure Computation to Work
Cheng Li Ph.D. 2015 Thu D. Nguyen Improving and Tuning the Performance of Server Systems
Darja Krushevskaja Ph.D. 2015 Shan Muthukrishnan Observing and Optimizing Online Ad Assignments
Scott Kulp Ph.D. 2015 Dimitris Metaxas Ventricular Blood Flow Simulation and Analysis for Cardiovascular Diagnostics
Amruta Gokhale Ph.D. 2015 Vinod Ganapathy Similarity Detection Techniques for Mobile Platform Artifacts
John-Austen Francisco Ph.D. 2015 Richard P. Martin A Novel Characterization of Signal Space Distortion and its Application to the Quantification of Localization Algorithm Error
Lin Zhong Ph.D. 2015 Dimitris Metaxas Single Image deblurring with or without face prior and its applications
Turgay Senlet Ph.D. 2015 Ahmed Elgammal Visual Localization, Semantic Video Segmentation and Labeling Using Satellite Maps
Kevin Sanik Ph.D. 2015 Manish Singh The relative effectiveness of line drawing algorithms at depicting 3D shape
Mustafa G. Uzunbas Ph.D. 2015 Dimitris Metaxas Automatic and Interactive Segmentations Using Deformable and Graphical Models
Vukosi Marivate Ph.D. 2015 Michael L. Littman Improved Empirical Methods in Reinforcement-Learning Evaluation
Shakeel Butt Ph.D. 2015 Vinod Ganapathy Self-Service Cloud Computing
Md P. Mahmud Ph.D. 2014 Alexander Schliep Reduced Representations for Efficient Analysis of Genomic Data: From Microarray to High Throughput Sequencing
John R. Yaros Ph.D. 2014 Tomasz Imielinski Data Mining Perspectives on Equity Similarity Prediction
Andrew Tjang Ph.D. 2014 Thu D. Nguyen Model Based Validation for Improving Availability of Internet Services
Mudassir Shabbir Ph.D. 2014 William Steiger Some Results in Computational and Combinatorial Geometry
Rajat S. Roy Ph.D. 2014 Alexander Schliep Improving genome assembly by identifying reliable sequencing data
Begumhan Turgut Ph.D. 2014 Richard P. Martin Advances In Instantaneous and Dynamic Localization In Indoor Environments
Aleksandar Nikolov Ph.D. 2014 Shan Muthukrishnan New Computational Aspects of Discrepancy Theory
Robert Moore Ph.D. 2014 Richard P. Martin Owl Platform: Design and Evaluation of a Practical Sensor System
Monica Vroman Ph.D. 2014 Michael L. Littman Maximum Likelihood Inverse Reinforcement Learning
Mingchen Gao Ph.D. 2014 Dimitris Metaxas Cardiac Reconstruction and Analysis from High Resolution CT Images
Sergiu Goschin Ph.D. 2014 Michael L. Littman Stochastic Dilemmas: Foundations and Applications
Qingyuan Deng Ph.D. 2014 #N/A Active Low-Power Modes for Main Memory
Ariel Weinstein Ph.D. 2014 Michael L. Littman Local Planning for Continuous Markov Decision Processes
Brian Thompson Ph.D. 2014 Shan Muthukrishnan Models and Algorithms for Event-Driven Networks
Gayatree Ganu Ph.D. 2014 Amélie Marian Understanding Preferences and Similarities from User-Authored Text: Applications to Search and Recommendations
Ali El Qursh Ph.D. 2014 Ahmed Elgammal Online Non-rigid Motion and Scene Layer Segmentation
Peter Borosan Ph.D. 2014 Andrew Nealen Automatic Meshing and Rigging for the Creation and Deformation of 3D Shapes
Ishani Chakraborty Ph.D. 2014 Ahmed Elgammal Object Category Recognition Through Visual-Semantic Context Networks
Hans C. Woithe Ph.D. 2014 Ulrich Kremer Design and Implementation of an Energy Aware Programming Framework for Autonomous Underwater Vehicles
Edinah K. Gnang Ph.D. 2013 Ahmed Elgammal Computational aspects of the Combinatorial Nullstellensatz method via a polynomial approach to matrix and hypermatrix algebra
Fei Yang Ph.D. 2013 Dimitris Metaxas Facial Expression Transfer by using 3D-Aware Expression Flow
Michael Wunder Ph.D. 2013 Matthew Stone Transferable Strategic Meta-reasoning Models
Tam Vu Ph.D. 2013 Marco Gruteser Enriching Communication Methods for Composable Mobile Systems
Shahriar Shariat Talkhoonche Ph.D. 2013 Vladimir Pavlovic Robust Time-Series Retrieval using Adaptive Segmental Alignment
Darakhshan J. Mir Ph.D. 2013 Rebecca Wright Differential Privacy: The privacy-Utility Landscape
Luke B. Friedman Ph.D. 2013 Eric Allender Some Applications of Randomness in Computational Complexity
Devendra Desai Ph.D. 2013 Mario Szegedy Approximability of Modularity Clustering and related results
Liu Yang Ph.D. 2013 Vinod Ganapathy New Pattern Matching Algorithms for Network Security Applications
Lu Han Ph.D. 2013 Liviu Iftode Social Caching and Vehicular Social Networks: Two Contributions to The Theory and Practice of Online Social Networks
Mohan Dhawan Ph.D. 2013 Vinod Ganapathy Rethinking Web Platform Extensibility
Xinyi Cui Ph.D. 2013 Dimitris Metaxas Towards Accurate Group Activity Analysis in Videos: Robust Saliency Detection and Effective Feature Modeling
John Asmuth Ph.D. 2013 Michael L. Littman Model-based Bayesian reinforcement learning with generalized priors
Kien T. Le Ph.D. 2013 #N/A Managing Energy Usage and Cost Through Load Distribution in Multi-Data-center Services
Baiyang Liu Ph.D. 2012 Casimir Kulikowski Selection-based Dictionary Learning for Sparse Representation in Visual Tracking
Wei Zheng Ph.D. 2012 #N/A Experiment-Based Management of Data Centers
Saman Zarandioon Ph.D. 2012 Danfeng Yao Improving the security and usability of cloud services with user-centric security models
Tin Lam Ph.D. 2012 Naftaly Minsky Making SOA-Based Systems Coherent and Trustworthy
Shaoting Zhang Ph.D. 2012 Dimitris Metaxas Towards robust and effective shape prior modeling
Luiz Ramos Ph.D. 2012 #N/A Exploiting Phase-Change Technology in Server Memory Systems
Lei Wang Ph.D. 2012 Mario Szegedy Some Problems On Discrete Geometry and Combinatorics
Fengming Wang Ph.D. 2012 Eric Allender On Circuit Complexity Classes and Iterated Matrix Multiplication
Nicholas Michael Ph.D. 2012 Dimitris Metaxas A Face Tracking System for Dynamic Event Recognition
Nikolaos Leonardos Ph.D. 2012 Michael Saks Information theory methods in communication complexity
Rekha Bachwani Ph.D. 2012 #N/A Preventing and Diagnosing Software Upgrade Failures
Wenxuan Zhang Ph.D. 2011 Naftaly Minsky Governance-Based Management of Open Distributed Systems
Marwan Torki Ph.D. 2011 Ahmed Elgammal Learning the manifolds of local features and their spatial arrangement
Pravin Shankar Ph.D. 2011 Liviu Iftode Improving Performance, Privacy and Relevance of Location-based Services for Mobile Users
Thang Le Ph.D. 2011 Casimir Kulikowski Clustering by Graph Density Variation Analysis with Density-based Cluster Validity Indices
Junzhou Huang Ph.D. 2011 Dimitris Metaxas Structured Sparsity: Theorems, Algorithms and Applications
Mangesh Gupte Ph.D. 2011 Michael Saks Applications of Algorithms to Social Networks, Secretary Problems and Differential Privacy
Smriti Bhagat Ph.D. 2011 Shan Muthukrishnan Masking and Labeling Problems in Social Network Data Management
Peng Yang Ph.D. 2011 Dimitris Metaxas Facial Expression Recognition and Expression Intensity Estimation
Xiaoxu Wang Ph.D. 2011 Dimitris Metaxas Meshless Deformable Models for LV Motion and Strain Computation from TMRI
Steve Smaldone Ph.D. 2011 Liviu Iftode Improving the Performance, Availability, and Security of Data Access for Opportunistic Mobile Computing
Rajat Mittal Ph.D. 2011 Mario Szegedy Application of SDP to product rules and quantum query complexity
Pavel P. Kuksa Ph.D. 2011 Vladimir Pavlovic Scalable Kernel Methods and Algorithms for General Sequence Analysis
Tracey Lall Ph.D. 2011 Matthew Stone JobPlan - A New Integrated Representation and Planner for Batch Job Workflow Automation
Imdadullah Khan Ph.D. 2011 Endre Szemeredi Spanning subgraphs in graphs and hypergraphs
Gayathri Chandrasekaran Ph.D. 2011 Richard P. Martin Direct Inference of Location-related Context from Wireless Signal Strength
Jiankuan Ye Ph.D. 2011 Casimir Kulikowski Experimental Study and Geometrical Analysis on a Linear Programming Support Vector Machine
Toufiq Parag Ph.D. 2011 Ahmed Elgammal Labeling Hypergraph-structured Data using Markov Network
Ali Nouri Ph.D. 2011 Michael L. Littman Efficient model-based exploration in continuous state-space environments
Wei Wang Ph.D. 2010 Amélie Marian Unified Structure and Content Search for Personal Information Management Systems
Tom Walsh Ph.D. 2010 Michael L. Littman Efficient Learning of Relational Models for Sequential Decision Making
Fabio A. Oliveira Ph.D. 2010 #N/A Towards Mistake-Aware Systems
Xiaofeng Mi Ph.D. 2010 Douglas DeCarlo Representation and Depiction of 2D Shapes using Parts
Zhiguo Li Ph.D. 2010 Dimitris Metaxas Video-based Facial Expression Analysis
Asif Jamshed Ph.D. 2010 Endre Szemeredi Embedding Spanning Subgraphs into Large Dense Graphs
Carlos Diuk Ph.D. 2010 Michael L. Littman An Object-oriented Representation for Efficient Reinforcement Learning
Yuchi Huang Ph.D. 2010 Dimitris Metaxas Hypergraph Based Visual Object Categorization and Segmentation
Geetha Jagannathan Ph.D. 2010 Rebecca Wright Data Privacy in Knowledge Discovery
Jihui Zhao Ph.D. 2010 William Steiger Partitioning Problems in Discrete and Computational Geometry
Qi Wei Ph.D. 2010 Dinesh Pai Biomechanical Modeling and Simulation of Human Eye Movement
Atul Kanaujia Ph.D. 2010 Dimitris Metaxas Conditional Models For 3D Human Pose Estimation
Bruno Dufour Ph.D. 2010 Barbara Ryder Practical analysis of framework-intensive applications
Shu Chen Ph.D. 2010 Wade Trappe Providing Trustworthiness to the Operation of Location Based Services in Mobile Networks
Christopher Peery Ph.D. 2009 Thu D. Nguyen Wayfinder: A Federated Information Sharing and Management System
Zhipeng Zhao Ph.D. 2009 Ahmed Elgammal Towards a Local-Global Visual Feature-Based Framework for Recognition
Andre Madeira Ph.D. 2009 Shan Muthukrishnan Private Approximation and Streaming Protocols: Theory and Applications
Nikita Lytkin Ph.D. 2009 Casimir Kulikowski Variance-based Clustering Methods and Higher Order Data Transformations and Their Applications
Lihong Li Ph.D. 2009 Michael L. Littman A Unifying Framework for Computational Reinforcement Learning Theory
Danny M. Kaufman Ph.D. 2009 Dinesh Pai Coupled Principles for Computational Frictional Contact Mechanics
Konstantinos Kleisouris Ph.D. 2008 Richard P. Martin Improving the Speed and Accuracy of Indoor Localization
Gang Xu Ph.D. 2008 Liviu Iftode Trusted Application Centric Ad Hoc Network
Cuneyt O. Tuzel Ph.D. 2008 Peter Meer Learning on Riemannian Manifolds for Interpretation of Visual Environments
Brian K. Russell Ph.D. 2008 Michael L. Littman Learning-Based Route Management in Wireless Ad Hoc Networks
Vivek Pathak Ph.D. 2008 Liviu Iftode Robust Decentralized Authentication for Public Keys and Geographic Location
Kooksang Moon Ph.D. 2008 Vladimir Pavlovic Coupled Embedding Of Sequential Processes Using Gaussian Process Models
Bethany R. Leffler Ph.D. 2008 Michael L. Littman Perception-Based Generalization in Model-Based Reinforcement Learning
Rui Huang Ph.D. 2008 Dimitris Metaxas Graphical Models for Object Segmentation
Minyoung Kim Ph.D. 2008 Vladimir Pavlovic Discriminative Models and Dimensionality Reduction for Regression
Pai-Hsi Huang Ph.D. 2008 Vladimir Pavlovic Protein Homology Detection with Sparse models
Jerry Hom Ph.D. 2008 Ulrich Kremer An Execution Context Optimization Framework for Disk Energy
Timothy Edmunds Ph.D. 2008 Dinesh Pai Improving Interactive Multisensory Simulation and Rendering Through Focus On Perceptual Processes
David DeVault Ph.D. 2008 Matthew Stone Contribution Tracking: Participating in Task-Oriented Dialogue under Uncertainty
Su Chen Ph.D. 2008 Shan Muthukrishnan Data Compression in Dynamic Systems
Arati Baliga Ph.D. 2008 Liviu Iftode Automated Detection and Containment of Stealth Attacks on the Operating System Kernel
Mihail N. Ionescu Ph.D. 2008 Naftaly Minsky A Regulatory Architecture for a Digital Enterprise
Constantin Serban Ph.D. 2007 Naftaly Minsky Advances in Decentralized and Stateful Access Control
Xiaoxia Ren Ph.D. 2007 Barbara Ryder Change Impact Analysis for Java Programs and Applications
Peter Richter Ph.D. 2007 Mario Szegedy Quantum walks and ground state problems
Irina Rozenbaum Ph.D. 2007 Shan Muthukrishnan FILTERING TECHNIQUES FOR DATA STREAMS
Fancong Zeng Ph.D. 2007 Michael L. Littman Just-in-time and Just-in-place Deadlock Resolution
Vladislav Shkapenyuk Ph.D. 2007 Shan Muthukrishnan Scalable and Robust Data Stream Processing
Alexander L Strehl Ph.D. 2007 Michael Littman Probably Approximately Correct (PAC) Exploration in Reinforcement Learning
Yihua Wu Ph.D. 2007 Shan Muthukrishnan Streaming Techniques for Statistical Modeling
Viorel Mihalef Ph.D. 2007 Dimitris Metaxas The Marker Level Set method: applications to simulation of liquids
Nishkam Ravi Ph.D. 2007 Liviu Iftode Bootstrapping Location-aware Personal Computing
Bing Bai Ph.D. 2007 Paul Kantor Feature extraction and matching in content-based retrieval of functional Magnetic Resonance Images
Jon C Mesterharm Ph.D. 2007 Haym Hirsh Improving On-line Learning
Rohan Fernandes Ph.D. 2007 Martin Farach-Colton Algorithms and LP-Duality Based Lower Bounds in Ad-hoc Radio Networks
Suhrid Balakrishnan Ph.D. 2007 David Blei (Princeton University) Algorithms and Applications for Classifiers of Massive and Structured Data Problems
Chan-Su Lee Ph.D. 2007 Ahmed Elgammal Modeling Human Motion Using Manifold Learning and Factorized Generative Models
Yingying Chen Ph.D. 2007 Richard P. Martin Securing Wireless Networks against Signal Attacks
Aniruddha Bohra Ph.D. 2007 Liviu Iftode System Architectures Based on Functionality Offloading
Chen Fu Ph.D. 2007 Barbara Ryder Improving Software Reliability Using Exception Analysis of Object Oriented Programs
Taliver Heath Ph.D. 2007 #N/A Component-level Modeling of Power, Energy, and Temperature
Chunling Hu Ph.D. 2007 Daniel A. Jimenez An Infrastructure for Program Power Behavior Characterization and Optimization Evaluation
Yang Huang Ph.D. 2007 Martin Farach-Colton The Galois lattice and its application in gene-expression analysis
Pandurang Kamat Ph.D. 2007 Wade Trappe Privacy in Emerging Wireless Networks
Rong Zhang Ph.D. 2006 Dimitris Metaxas Image and Video Classification
HwaSeob Joseph Yun Ph.D. 2006 Casimir Kulikowski Consistent Triplets in Graph Clustering for Protein Sequence Analysis
Marcelo Mydlarz Ph.D. 2006 Endre Szemeredi Packing Theorems in Graph Theory and Packing Integer Programs
Akshay Vashist Ph.D. 2006 Casimir Kulikowski Multipartite Graph Clustering for Structured Clustering and Automating Ortholog Extraction
Sambuddha Roy Ph.D. 2006 Eric Allender Complexity Theoretic Aspects of Planar restrictions and Obliviousness
Yang Ni Ph.D. 2006 Ulrich Kremer Programming Ad-Hoc Networks
Kiran Nagaraja Ph.D. 2006 Thu D. Nguyen A Systematic Approach to Quantifying and Improving the Availability of Cluster-Based Internet Services
Eiman Elnahrawy Ph.D. 2006 Richard Martin Indoor Localization Using Signal Strength
Miguel Mosteiro Ph.D. 2006 Martin Farach-Colton Upper and Lower Bounds in Radio Networks
Jaewon Kang Ph.D. 2006 Badri Nath Congestion Control in Wireless Sensor Networks
Ramana Isukapalli Ph.D. 2006 Ahmed Elgammal Learning Effective Interpretation Policies
Xiaolei Huang Ph.D. 2006 Dimitris Metaxas Shape and Appearance Information Integration in Medical Image Analysis and Computer Vision
Dmitriy Fradkin Ph.D. 2006 Casimir Kulikowski Within-Class and Unsupervised Clustering Improve Accuracy and Extract Local Structure for Supervised Classification
Aynur Dayanik Ph.D. 2006 Craig Neville-Manning Using Domain Knowledge for Text Mining
Xiaomin Chen Ph.D. 2006 Mario Szegedy Some Problems in Discrete Geometry
Xiaoyan Li Ph.D. 2006 Richard Martin Characterizing and Accommodating Spatial Aspects of Wireless Networks
Yakov Keselman Ph.D. 2005 Sven Dickinson Generic Model Abstraction from Examples
Anthony Santella Ph.D. 2005 Doug DeCarlo The Art of Seeing: Visual Perception in Design and Evaluation of Non-Photorealistic Rendering
Eduardo Souza De Albuquerque Pinheiro Ph.D. 2005 #N/A Energy Conservation for Server Systems
Gabriela Oana Cula Ph.D. 2005 Kristin Dana Bidirectional Imaging and Modeling of Real-World Textured Surfaces
Samir Goel Ph.D. 2005 Tomasz Imielinski Etiquettte Protocol for Ultra Low Power Operation in Energy Constrained Sensor Networks
Yi Jin Ph.D. 2005 Bahman Kalantari Combinatorics of Polynomial Root-Finding Algorithms
Navin Goyal Ph.D. 2005 Michael Saks Information Theoretic Limitations on Computation
Budhaditya Deb Ph.D. 2005 Badri Nath Algorithms for Resource Utilization in Sensor Networks
Xuhui Ao Ph.D. 2005 Naftaly Minsky A Hierarchical Model for Distributed Access Control Policies
Takahiro Murata Ph.D. 2004 Naftaly Minsky On Regulating Open Distributed Systems
Florin Sultan Ph.D. 2004 Liviu Iftode System Support for Service Availability, Remote Healing and Fault Tolerance Using Lazy State Propagation
Detlef Ronneberger Ph.D. 2004 Eric Allender Power from Random Strings
Dragos Stefan Niculescu Ph.D. 2004 Badri Nath Forwarding and Positioning Problems in Ad Hoc Networks
Bogdan Georgescu Ph.D. 2004 Peter Meer Interpretation of the 3D Visual Environment from Uncalibrated Image Sequences
Bogdan Dorohonceanu Ph.D. 2004 Craig Neville-Manning Interface Heterogeneity and Group Interaction
Samir Datta Ph.D. 2004 Eric Allender Bounded Depth Arithmetic Circuits
Francisco Matias Cuenca-Acuna Ph.D. 2004 Thu D. Nguyen A Probabilistic Approach to Building Large Scale Federated Systems
Cristian Mihai Borcea Ph.D. 2004 Liviu Iftode Programming Outdoor Distributed Embedded Systems
Sudeep Bhatnagar Ph.D. 2004 Badri Nath Distributed Admission Control in Core-Stateless Networks
Ravi Venkata Batchu Ph.D. 2004 Daniel Jimenez Temporal Locality at Procedure Level-It's Study and Explolitation
Samrat Ganguly Ph.D. 2003 Badri Nath Mobility Sensitive QoS Provisioning in Wireless cellular networks
Chung-Hsing Hsu Ph.D. 2003 Ulrich Kremer Compiler-Directed Dynamic Voltage and Frequency Scaling for CPU Power and Energy Reduction
Michal Kouck√Ω Ph.D. 2003 Eric Allender On Traversal Sequences, Exploration Sequences, and Completeness of Kolmogorov Random Strings
Anna Milanova Ph.D. 2003 Barbara Ryder Precise and Practical Flow Analysis of Object-Oriented Software
Glenn Charles Rhoads Ph.D. 2003 Vasek Chv√°tal Planar Tilings and the Search for an Aperiodic Prototile
Gary Mitchell Weiss Ph.D. 2003 Haym Hirsh Learning in the Presence of Rarity: The Effect of Small Disjuncts and Class Distribution on Classifier Learning
Sofus Attila Macskassy Ph.D. 2002 Haym Hirsh New Techniques in Intelligent Information Filtering
Sarah Zelikovitz Ph.D. 2002 Haym Hirsh Using Background Knowledge to Improve Text Classification
Matthew Richard Arnold Ph.D. 2002 Barbara Ryder Online Profiling and Feedback-Directed Optimization of Java
Khaled M Elbassioni Ph.D. 2002 Leonid Khachiyan Incremental Algorithms for Enumerating Extremal Solutions of Monotone Systems of Submodular inequalities and Their Applications
Chumki Basu Ph.D. 2002 Haym Hirsh Recommendation as Classification and Recommendation as Matching: Two Information-Centered Approaches to Recommendation
John Iacono Ph.D. 2001 Michael Fredman Distribution Sensitive Data Structures
Stefan Langerman F Swarzberg Ph.D. 2001 William Steiger Algorithms and Data Structures in Computational Geometry
Pradeep Sudhakar Sudame Ph.D. 2001 B. R. Badrinath Transformer Tunnels and their Application to Aggregation in IP Networks
Rahul T Shah Ph.D. 2001 Martin Farach-Colton Undiscretized Dynamic Programming and Ordinal Embeddings
Atanas Ivanov Rountev Ph.D. 2001 Barbara Ryder Dataflow Analysis of Software Fragments
Sachin Premsukh Lodha Ph.D. 2001 Endre Szemeredi On-Line Algorithms and Fast Digital Identity Revocation
Ayman Ahmed Khalfalah Ph.D. 2001 Endre Szemeredi Problems in Additive and Computational Number Theory
Julio Cesar Navas Ph.D. 2001 Tomasz Imielinski Geographic Routing in a Datagram Internetwork
Clark Gregory Hagerty Ph.D. 2001 Casimir Kulikowski Data Abstraction and analysis Using Qualitative Scaling
Amr A Elmasry Ph.D. 2001 Michael Fredman Adaptive Algorithms and Structures
Amin Arshad Abdulghani Ph.D. 2001 Tomasz Imielinski Cubegrades-Generalization of association rules to mine large datasets
Srikrishna Divakaran Ph.D. 2001 Michael Saks Approximation Algorithms for Problems in Scheduling with Set-Ups
Brian D Davison Ph.D. 2001 Haym Hirsh The Design and Evaluation of Web Cache Prefetching Techniques
Siu Ngan (Vicky) Choi Ph.D. 2001 Martin Farach-Colton Barnacle: An Assembly Algorithm for Clone-based Sequences of Whole Genomes
Sukmoon Chang Ph.D. 2001 Casimir Kulikowski Sketching Skeletons of Elongated Objects Using Scan Line Algorithm
Safiullah Faizullah Ph.D. 2001 Saul Levy Measuring and Pricing the Delivered QoS in QoS-enabled Internetworks
Gabriela Hristescu Ph.D. 2000 Martin Farach-Colton COFE: A Scalable Feature Extraction Method for Protein and other Complex Object Databases
Victoria Ungureanu Ph.D. 2000 Naftaly Minsky A Mechanism For Supporting Communication Policies In Distributed Systems
Ramkrishna Chatterjee Ph.D. 2000 Barbara Ryder Modular Data-Flow Analysis Of Statically Typed Object-Oriented Programming Languages
Bela Csaba Ph.D. 2000 Endre Szemeredi Finding Spanning Subgraphs of Dense Graphs and some New Results on the k-server Problem
Arunava Banerjee Ph.D. 2000 Haym Hirsh The Phase-Space Dynamics of Systems of Spiking Neurons
Ali Shokoufandeh Ph.D. 1999 Endre Szemeredi Graph Theoretical Methods In Object Recognition And Related Problems In Extremal Graph Theory
Jyh-Shiarn Yur Ph.D. 1999 Barbara Ryder Incremental Analysis For Flow-And Context-Sensitive Data-Flow Problems
Dongsuk Yuk Ph.D. 1999 Robust Speech Recognition Using Neural Networks & Hidden Markov Models
Girish Sharad Welling Ph.D. 1999 B. R. Badrinath Designing Adaptive Environment-Aware Applications For Mobile Computing
Anup Kumar Talukdar Ph.D. 1999 B. R. Badrinath An Architecture For Integrated Services In Mobile Networks
Philip Lewis Bohannon Ph.D. 1999 B. R. Badrinath Fault Resilience In Main-Memory Databases:Handling Process Halting Failures And Data Corruption
Ming Ouyang Ph.D. 1999 Vasek Chv√°tal Implementations Of The DPLL Algorithm
David M Loewenstern Ph.D. 1999 Haym Hirsh Sequence Classification Learning Using Methods Derived from Entropy Estimation
Nathalie Japkowicz Ph.D. 1999 Casimir Kulikowski Concept-Learning In The Absence Of Counter-Examples: An Autoassociation-Based Approach To Classification
Adrian Dumitrescu Ph.D. 1999 William Steiger Several Problems In Combinatorial Geometry
Souripriya Das Ph.D. 1999 Chitoor Srinivasan Restclk:A Communication Paradigm For Observation And Control Of Object Interaction
Xiang-Xiang Sean Zhang Ph.D. 1998 Barbara Ryder Practical Pointer Aliasing Analysis
Aashu Virmani Ph.D. 1998 Tomasz Imielinski Second Generation Data Mining: Concepts and Implementation
Khaled Mohamed Rasheed Ph.D. 1998 Haym Hirsh GADO: A Genetic Algorithm for Continuous Design Optimization
Vincenzo Liberatore Ph.D. 1998 Martin Farach-Colton Efficient Replacement Strategies in the Memory Hierarchy
Daniel Kudenko Ph.D. 1998 Haym Hirsh Feature Generation for Sequence Categorization
Sarmad Abbasi Ph.D. 1998 Endre Szemeredi Spanning Subgraphs Of Dense Graphs and a Combinatorial Problem on Strings
John L Bresina Ph.D. 1998 Saul Amarel Stochastic Heuristic Search and Evaluation Methods for Constrained Optimization
Csaba Csaba Ph.D. 1997 Casimir Kulikowski Problems in Learning and in Extremal Graph Theory
Vipul Kashyap Ph.D. 1997 Haym Hirsh Information Brokering Over Heterogeneous Digital Data: A Metadata-Based Approach
Junbiao Zhang Ph.D. 1997 Naftaly Minsky Optimal Buffering Algorithms for Client-Server VBR Video Retrieval
Partha Pal Ph.D. 1996 Naftaly Minsky Darwin-E: An Environment for Imposing Regularities on Object-Oriented Software
Shiyu Zhou Ph.D. 1996 Michael Saks Reducing Randomness in Computation via Explicit Constructions
Ke-Thia Yao Ph.D. 1996 A Gelsey Intelligent Automated Grid Generation for Numerical Simulations
Ke-Thia Yao Ph.D. 1996 Andrew Gelsey Intelligent Automated Grid Generation for Numerical Simulations
Hui-Yu Wang Ph.D. 1996 Vasek Chv√°tal Which Claw-Free Graphs Are Strongly Perfect?
Leon Shklar Ph.D. 1996 L. Thorne McCarty Web Access to Heterogeneous Information: Methods and Applications
Mark Schwabacher Ph.D. 1996 Tom Ellman The Use of Artificial Intelligence to Improve the Numerical Optimization of Complex Engineering Designs
Hemant Pande Ph.D. 1996 Barbara Ryder Compile Time Analysis of C and C++ Systems
Deborah McGuinness Ph.D. 1996 Alex Borgida Explaining Reasoning in Description Logics
Deborah McGuinness Ph.D. 1996 Alex Borgida Explaining Reasoning in Description Logics.
John Keane Ph.D. 1996 Tom Ellman Knowledge-Based Management of Legacy Codes for Automated Design
Jia Jiao Ph.D. 1996 Apostolos Gerasoulis Software Support for Parallel Processing of Irregular and Dynamic Computations
Tim Cooley Ph.D. 1996 Evangelia Micheli-Tzanakou An Automated System for the Classification of Mammograms
Valerie Barr Ph.D. 1996 Casimir Kulikowski Aplications of Rule-Base Coverage Measures to Expert System Evaluation.
Valerie Barr Ph.D. 1996 Casimir Kulikowski Applications of Rule-Base Coverage Measures to Expert System Evaluation
Mike Barley Ph.D. 1996 Louis Steinberg Model-Based Refinement of Search Biases
Ajay Bakre Ph.D. 1996 B. R. Badrinath Design and Implementation of Indirect Protocols for Mobile Wireless Environments
Steven W Norton Ph.D. 1995 Haym Hirsh Exploiting Knowledge of Uncertainty: Induction of Classifiers by the Incremental Combination of Probabilistic Evidence
S Viswanathan Ph.D. 1995 Publishing in Wireless and Wireline Environments
Vidyadar Phalke Ph.D. 1995 B. Gopinath Modeling and Managing Program References in a Memory Hierarchy
Kerstin Voigt Ph.D. 1995 Chris Tong Automating Software Design for Resource Assignment Problems
Sunil Mohan Ph.D. 1995 Tom Ellman Two Approaches to the Hierarchical Solution of Constraint Satisfaction Problems
Arup Acharya Ph.D. 1995 B. R. Badrinath Structuring Distributed Algorithms and Services in Networks with Mobile Hosts
Elefterios Melissaratos Ph.D. 1995 Gerard Richter Mesh Generation and Geometric Optimization
Sui Ringo Ling Ph.D. 1995 Louis Steinberg Automated Modeling of Distributed and Lumped Phenomena in Heat Transfer
Chun Wai Liew Ph.D. 1994 Louis Steinberg Feedback Directed Optimization
Dawn Cohen Ph.D. 1994 Casimir Kulikowski Knowledge-Based Generation of Machine Learning Experiments
Diane Zimmerman Ph.D. 1994 Casimir Kulikowski An Extended CSP Architecture for the Sequential Assignment Problem in the Interpretation of Protein Nuclear Magnetic Resonance D
Sizheng Wei Ph.D. 1994 Saul Levy Efficient Hierarchical Interconnection Networks for Large Parallel Systems
Ileana Streinu Ph.D. 1994 William Steiger Some Positive and Negative Results in Computational Geometry.
Ileana Streinu Ph.D. 1994 William Steiger Some Positive and Negative Results in Computational Geometry
Gabor N Sarkozy Ph.D. 1994 Endre Szemeredi Finding Trees & Cycles In Graphs: Existence Theorems and Fast Parallel Algorithms
Suman Kanjilal Ph.D. 1994 Miles Murdocca Synthesis for Testability Using Test Functions
Kyungsook Han Ph.D. 1994 Andrew Gelsey Compositional Modeling for Spatial Problems
John Storrs Hall Ph.D. 1994 Saul Levy Associative Processing: Architectures, Algorithms, and Applications
Vipul Gupta Ph.D. 1994 Miles Murdocca Mapping Techniques and Performance Analysis for an Interconnection Cached Multiprocessor Network
Premkumar Devanbu Ph.D. 1994 Alex Borgida Software Information Systems
Prem Devanbu Ph.D. 1994 Alex Borgida Software Information Systems.
Stephen P Masticola Ph.D. 1993 Barbara Ryder Static Detection of Deadlocks in Polynomial Time
Seshadri Venugopal Ph.D. 1993 Gerard Richter Parallelizing Unstructured Sparse Computations on Large-Scale Multiprocessors
Hava Siegelman Ph.D. 1993 Eduardo Sontag Foundations of Recurrent Neural Networks
Lorien Y Pratt Ph.D. 1993 Jack Mostow Transferring Previously Learned Back-Propagation Neural Networks to New Learning Tasks
Tao Yang Ph.D. 1993 Apostolos Gerasoulis Scheduling and Code Generation for Parallel Architectures
Stacy Marsella Ph.D. 1993 Charles F. Schmidt Planning Under the Restriction of Hierarchical Partial Orders
Iliana Bjorling-Sachs Ph.D. 1993 Diane L. Souvaine Variations of the Art Gallery Theorem
David Lubinsky Ph.D. 1993 Sholom Weiss Bivariate Splits and Consistent Split Criteria in Dichotomous Classification Trees
Tao Yang Ph.D. 1993 Apostolos Gerasoulis Scheduling and Code Generation for Parallel Architectures.
Celina Imielinska Ph.D. 1993 Bahman Kalantari A General Class of Heuristics for Constrained Forest and Cycle Problems
Vivek Gore Ph.D. 1993 Eric Allender Lower Bounds for Uniform Constant Depth Circuits
Marian Gunsher Sackrowitz Ph.D. 1992 Joan Lucas Efficient Parallel Algorithms for Directed Graph Problems
Arthur M Berman Ph.D. 1992 Marvin Paull Lower and Upper Bounds for Incremental Algorithms
Neeraj Bhatnagar Ph.D. 1992 Jack Mostow On-Line Learning from Search Failures
Anthony Bonner Ph.D. 1992 Tomasz Imielinski Hypothetical Reasoning in Deductive Databases
Wesley Braudaway Ph.D. 1992 Chris Tong Knowledge Compilation for Incorporating Constraints
Leiguang Gong Ph.D. 1992 Casimir Kulikowski Composition of Image Analysis Processes through Object-Centered Hierarchical Planning
William Landi Ph.D. 1992 Barbara Ryder Interprocedural Aliasing in the Presence of Pointers
Yong-Fong Lee Ph.D. 1992 Barbara Ryder Performing Data Flow Analysis in Parallel
Chi-yuan Lo Ph.D. 1992 William Steiger Ham-Sandwich Cuts and Related Problems
Ronald van der Meyden Ph.D. 1992 L. Thorne McCarty The Complexity of Querying Indefinite Information: Defined Relations, Recursion and Linear Order
Kumar Vadaparty Ph.D. 1992 Tomasz Imielinski Querying Databases with Non-Deterministic Information
Jaikumar Radakrishnan Ph.D. 1991 Endre Szemeredi Graph Entropy and formula complexity.
Patricia Riddle Ph.D. 1991 Saul Amarel Automatic Shifts of Problem Representation
Jaikumar Radhakrishnan Ph.D. 1991 Endre Szemeredi Graph Entropy and Formula Complexity
Shiva P Chaudhuri Ph.D. 1991 Ravi Boppana Lower bounds in parallel computation
Nitin Indurkhya Ph.D. 1991 Sholom Weiss Monte-Carlo Simulation-Based Evaluation and Refinement of Rule-Based Systems
Magnus Halldorsson Ph.D. 1991 Ravi Boppana Frugal Methods for the Independent Set and Graph Coloring Problems
Marie-Therese Daulard Ph.D. 1991 Marvin Paull Incremental Routing Algorithms in Multistage Multiprocessor Networks
Prasad Tadepalli Ph.D. 1990 Tom Mitchell Tractable Learning and Planning in Games
Prasad Tadepalli Ph.D. 1990 Tom Mitchell Tractable Learning and Planning in Games.
Liping Sun Ph.D. 1990 Vasek Chv√°tal Two New Classes of Perfect Graphs
Michael Sims Ph.D. 1990 Saul Amarel IL:An AI Approach to Theory Formation in Mathematics
Cullen Schaffer Ph.D. 1990 Casimir Kulikowski Domain-Independent Scientific Function Finding
Sridhar Mahadevan Ph.D. 1990 Tom Mitchell An Apprentice-Based Approach to Learning Problem-Solving Knowledge
Armand Prieditis Ph.D. 1990 Jack Mostow Discovering Effective Admissible Heuristics by Abstraction and Speedup: A Transformational Approach
Sridhar Mahadevan Ph.D. 1990 Tom Mitchell An Apprentice-Based Approach to Learning Problem-Solving Knowledge.
Ioannis Kapouleas Ph.D. 1990 Sholom Weiss Model Based Interpretation of Magnetic Resonance Human Brain Scans
William W Cohen Ph.D. 1990 Alex Borgida Concept Learning Using Explanation Based Generalization as an Abstraction Mechanism
William Cohen Ph.D. 1990 Alex Borgida Concept Learning Using Explanation Based Generalization as an Abstraction Mechanism
Jan Chomicki Ph.D. 1990 Tomasz Imielinski Functional Deductive Databases: Query Processing in the Presence of Limited Function Symbol
Srimat Chakradhar Ph.D. 1990 Apostolos Gerasoulis Neural Network Models and Optimization Methods for Digital Testing
Kathy Hamilton Abbott Ph.D. 1990 Louis Steinberg Robust Fault Diagnosis of Physical Systems in Operation
Rajesh Dube Ph.D. 1989 Sholom Weiss A State Transition Model for Rule-Based Expert Systems
Friedrich Henglein Ph.D. 1989 Robert Paige Polymorphic Type Inference and Semi-Unification
Thomas J Marlowe Ph.D. 1989 Barbara Ryder Data Flow Analysis and Incremental Iteration
Miles J Murdocca Ph.D. 1989 Saul Levy Theory and Applications of Free-Space Digital Optical Computing
Israel Nelken Ph.D. 1989 Apostolos Gerasoulis Parallelization for MIMD Multiprocessors with Applications to Linear Algebra Algorithms
Smadar Tova Kedar-Cabelli Ph.D. 1988 Tom Mitchell Formulating Concepts and Analogies According to Purpose
Arding Hsu Ph.D. 1988 Tomasz Imielinski Integrity Checking and View Maintenance for Multiple Updates
Martin D Carroll Ph.D. 1988 Barbara Ryder Data Flow Update via Dominator and Attribute Updates
Jiazhen Cai Ph.D. 1987 Robert Paige Fixed Point Computation and Transformational Programming
Richard Michael Keller Ph.D. 1987 Tom Mitchell The Role of Explicit Contextual Knowledge in Learning Concepts to Improve Performance
Donna Jo Nagel Ph.D. 1987 N. S. Sridharan Learning Concepts with a Prototype-Based Model for Concept Representation
Jeffrey S Salowe Ph.D. 1987 William Steiger Selection Problems in Computational Geometry
Von-Wun Soo Ph.D. 1987 Casimir Kulikowski A Qualitative Matching Scheme for Postulating Enzyme Kinetic Models and Experimental Conditions: Reasoning with Constraints
Allen Ginsberg Ph.D. 1986 Sholom Weiss Refinement of Expert System Knowledge Bases: A Metalinguistic Framework for Heuristic Analysis
Bernard Nadel Ph.D. 1986 William Steiger The Consistent Labeling Problem and Its Algorithms: Towards Exact-Case Complexities and Theory-Based Heuristics
Van E Kelly Ph.D. 1985 Louis Steinberg The CRITTER System: An Artificial Intelligence Approach to Digital Circuit Design Critiquing
Richard M King Ph.D. 1985 William Steiger Knowledge-Based Transformational Synthesis of Efficient Structures for Concurrent Computation
Richard Poulo Ph.D. 1985 Casimir Kulikowski Three Dimensional Recognition from Depth Images by Detailed Surface Encoding
Paul Utgoff Ph.D. 1984 Tom Mitchell Shift of Bias for Inductive Concept Learning
Paul Utgoff Ph.D. 1984 Tom Mitchell, Saul Amarel Shift of Bias for Inductive Concept Learning
Frank Michael Hawrusik Ph.D. 1984 Ann Yasuhara An Extension of the Pebble Game for LISP-Like Programs
Heiner Biesel Ph.D. 1984 On Encoding Functional and Schematic Descriptions of Complex Systems
Chidanand V Apté Ph.D. 1984 Sholom Weiss On Encoding Functional and Schematic Descriptions of Complex Systems
Susan Lynn Epstein Ph.D. 1983 N. S. Sridharan Knowledge Representation in Mathematics: A Case Study in Graph Theory
John Kastner Ph.D. 1983 Sholom Weiss Strategies for Expert Consultation in Therapy Planning
Peter Politakis Ph.D. 1983 Sholom Weiss Using Empirical Analysis to Refine Expert System Knowledge Bases
Ravi Sandhu Ph.D. 1983 Naftaly Minsky Design and Analysis of Protection Schemes Based on the Send-Receive Transport Mechanism
Ravinderpal Sandhu Ph.D. 1983 Naftaly Minsky Design and Analysis of Protection Schemes Based on the Send-Receive Transport Mechanism
John B Bowles Ph.D. 1982 Manfred Ruschitzka Queueing Systems and Networks with Symmetric Station Balance Solutions
Robert N Goldberg Ph.D. 1982 Robert L. Smith Software Design Issues in the Architecture and Implementation of Distributed Text Editors
Barbara Ryder Ph.D. 1982 Marvin Paull Incremental Data Flow Analysis Based on a Unified Model of Elimination Algorithms
Barbara Gershon Ryder Ph.D. 1982 Marvin Paull Incremental Data Flow Analysis Based on a Unified Model of Elimination Algorithms
Donald E Smith Ph.D. 1982 Robert L. Smith FOCUSER: A Strategic Interaction Paradigm for language Acquisition
Asser N Tantawi Ph.D. 1982 Manfred Ruschitzka Performance Analysis of Rollback Recovery Systems and Breakdown Queueing Networks
Venkataraman Natarajan Ph.D. 1981 Ann Yasuhara Decidability of the Purely Existential Fragment of the Theory of Term-Algebras
Bobbie Ann Fredsall Othmer Ph.D. 1981 Robert L. Smith Restructuring COBOL Programs to Improve Readability
Yi-Ling Fan Chiang Ph.D. 1981 Michael Mock Numerical Experiments for Solving Symmetric Hyperbolic systems with Discontinuous Initial Data
John Franco Ph.D. 1981 Marvin Paull Sensitivity to Instance Distribution of the Average Complexity of Algorithms for Solving Satisfiability and other NP-Hard Probl
John Franco Ph.D. 1981 Marvin Paull Sensitivity to Instance Distribution of the Average Complexity of Algorithms for Solving Satisfiability and other NP-Hard Proble
Victor Ciesielski Ph.D. 1980 Robert L. Smith A Methodology for the Construction of Natural Language Front Ends for Medical Consultation Systems
David Sandford Ph.D. 1979 Chitoor Srinivasan HL-Resolution: A Semantic Refinement of Resolution and a Theory of Model Specification
Lawrence A Welsch Ph.D. 1979 Ann Yasuhara ASQ: Automatic Synthesis of Questions
Paul E Murphy Ph.D. 1978 Marvin Paull Minimum Comparison Merging and Merging Algorithms
Michael Trigoboff Ph.D. 1978 Casimir Kulikowski IRIS: A Framework for the Construction of Clinical Consultation Systems
Elaine Weyuker Ph.D. 1977 Ann Yasuhara Program Schemas with Semantic Restrictions
Christian J Wild Ph.D. 1977 Richard LeFaivre The Early Stages of Machine Perception: An Application to Reading Machines
Sholom Weiss Ph.D. 1974 Casimir Kulikowski A System for Model-Based Computer-Aided diagnosis and Therapy
Philip A Johnson Ph.D. 1973 Fred G. Fender A Class of Real-Time Virtual Memory Systems: A Multi-Faceted Approach to Computer System Design