| 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 |
Department of Computer Science
