Ph.D. Alumni

Alumni Position Year Supervised by Title
Ana P. Centeno Ph.D 2019 Richard P. Martin Optimizing Task Scheduling in Emergency Departments
Chen Cong Ph.D 2019 Naftaly Minsky Broad-Spectrum Dependable and Secure Protocol Enforcement Mechanism for Multi-Agent Systems
Chaolun Xia Ph.D 2018 Shan Muthukrishnan Pricing Problems in Online Markets
Vilelmini Kalampratsidou Ph.D 2018 Elizabeth Torres Co-adaptive multimodal interface guided by real-time multisensory stochastic feedback
Han Zhang Ph.D 2018 Dimitris Metaxas Collaborative Ranking-Based Recommender Systems
Zi Yan Ph.D 2018 Abhishek Bhattacharjee Virtual Memory for Next-Generation Tiered Memory Architectures
Jie Shen Ph.D 2018 Ping Li Learning from Structured Data: Algorithms Theories and Applications
Hai Pham Ph.D 2018 Vladimir Pavlovic Learning human facial performance: analysis and synthesis
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
Matthew Mitsui Ph.D 2018 Adopting a Graphical Perspective in Interactive Information Retrieval Research
Ioannis Manousakis Ph.D 2018 Thu D. Nguyen Resource Provisioning and Placement for Cost-efficient Datacenters
Bo Liu Ph.D 2018 Dimitris Metaxas Optimization in Sparse Learning: from Convexity to Non-convexity
Daeyoung Kim Ph.D 2018 Vinod Ganapathy Regulating Smart Devices in Restricted Spaces
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
Priya Govindan Ph.D 2017 Shan Muthukrishnan Core Structure and Influence in Social Networks
Ruilin Liu Ph.D 2017 Badri Nath Capturing and Analyzing Human Driving Behavior to Improve Road Travel Experience
Benjamin Lund Ph.D 2017 Shubhangi Saraf Incidences and extremal problems on finite point sets
Neil Lutz Ph.D 2017 Rebecca Wright Algorithmic Information Fractal Geometry and Distributed Dynamics
David Menendez Ph.D 2017 Santosh Nagarakatte Practical formal techniques and tools for developing LLVM's peephole optimizations
Xi Peng Ph.D 2017 Dimitris Metaxas Learning Disentangled Representations in Deep Visual Analysis
Qian Sun Ph.D 2017 Manish Parashar Staging-Based Data Management for Extreme Scale Coupled Scientific Workflows
Jingjing Liu Ph.D 2017 Dimitris Metaxas Exploiting Multispectral and Contextual Information to Improve Human Detection
Meng-Tsung Tsai Ph.D 2017 Martin Farach-Colton On the Algorithmic Aspects of Turan's Theorem
Fengpeng Yuan Ph.D 2017 Janne Lindqvist Predicting Mobile Interruptibility
Long Le Ph.D 2017 Extracting Users in Community Question-Answering in Particular Contexts
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
Athanasios Krontiris Ph.D 2017 Kostas Bekris Hierarchical Frameworks for Efficient Prehensile Rearrangement with a Robotic Manipulator
Fatma B. Durak Ph.D 2017 David Cash Round-Function-Recovery Attacks Against Feistel Networks
Andrew Dobson Ph.D 2017 Kostas Bekris Compact Representations for Efficient Robot Motion Planning with Formal Guarantees
Chintan Dalal Ph.D 2017 Dimitris Metaxas High-Dimensional Manifold Geostatistics
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
Yan Zhu Ph.D 2017 Dimitris Metaxas Towards Active and Interactive Visual Learning
Md E. Haque Ph.D 2016 Thu D. Nguyen Managing Tail Latency in Interactive Services for Multicore Servers
Mohamed H. Elhoseiny Ph.D 2016 Ahmed Elgammal Language Guided Visual Perception
Faisal Khan Ph.D 2016 Casimir Kulikowski Semi-Supervised Transductive Regression for Survival Analysis in Medical Prognostics
Jongpil Kim Ph.D 2016 Vladimir Pavlovic Discovering Visual Saliency for Image Analysis
Qiang Ma Ph.D 2016 Shan Muthukrishnan Modeling Users For Online Advertising
Babak Saleh Ph.D 2016 Ahmed Elgammal A Novel Framework for Understanding Atypical Images
Chetan Tonde Ph.D 2016 Ahmed Elgammal Supervised Feature Learning via Dependency Maximization
Rodrigo F. Toso Ph.D 2016 Casimir Kulikowski Adaptive Clustering with a Variance-Aware Criterion: An Alternative to k-Means
Zhennan Yan Ph.D 2016 Dimitris Metaxas Robust Medical Image Recognition and Segmentation
Sejong Yoon Ph.D 2016 Vladimir Pavlovic Generalized Distributed Learning Under Uncertainty for Camera Networks
Erick Chastain Ph.D 2016 Eric Allender The Multiplicative Weight Updates method for Evolutionary Biology
Amr Bakry Ph.D 2016 Ahmed Elgammal Leveraging Image Manifolds for Visual Learning
Jason Perry Ph.D 2015 Rebecca Wright Putting Secure Computation to Work
Chathra Hendahewa Ph.D 2015 Implicit Search Feature Based Approach to Assist Users in Exploratory Search Tasks
Binh Q. Pham Ph.D 2015 Abhishek Bhattacharjee Architectural Support for Efficient Virtual Memory on Big-Memory Systems
Kevin Sanik Ph.D 2015 Manish Singh The relative effectiveness of line drawing algorithms at depicting 3D shape
Turgay Senlet Ph.D 2015 Ahmed Elgammal Visual Localization Semantic Video Segmentation and Labeling Using Satellite Maps
Minji Wu Ph.D 2015 Amélie Marian Corroborating information from multiple sources
Yixin Xu Ph.D 2015 Mario Szegedy Impossibility Theorems and the Universal Algebraic Toolkit
Jinyun Yan Ph.D 2015 Shan Muthukrishnan Analyzing and modeling groups
Xiang Yu Ph.D 2015 Dimitris Metaxas Unconstrained Face Landmark Localization: Algorithms and Applications
Lin Zhong Ph.D 2015 Dimitris Metaxas Single Image deblurring with or without face prior and its applications
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
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
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
Tarek El-Gaaly Ph.D 2015 Ahmed Elgammal A Joint Framework for Object Recognition: Categorization Instance Recognition and Pose Estimation
Mark Dilsizian Ph.D 2015 Dimitris Metaxas Hybrid Discriminative-Generative Methods and Applications for Human Pose Reconstruction from Monocular Imagery
John R. Yaros Ph.D 2014 Tomasz Imielinski Data Mining Perspectives on Equity Similarity Prediction
Hans C. Woithe Ph.D 2014 Ulrich Kremer Design and Implementation of an Energy Aware Programming Framework for Autonomous Underwater Vehicles
Monica Vroman Ph.D 2014 Maximum Likelihood Inverse Reinforcement Learning
Mustafa G. Uzunbas Ph.D 2014 Dimitris Metaxas Automatic and Interactive Segmentations Using Deformable and Graphical Models
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 Improving genome assembly by identifying reliable sequencing data
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
Vukosi Marivate Ph.D 2014 Improved Empirical Methods in Reinforcement-Learning Evaluation
Md P. Mahmud Ph.D 2014 Reduced Representations for Efficient Analysis of Genomic Data: From Microarray to High Throughput Sequencing
Scott Kulp Ph.D 2014 Dimitris Metaxas Ventricular Blood Flow Simulation and Analysis for Cardiovascular Diagnostics
Mingchen Gao Ph.D 2014 Dimitris Metaxas Cardiac Reconstruction and Analysis from High Resolution CT Images
Sergiu Goschin Ph.D 2014 Stochastic Dilemmas: Foundations and Applications
Qingyuan Deng Ph.D 2014 Active Low-Power Modes for Main Memory
Shakeel Butt Ph.D 2014 Vinod Ganapathy Self-Service Cloud Computing
Liu Yang Ph.D 2013 Vinod Ganapathy New Pattern Matching Algorithms for Network Security Applications
Lu Han Ph.D 2013 Social Caching and Vehicular Social Networks: Two Contributions to The Theory and Practice of Online Social Networks
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
Ari Weinstein Ph.D 2013 Local Planning for Continuous Markov Decision Processes
Tam Vu Ph.D 2013 Marco Gruteser Enriching Communication Methods for Composable Mobile Systems
Brian Thompson Ph.D 2013 Shan Muthukrishnan Models and Algorithms for Event-Driven Networks
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
Mohan Dhawan Ph.D 2013 Vinod Ganapathy Rethinking Web Platform Extensibility
Edinah K. Gnang Ph.D 2013 Ahmed Elgammal Computational aspects of the Combinatorial Nullstellensatz method via a polynomial approach to matrix and hypermatrix algebra
Gayatree Ganu Ph.D 2013 Amélie Marian Understanding Preferences and Similarities from User-Authored Text: Applications to Search and Recommendations
Ali El Qursh Ph.D 2013 Ahmed Elgammal Online Non-rigid Motion and Scene Layer Segmentation
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
Ishani Chakraborty Ph.D 2013 Ahmed Elgammal Object Category Recognition Through Visual-Semantic Context Networks
Peter Borosan Ph.D 2013 Automatic Meshing and Rigging for the Creation and Deformation of 3D Shapes
John Asmuth Ph.D 2013 Model-based Bayesian reinforcement learning with generalized priors
Xinyi Cui Ph.D 2013 Dimitris Metaxas Towards Accurate Group Activity Analysis in Videos: Robust Saliency Detection and Effective Feature Modeling
Wei Zheng Ph.D 2012 Experiment-Based Management of Data Centers
Saman Zarandioon Ph.D 2012 Improving the security and usability of cloud services with user-centric security models
Baiyang Liu Ph.D 2012 Casimir Kulikowski Selection-based Dictionary Learning for Sparse Representation in Visual Tracking
Kien T. Le Ph.D 2012 Managing Energy Usage and Cost Through Load Distribution in Multi-Data-center Services
Luiz Ramos Ph.D 2011 Exploiting Phase-Change Technology in Server Memory Systems
Nicholas Michael Ph.D 2011 Dimitris Metaxas A Face Tracking System for Dynamic Event Recognition
Fengming Wang Ph.D 2011 Eric Allender On Circuit Complexity Classes and Iterated Matrix Multiplication
Marwan Torki Ph.D 2011 Ahmed Elgammal Learning the manifolds of local features and their spatial arrangement
Begumhan Turgut Ph.D 2011 Richard P. Martin Advances In Instantaneous and Dynamic Localization In Indoor Environments
Thang Le Ph.D 2011 Casimir Kulikowski Clustering by Graph Density Variation Analysis with Density-based Cluster Validity Indices
Lei Wang Ph.D 2011 Mario Szegedy Some Problems On Discrete Geometry and Combinatorics
Xiaoxu Wang Ph.D 2011 Dimitris Metaxas Meshless Deformable Models for LV Motion and Strain Computation from TMRI
Peng Yang Ph.D 2011 Dimitris Metaxas Facial Expression Recognition and Expression Intensity Estimation
Shaoting Zhang Ph.D 2011 Dimitris Metaxas Deformable Segmentation using Sparse Shape Representation
Wenxuan Zhang Ph.D 2011 Naftaly Minsky Governance-Based Management of Open Distributed Systems
Nikolaos Leonardos Ph.D 2011 Michael Saks Information theory methods in communication complexity
Rajat Mittal Ph.D 2011 Mario Szegedy Application of SDP to product rules and quantum query complexity
Tin Lam Ph.D 2011 Naftaly Minsky Making SOA-Based Systems Coherent and Trustworthy
Gayathri Chandrasekaran Ph.D 2011 Richard P. Martin Direct Inference of Location-related Context from Wireless Signal Strength
Rekha Bachwani Ph.D 2011 Preventing and Diagnosing Software Upgrade Failures
Steve Smaldone Ph.D 2011 Improving the Performance Availability and Security of Data Access for Opportunistic Mobile Computing
Junzhou Huang Ph.D 2011 Dimitris Metaxas Structured Sparsity: Theorems Algorithms and Applications
Pravin Shankar Ph.D 2011 Improving Performance Privacy and Relevance of Location-based Services for Mobile Users
Pavel P. Kuksa Ph.D 2011 Vladimir Pavlovic Scalable Kernel Methods and Algorithms for General Sequence Analysis
Mangesh Gupte Ph.D 2011 Michael Saks Applications of Algorithms to Social Networks Secretary Problems and Differential Privacy
Xiaofeng Mi Ph.D 2010 Representation and Depiction of 2D Shapes using Parts
Tracey Lall Ph.D 2010 Matthew Stone JobPlan - A New Integrated Representation and Planner for Batch Job Workflow Automation
Zhiguo Li Ph.D 2010 Dimitris Metaxas Video-based Facial Expression Analysis
Tom Walsh Ph.D 2010 Efficient Learning of Relational Models for Sequential Decision Making
Fabio A. Oliveira Ph.D 2010 Towards Mistake-Aware Systems
Toufiq Parag Ph.D 2010 Ahmed Elgammal Labeling Hypergraph-structured Data using Markov Network
Asif Jamshed Ph.D 2010 Endre Szemeredi Embedding Spanning Subgraphs into Large Dense Graphs
Wei Wang Ph.D 2010 Amélie Marian Unified Structure and Content Search for Personal Information Management Systems
Jiankuan Ye Ph.D 2010 Casimir Kulikowski Experimental Study and Geometrical Analysis on a Linear Programming Support Vector Machine
Imdadullah Khan Ph.D 2010 Endre Szemeredi Spanning subgraphs in graphs and hypergraphs
Shu Chen Ph.D 2010 Wade Trappe Providing Trustworthiness to the Operation of Location Based Services in Mobile Networks
Geetha Jagannathan Ph.D 2010 Rebecca Wright Data Privacy in Knowledge Discovery
Yuchi Huang Ph.D 2010 Dimitris Metaxas Hypergraph Based Visual Object Categorization and Segmentation
Carlos Diuk Ph.D 2010 An Object-oriented Representation for Efficient Reinforcement Learning
Smriti Bhagat Ph.D 2010 Shan Muthukrishnan Masking and Labeling Problems in Social Network Data Management
Nikita Lytkin Ph.D 2009 Casimir Kulikowski Variance-based Clustering Methods and Higher Order Data Transformations and Their Applications
Danny M. Kaufman Ph.D 2009 Coupled Principles for Computational Frictional Contact Mechanics
Andre Madeira Ph.D 2009 Shan Muthukrishnan Private Approximation and Streaming Protocols: Theory and Applications
Christopher Peery Ph.D 2009 Thu D. Nguyen Wayfinder: A Federated Information Sharing and Management System
Qi Wei Ph.D 2009 Biomechanical Modeling and Simulation of Human Eye Movement
Zhipeng Zhao Ph.D 2009 Ahmed Elgammal Towards a Local-Global Visual Feature-Based Framework for Recognition
Lihong Li Ph.D 2009 A Unifying Framework for Computational Reinforcement Learning Theory
Jihui Zhao Ph.D 2009 William Steiger Partitioning Problems in Discrete and Computational Geometry
Atul Kanaujia Ph.D 2009 Dimitris Metaxas Conditional Models For 3D Human Pose Estimation
Bruno Dufour Ph.D 2009 Barbara Ryder Practical analysis of framework-intensive applications
Pai-Hsi Huang Ph.D 2008 Vladimir Pavlovic Protein Homology Detection with Sparse models
Gang Xu Ph.D 2008 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 Learning-Based Route Management in Wireless Ad Hoc Networks
Vivek Pathak Ph.D 2008 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 Perception-Based Generalization in Model-Based Reinforcement Learning
Konstantinos Kleisouris Ph.D 2008 Richard P. Martin Improving the Speed and Accuracy of Indoor Localization
Minyoung Kim Ph.D 2008 Vladimir Pavlovic Discriminative Models and Dimensionality Reduction for Regression
Rui Huang Ph.D 2008 Dimitris Metaxas Graphical Models for Object Segmentation
Mihail N. Ionescu Ph.D 2008 Naftaly Minsky A Regulatory Architecture for a Digital Enterprise
Jerry Hom Ph.D 2008 Ulrich Kremer An Execution Context Optimization Framework for Disk Energy
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 Automated Detection and Containment of Stealth Attacks on the Operating System Kernel
Timothy Edmunds Ph.D 2008 Improving Interactive Multisensory Simulation and Rendering Through Focus On Perceptual Processes
Irina Rozenbaum Ph.D 2007 Shan Muthukrishnan FILTERING TECHNIQUES FOR DATA STREAMS
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
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
Yihua Wu Ph.D 2007 Shan Muthukrishnan Streaming Techniques for Statistical Modeling
Taliver Heath Ph.D 2007 Component-level Modeling of Power Energy and Temperature
Fancong Zeng Ph.D 2007 Michael L. Littman Just-in-time and Just-in-place Deadlock Resolution
Alexander L Strehl Ph.D 2007 Michael Littman Probably Approximately Correct (PAC) Exploration in Reinforcement Learning
Vladislav Shkapenyuk Ph.D 2007 Shan Muthukrishnan Scalable and Robust Data Stream Processing
Constantin Serban Ph.D 2007 Naftaly Minsky Advances in Decentralized and Stateful Access Control
Chan-Su Lee Ph.D 2007 Ahmed Elgammal Modeling Human Motion Using Manifold Learning and Factorized Generative Models
Jon C Mesterharm Ph.D 2007 Haym Hirsh Improving On-line Learning
Bing Bai Ph.D 2007 Paul Kantor Feature extraction and matching in content-based retrieval of functional Magnetic Resonance Images
Pandurang Kamat Ph.D 2007 Wade Trappe Privacy in Emerging Wireless Networks
Chunling Hu Ph.D 2007 Daniel A. Jimenez An Infrastructure for Program Power Behavior Characterization and Optimization Evaluation
Chen Fu Ph.D 2007 Barbara Ryder Improving Software Reliability Using Exception Analysis of Object Oriented Programs
Rohan Fernandes Ph.D 2007 Martin Farach-Colton Algorithms and LP-Duality Based Lower Bounds in Ad-hoc Radio Networks
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
Suhrid Balakrishnan Ph.D 2007 David Blei (Princeton University) Algorithms and Applications for Classifiers of Massive and Structured Data Problems
Yang Huang Ph.D 2007 Martin Farach-Colton The Galois lattice and its application in gene-expression analysis
Kiran Nagaraja Ph.D 2006 Thu D. Nguyen A Systematic Approach to Quantifying and Improving the Availability of Cluster-Based Internet Services
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
Rong Zhang Ph.D 2006 Dimitris Metaxas Image and Video Classification
Sambuddha Roy Ph.D 2006 Eric Allender Complexity Theoretic Aspects of Planar restrictions and Obliviousness
Akshay Vashist Ph.D 2006 Casimir Kulikowski Multipartite Graph Clustering for Structured Clustering and Automating Ortholog Extraction
HwaSeob Joseph Yun Ph.D 2006 Casimir Kulikowski Consistent Triplets in Graph Clustering for Protein Sequence Analysis
Yang Ni Ph.D 2006 Ulrich Kremer Programming Ad-Hoc Networks
Xiaoyan Li Ph.D 2006 Richard Martin Characterizing and Accommodating Spatial Aspects of Wireless Networks
Marcelo Mydlarz Ph.D 2006 Endre Szemeredi Packing Theorems in Graph Theory and Packing Integer Programs
Ramana Isukapalli Ph.D 2006 Ahmed Elgammal Learning Effective Interpretation Policies
Dmitriy Fradkin Ph.D 2006 Casimir Kulikowski Within-Class and Unsupervised Clustering Improve Accuracy and Extract Local Structure for Supervised Classification
Eiman Elnahrawy Ph.D 2006 Richard Martin Indoor Localization Using Signal Strength
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
Xiaolei Huang Ph.D 2006 Dimitris Metaxas Shape and Appearance Information Integration in Medical Image Analysis and Computer Vision
Navin Goyal Ph.D 2005 Michael Saks Information Theoretic Limitations on Computation
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 Energy Conservation for Server Systems
Gabriela Oana Cula Ph.D 2005 Kristin Dana Bidirectional Imaging and Modeling of Real-World Textured Surfaces
Yakov Keselman Ph.D 2005 Sven Dickinson Generic Model Abstraction from Examples
Yi Jin Ph.D 2005 Bahman Kalantari Combinatorics of Polynomial Root-Finding Algorithms
Xuhui Ao Ph.D 2005 Naftaly Minsky A Hierarchical Model for Distributed Access Control Policies
Samir Goel Ph.D 2005 Tomasz Imielinski Etiquettte Protocol for Ultra Low Power Operation in Energy Constrained Sensor Networks
Budhaditya Deb Ph.D 2005 Badri Nath Algorithms for Resource Utilization in Sensor Networks
Francisco Matias Cuenca-Acuna Ph.D 2004 Thu D. Nguyen A Probabilistic Approach to Building Large Scale Federated Systems
Bogdan Georgescu Ph.D 2004 Peter Meer Interpretation of the 3D Visual Environment from Uncalibrated Image Sequences
Takahiro Murata Ph.D 2004 Naftaly Minsky On Regulating Open Distributed Systems
Dragos Stefan Niculescu Ph.D 2004 Badri Nath Forwarding and Positioning Problems in Ad Hoc Networks
Detlef Ronneberger Ph.D 2004 Eric Allender Power from Random Strings
Bogdan Dorohonceanu Ph.D 2004 Craig Neville-Manning Interface Heterogeneity and Group Interaction
Samir Datta Ph.D 2004 Eric Allender Bounded Depth Arithmetic Circuits
Cristian Mihai Borcea Ph.D 2004 Liviu Iftode Programming Outdoor Distributed Embedded Systems
Ravi Venkata Batchu Ph.D 2004 Daniel Jimenez Temporal Locality at Procedure Level-It's Study and Explolitation
Sudeep Bhatnagar Ph.D 2004 Badri Nath Distributed Admission Control in Core-Stateless Networks
Florin Sultan Ph.D 2004 Liviu Iftode System Support for Service Availability Remote Healing and Fault Tolerance Using Lazy State Propagation
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
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
Chung-Hsing Hsu Ph.D 2003 Ulrich Kremer Compiler-Directed Dynamic Voltage and Frequency Scaling for CPU Power and Energy Reduction
Samrat Ganguly Ph.D 2003 Badri Nath Mobility Sensitive QoS Provisioning in Wireless cellular networks
Michal Koucký Ph.D 2003 Eric Allender On Traversal Sequences Exploration Sequences and Completeness of Kolmogorov Random Strings
Matthew Richard Arnold Ph.D 2002 Barbara Ryder Online Profiling and Feedback-Directed Optimization of Java
Chumki Basu Ph.D 2002 Haym Hirsh Recommendation as Classification and Recommendation as Matching: Two Information-Centered Approaches to Recommendation
Khaled M Elbassioni Ph.D 2002 Leonid Khachiyan Incremental Algorithms for Enumerating Extremal Solutions of Monotone Systems of Submodular inequalities and Their Applications
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
Julio Cesar Navas Ph.D 2001 Tomasz Imielinski Geographic Routing in a Datagram Internetwork
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
Clark Gregory Hagerty Ph.D 2001 Casimir Kulikowski Data Abstraction and analysis Using Qualitative Scaling
Atanas Ivanov Rountev Ph.D 2001 Barbara Ryder Dataflow Analysis of Software Fragments
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
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
Safiullah Faizullah Ph.D 2001 Saul Levy Measuring and Pricing the Delivered QoS in QoS-enabled Internetworks
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
Amin Arshad Abdulghani Ph.D 2001 Tomasz Imielinski Cubegrades-Generalization of association rules to mine large datasets
Amr A Elmasry Ph.D 2001 Michael Fredman Adaptive Algorithms and Structures
Ramkrishna Chatterjee Ph.D 2000 Barbara Ryder Modular Data-Flow Analysis Of Statically Typed Object-Oriented Programming Languages
Victoria Ungureanu Ph.D 2000 Naftaly Minsky A Mechanism For Supporting Communication Policies In Distributed Systems
Bela Csaba Ph.D 2000 Endre Szemeredi Finding Spanning Subgraphs of Dense Graphs and some New Results on the k-server Problem
Gabriela Hristescu Ph.D 2000 Martin Farach-Colton COFE: A Scalable Feature Extraction Method for Protein and other Complex Object Databases
Arunava Banerjee Ph.D 2000 Haym Hirsh The Phase-Space Dynamics of Systems of Spiking Neurons
Philip Lewis Bohannon Ph.D 1999 B. R. Badrinath Fault Resilience In Main-Memory Databases:Handling Process Halting Failures And Data Corruption
Souripriya Das Ph.D 1999 Chitoor Srinivasan Restclk:A Communication Paradigm For Observation And Control Of Object Interaction
Adrian Dumitrescu Ph.D 1999 William Steiger Several Problems In Combinatorial Geometry
Nathalie Japkowicz Ph.D 1999 Casimir Kulikowski Concept-Learning In The Absence Of Counter-Examples: An Autoassociation-Based Approach To Classification
David M Loewenstern Ph.D 1999 Haym Hirsh Sequence Classification Learning Using Methods Derived from Entropy Estimation
Ming Ouyang Ph.D 1999 Vasek Chvátal Implementations Of The DPLL Algorithm
Ali Shokoufandeh Ph.D 1999 Endre Szemeredi Graph Theoretical Methods In Object Recognition And Related Problems In Extremal Graph Theory
Anup Kumar Talukdar Ph.D 1999 B. R. Badrinath An Architecture For Integrated Services In Mobile Networks
Girish Sharad Welling Ph.D 1999 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 Barbara Ryder Incremental Analysis For Flow-And Context-Sensitive Data-Flow Problems
Khaled Mohamed Rasheed Ph.D 1998 Haym Hirsh GADO: A Genetic Algorithm for Continuous Design Optimization
Daniel Kudenko Ph.D 1998 Haym Hirsh Feature Generation for Sequence Categorization
Aashu Virmani Ph.D 1998 Tomasz Imielinski Second Generation Data Mining: Concepts and Implementation
Vincenzo Liberatore Ph.D 1998 Martin Farach-Colton Efficient Replacement Strategies in the Memory Hierarchy
Xiang-Xiang Sean Zhang Ph.D 1998 Barbara Ryder Practical Pointer Aliasing Analysis
John L Bresina Ph.D 1998 Saul Amarel Stochastic Heuristic Search and Evaluation Methods for Constrained Optimization
Sarmad Abbasi Ph.D 1998 Endre Szemeredi Spanning Subgraphs Of Dense Graphs and a Combinatorial Problem on Strings
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
Deborah McGuinness Ph.D 1996 Alex Borgida Explaining Reasoning in Description Logics.
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
Partha Pal Ph.D 1996 Naftaly Minsky Darwin-E: An Environment for Imposing Regularities on Object-Oriented Software
Deborah McGuinness Ph.D 1996 Alex Borgida Explaining Reasoning in Description Logics
Hemant Pande Ph.D 1996 Barbara Ryder Compile Time Analysis of C and C++ Systems
John Keane Ph.D 1996 Tom Ellman Knowledge-Based Management of Legacy Codes for Automated Design
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
Jia Jiao Ph.D 1996 Apostolos Gerasoulis Software Support for Parallel Processing of Irregular and Dynamic Computations
Sunil Mohan Ph.D 1995 Tom Ellman Two Approaches to the Hierarchical Solution of Constraint Satisfaction Problems
Kerstin Voigt Ph.D 1995 Chris Tong Automating Software Design for Resource Assignment Problems
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
Steven W Norton Ph.D 1995 Haym Hirsh Exploiting Knowledge of Uncertainty: Induction of Classifiers by the Incremental Combination of Probabilistic Evidence
Sui Ringo Ling Ph.D 1995 Louis Steinberg Automated Modeling of Distributed and Lumped Phenomena in Heat Transfer
Elefterios Melissaratos Ph.D 1995 Gerard Richter Mesh Generation and Geometric Optimization
Arup Acharya Ph.D 1995 B. R. Badrinath Structuring Distributed Algorithms and Services in Networks with Mobile Hosts
Suman Kanjilal Ph.D 1994 Miles Murdocca Synthesis for Testability Using Test Functions
Sizheng Wei Ph.D 1994 Saul Levy Efficient Hierarchical Interconnection Networks for Large Parallel Systems
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
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
Chun Wai Liew Ph.D 1994 Louis Steinberg Feedback Directed Optimization
John Storrs Hall Ph.D 1994 Saul Levy Associative Processing: Architectures Algorithms and Applications
Kyungsook Han Ph.D 1994 Andrew Gelsey Compositional Modeling for Spatial Problems
Premkumar Devanbu Ph.D 1994 Alex Borgida Software Information Systems
Prem Devanbu Ph.D 1994 Alex Borgida Software Information Systems.
Dawn Cohen Ph.D 1994 Casimir Kulikowski Knowledge-Based Generation of Machine Learning Experiments
Vipul Gupta Ph.D 1994 Miles Murdocca Mapping Techniques and Performance Analysis for an Interconnection Cached Multiprocessor Network
Stephen P Masticola Ph.D 1993 Barbara Ryder Static Detection of Deadlocks in Polynomial Time
Tao Yang Ph.D 1993 Apostolos Gerasoulis Scheduling and Code Generation for Parallel Architectures
Tao Yang Ph.D 1993 Apostolos Gerasoulis Scheduling and Code Generation for Parallel Architectures.
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
David Lubinsky Ph.D 1993 Sholom Weiss Bivariate Splits and Consistent Split Criteria in Dichotomous Classification Trees
Stacy Marsella Ph.D 1993 Charles F. Schmidt Planning Under the Restriction of Hierarchical Partial Orders
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
Iliana Bjorling-Sachs Ph.D 1993 Diane L. Souvaine Variations of the Art Gallery Theorem
William Landi Ph.D 1992 Barbara Ryder Interprocedural Aliasing in the Presence of Pointers
Kumar Vadaparty Ph.D 1992 Tomasz Imielinski Querying Databases with Non-Deterministic Information
Marian Gunsher Sackrowitz Ph.D 1992 Joan Lucas Efficient Parallel Algorithms for Directed Graph Problems
Chi-yuan Lo Ph.D 1992 William Steiger Ham-Sandwich Cuts and Related Problems
Yong-Fong Lee Ph.D 1992 Barbara Ryder Performing Data Flow Analysis in Parallel
Anthony Bonner Ph.D 1992 Tomasz Imielinski Hypothetical Reasoning in Deductive Databases
Leiguang Gong Ph.D 1992 Casimir Kulikowski Composition of Image Analysis Processes through Object-Centered Hierarchical Planning
Wesley Braudaway Ph.D 1992 Chris Tong Knowledge Compilation for Incorporating Constraints
Neeraj Bhatnagar Ph.D 1992 Jack Mostow On-Line Learning from Search Failures
Arthur M Berman Ph.D 1992 Marvin Paull Lower and Upper Bounds for Incremental Algorithms
Ronald van der Meyden Ph.D 1992 L. Thorne McCarty The Complexity of Querying Indefinite Information: Defined Relations Recursion and Linear Order
Patricia Riddle Ph.D 1991 Saul Amarel Automatic Shifts of Problem Representation
Jaikumar Radhakrishnan Ph.D 1991 Endre Szemeredi Graph Entropy and Formula Complexity
Jaikumar Radakrishnan Ph.D 1991 Endre Szemeredi Graph Entropy and formula complexity.
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
Shiva P Chaudhuri Ph.D 1991 Ravi Boppana Lower bounds in parallel computation
Sridhar Mahadevan Ph.D 1990 Tom Mitchell An Apprentice-Based Approach to Learning Problem-Solving Knowledge
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
Armand Prieditis Ph.D 1990 Jack Mostow Discovering Effective Admissible Heuristics by Abstraction and Speedup: A Transformational Approach
Prasad Tadepalli Ph.D 1990 Tom Mitchell Tractable Learning and Planning in Games
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
Martin D Carroll Ph.D 1988 Barbara Ryder Data Flow Update via Dominator and Attribute Updates
Arding Hsu Ph.D 1988 Tomasz Imielinski Integrity Checking and View Maintenance for Multiple 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
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
Paul Utgoff Ph.D 1984 Tom Mitchell Saul AmarelShift of Bias for Inductive Concept Learning
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