Skip to content Skip to navigation

Ph.D. Alumni

407 total Ph.D. Alumni

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