| Johnson, Philip A. A Class of Real-Time Virtual Memory Systems: A Multi-Faceted Approach to Computer System Design , 1973. Supervised by Fred G. Fender
Weiss, Sholom A System for Model-Based Computer-Aided diagnosis and Therapy , 1974. Supervised by Casimir Kulikowski.
Weyuker, Elaine Program Schemas with Semantic Restrictions , 1977. Supervised by Ann Yasuhara.
Wild, J. Christian The Early Stages of Machine Perception: An Application to Reading Machines , 1977. Supervised by Richard LeFaivre.
Murphy, Paul E. Minimum Comparison Merging and Merging Algorithms , 1978. Supervised by Marvin Paull.
Trigoboff, Michael IRIS: A Framework for the Construction of Clinical Consultation Systems , 1978. Supervised by Casimir Kulikowski.
Welsch, Lawrence A. ASQ: Automatic Synthesis of Questions , 1979. Supervised by N. S. Sridharan.
Sandford, David HL-Resolution: A Semantic Refinement of Resolution and a Theory of Model Specification , 1979. Supervised by Chitoor V. Srinivasan.
Ciesielski, Victor A Methodology for the Construction of Natural Language Front Ends for Medical Consultation Systems , 1980. Supervised by Robert L. Smith.
Natarajan, Venkataraman Decidability of the Purely Existential Fragment of the Theory of Term-Algebras , 1981. Supervised by Ann Yasuhara.
Othmer, Bobbie Ann Fredsall Restructuring COBOL Programs to Improve Readability , 1981. Supervised by Robert L. Smith.
Franco, John Sensitivity to Instance Distribution of the Average Complexity of Algorithms for Solving Satisfiability and other NP-Hard Problems , 1981. Supervised by Marvin Paull.
Chiang, Yi-Ling Fan Numerical Experiments for Solving Symmetric Hyperbolic systems with Discontinuous Initial Data , 1981. Supervised by Michael Mock.
Tantawi, Asser N. Performance Analysis of Rollback Recovery Systems and Breakdown Queueing Networks , 1982. Supervised by Manfred Ruschitzka.
Smith, Donald E. FOCUSER: A Strategic Interaction Paradigm for language Acquisition , 1982. Supervised by Robert L. Smith.
Ryder, Barbara Gershon Incremental Data Flow Analysis Based on a Unified Model of Elimination Algorithms , 1982. Supervised by Marvin Paull.
Goldberg, Robert N. Software Design Issues in the Architecture and Implementation of Distributed Text Editors , 1982. Supervised by Robert L. Smith.
Bowles, John B. Queueing Systems and Networks with Symmetric Station Balance Solutions , 1982. Supervised by Manfred Ruschitzka.
Kastner, John Strategies for Expert Consultation in Therapy Planning , 1983. Supervised by Sholom Weiss.
Sandhu, Ravinderpal Design and Analysis of Protection Schemes Based on the Send-Receive Transport Mechanism , 1983. Supervised by Naftaly Minsky.
Politakis, Peter Using Empirical Analysis to Refine Expert System Knowledge Bases , 1983. Supervised by Sholom Weiss.
Epstein, Susan Lynn Knowledge Representation in Mathematics: A Case Study in Graph Theory , 1983. Supervised by N. S. Sridharan.
Hawrusik, Frank Michael An Extension of the Pebble Game for LISP-Like Programs , 1984. Supervised by Ann Yasuhara.
Apté, Chidanand V. A Framework for Expert Control of Interactive Software Systems , 1984. Supervised by Sholom Weiss.
Utgoff, Paul Shift of Bias for Inductive Concept Learning , 1984. Supervised by Tom Mitchell.
Biesel, Heiner On Encoding Functional and Schematic Descriptions of Complex Systems , 1984. Supervised by Casimir Kulikowski.
Poulo, Richard Three Dimensional Recognition from Depth Images by Detailed Surface Encoding , 1985. Supervised by Casimir Kulikowski.
King, Richard M. Knowledge-Based Transformational Synthesis of Efficient Structures for Concurrent Computation , 1985. Supervised by William Steiger & Robert Paige.
Kelly, Van E. The CRITTER System: An Artificial Intelligence Approach to Digital Circuit Design Critiquing , 1985. Supervised by Louis Steinberg.
Ginsberg, Allen Refinement of Expert System Knowledge Bases: A Metalinguistic Framework for Heuristic Analysis , 1986. Supervised by Sholom Weiss.
Nadel, Bernard The Consistent Labeling Problem and Its Algorithms: Towards Exact-Case Complexities and Theory-Based Heuristics , 1986. Supervised by William Steiger.
Cai, Jiazhen Fixed Point Computation and Transformational Programming , 1987. Supervised by Robert Paige.
Soo, Von-Wun A Qualitative Matching Scheme for Postulating Enzyme Kinetic Models and Experimental Conditions: Reasoning with Constraints , 1987. Supervised by Casimir Kulikowski.
Nagel, Donna Jo Learning Concepts with a Prototype-Based Model for Concept Representation , 1987. Supervised by N. S. Sridharan.
Salowe, Jeffrey S. Selection Problems in Computational Geometry , 1987. Supervised by William Steiger.
Keller, Richard Michael The Role of Explicit Contextual Knowledge in Learning Concepts to Improve Performance , 1987. Supervised by Tom Mitchell.
Hsu, Arding Integrity Checking and View Maintenance for Multiple Updates , 1988. Supervised by Tomasz Imielinski.
Carroll, Martin D. Data Flow Update via Dominator and Attribute Updates , 1988. Supervised by Barbara Ryder.
Kedar-Cabelli, Smadar Tova Formulating Concepts and Analogies According to Purpose , 1988. Supervised by Tom Mitchell.
Dube, Rajesh A State Transition Model for Rule-Based Expert Systems , 1989. Supervised by Sholom Weiss.
Henglein, Friedrich Polymorphic Type Inference and Semi-Unification , 1989. Supervised by Robert Paige.
Nelken, Israel Parallelization for MIMD Multiprocessors with Applications to Linear Algebra Algorithms , 1989. Supervised by Apostolos Gerasoulis.
Marlowe, Thomas J. Data Flow Analysis and Incremental Iteration , 1989. Supervised by Barbara Ryder.
Murdocca, Miles J. Theory and Applications of Free-Space Digital Optical Computing , 1989. Supervised by Saul Levy
Sims, Michael IL:An AL Approach to Theory Formation in Mathematics, 1990. Supervised by Saul Amarel
Chakradhar, Srimat Neural Network Models and Optimization Methods for Digital Testing , 1990. Supervised by Apostolos Gerasoulis.
Prieditis, Armand Discovering Effective Admissible Heuristics by Abstraction and Speedup: A Transformational Approach , 1990. Supervised by Jack Mostow.
Cohen, William W. Concept Learning Using Explanation Based Generalization as an Abstraction Mechanism , 1990. Supervised by Alexander Borgida.
Sun, Liping Two New Classes of Perfect Graphs , 1990. Supervised by Vasek Chvátal.
Schaffer, Cullen Domain-Independent Scientific Function Finding , 1990. Supervised by Casimir Kulikowski.
Mahadevan, Sridhar An Apprentice-Based Approach to Learning Problem-Solving Knowledge , 1990. Supervised by Tom Mitchell.
Abbott, Kathy Hamilton Robust Fault Diagnosis of Physical Systems in Operation , 1990. Supervised by Louis Steinberg.
Chomicki, Jan Functional Deductive Databases: Query Processing in the Presence of Limited Function Symbols , 1990. Supervised by Tomasz Imielinski.
Tadepalli, Prasad Tractable Learning and Planning in Games , 1990. Supervised by Tom Mitchell.
Kapouleas, Ioannis Model Based Interpretation of Magnetic Resonance Human Brain Scans , 1990. Supervised by Sholom Weiss & Casimir Kulikowski.
Daulard, Marie-Therese Incremental Routing Algorithms in Multistage Multiprocessor Networks , 1991. Supervised by Marvin Paull.
Radhakrishnan, Jaikumar Graph Entropy and Formula Complexity , 1991. Supervised by Endre Szemerédi.
Halldorsson, Magnus Frugal Methods for the Independent Set and Graph Coloring Problems , 1991. Supervised by Ravi Boppana.
Chaudhuri, Shiva P. Lower bounds in parallel computation , 1991. Supervised by Ravi Boppana.
Riddle, Patricia Automatic Shifts of Problem Representation , 1991. Supervised by Saul Amarel.
Indurkhya, Nitin Monte-Carlo Simulation-Based Evaluation and Refinement of Rule-Based Systems , 1991. Supervised by Sholom Weiss.
Sackrowitz, Marian Gunsher Efficient Parallel Algorithms for Directed Graph Problems , 1992. Supervised by Joan Lucas.
Bhatnagar, Neeraj On-Line Learning from Search Failures , 1992. Supervised by Jack Mostow.
- Ronald van der Meyden The Complexity of Querying Indefinite Information: Defined Relations, Recursion and Linear Order, 1992. Supervised by L. Thorne McCarty.
- Anthony Bonner Hypothetical Reasoning in Deductive Databases, 1992. Supervised by Tomasz Imielinski & L. Thorne McCarty.
- Wesley Braudaway Knowledge Compilation for Incorporating Constraints, 1992. Supervised by Chris Tong.
- Leiguang Gong Composition of Image Analysis Processes through Object-Centered Hierarchical Planning, 1992. Supervised by Casimir Kulikowski.
- William Landi Interprocedural Aliasing in the Presence of Pointers, 1992. Supervised by Barbara Ryder.
- Yong-Fong Lee Performing Data Flow Analysis in Parallel, 1992. Supervised by Barbara Ryder.
- Chi-yuan Lo Ham-Sandwich Cuts and Related Problems, 1992. Supervised by William Steiger.
- Kumar Vadaparty Querying Databases with Non-Deterministic Information, 1992. Supervised by Tomasz Imielinski.
- Arthur M. Berman Lower and Upper Bounds for Incremental Algorithms, 1992. Supervised by Marvin Paull.
- Stephen P. Masticola Static Detection of Deadlocks in Polynomial Time, 1993. Supervised by Barbara Ryder.
- Lorien Y. Pratt Transferring Previously Learned Back-Propagation Neural Networks to New Learning Tasks, 1993. Supervised by Jack Mostow & Haym Hirsh.
- Iliana Bjorling-Sachs Variations of the Art Gallery Theorem, 1993. Supervised by Diane L. Souvaine.
- Stacy Marsella Planning Under the Restriction of Hierarchical Partial Orders, 1993. Supervised by Charles F. Schmidt.
- David Lubinsky Bivariate Splits and Consistent Split Criteria in Dichotomous Classification Trees, 1993. Supervised by Haym Hirsh & Sholom Weiss.
- Tao Yang Scheduling and Code Generation for Parallel Architectures, 1993. Supervised by Apostolos Gerasoulis.
- Vivek Gore Lower Bounds for Uniform Constant Depth Circuits, 1993. Supervised by Eric Allender.
- Hava Siegelman Foundations of Recurrent Neural Networks, 1993. Supervised by Eduardo Sontag.
- Celina Imielinska A General Class of Heuristics for Constrained Forest and Cycle Problems, 1993. Supervised by Bahman Kalantari.
- Seshadri Venugopal Parallelizing Unstructured Sparse Computations on Large-Scale Multiprocessors, 1993. Supervised by Gerard Richter.
- Suman Kanjilal Synthesis for Testability Using Test Functions, 1994. Supervised by Miles Murdocca.
- Sizheng Wei Efficient Hierarchical Interconnection Networks for Large Parallel Systems, 1994. Supervised by Saul Levy.
- Dawn Cohen Knowledge-Based Generation of Machine Learning Experiments, 1994. Supervised by Casimir Kulikowski.
- Haripriyan Hampapuram The Partial Sum Problem: Tight Upper and Lower Bounds, 1994. Supervised by Michael Fredman.
- Kyungsook Han Compositional Modeling for Spatial Problems, 1994. Supervised by Andrew Gelsey.
- Premkumar Devanbu Software Information Systems, 1994. Supervised by Alexander Borgida.
- Gabor N. Sarkozy Finding Trees & Cycles In Graphs: Existence Theorems and Fast Parallel Algorithms, 1994. Supervised by Endre Szemerédi.
- Vipul Gupta Mapping Techniques and Performance Analysis for an Interconnection Cached Multiprocessor Network, 1994. Supervised by Miles Murdocca.
- Chun Wai Liew Feedback Directed Optimization, 1994. Supervised by Louis Steinberg.
- John Storrs Hall Associative Processing: Architectures, Algorithms, and Applications, 1994. Supervised by Saul Levy.
- Diane Zimmerman An Extended CSP Architecture for the Sequential Assignment Problem in the Interpretation of Protein Nuclear Magnetic Resonance Data, 1994. Supervised by Casimir Kulikowski.
- Ileana Streinu Some Positive and Negative Results in Computational Geometry, 1994. Supervised by William Steiger.
- Sui Ringo Ling Automated Modeling of Distributed and Lumped Phenomena in Heat Transfer, 1995. Supervised by Louis Steinberg.
- Arup Acharya Structuring Distributed Algorithms and Services in Networks with Mobile Hosts, 1995. Supervised by B. R. Badrinath.
- Kerstin Voigt Automating Software Design for Resource Assignment Problems, 1995. Supervised by Chris Tong.
- Steven W. Norton Exploiting Knowledge of Uncertainty: Induction of Classifiers by the Incremental Combination of Probabilistic Evidence, 1995. Supervised by Haym Hirsh.
- Elefterios Melissaratos Mesh Generation and Geometric Optimization, 1995. Supervised by Gerard Richter.
- Mukesh Dalal Tractable Reasoning in Knowledge Representation Systems, 1995. Supervised by Alexander Borgida.
- S. Viswanathan Publishing in Wireless and Wireline Environments, 1995. Supervised by Tomasz Imielinski.
- Vidyadar Phalke Modeling and Managing Program References in a Memory Hierarchy, 1995. Supervised by B. Gopinath.
- Sunil Mohan Two Approaches to the Hierarchical Solution of Constraint Satisfaction Problems, 1995. Supervised by Tom Ellman.
- Hui-Yu Wang Which Claw-Free Graphs Are Strongly Perfect?, 1996. Supervised by Vasek Chvátal.
- Mike Barley Model-Based Refinement of Search Biases, 1996. Supervised by Louis Steinberg.
- Hemant Pande Compile Time Analysis of C and C++ Systems, 1996. Supervised by Barbara Ryder.
- Valerie Barr Applications of Rule-Base Coverage Measures to Expert System Evaluation, 1996. Supervised by Casimir Kulikowski.
- Tim Cooley An Automated System for the Classification of Mammograms, 1996. Supervised by Evangelia Micheli-Tzanakou.
- Ajay Bakre Design and Implementation of Indirect Protocols for Mobile Wireless Environments, 1996. Supervised by B. R. Badrinath.
- Ke-Thia Yao Intelligent Automated Grid Generation for Numerical Simulations, 1996. Supervised by Andrew Gelsey.
- Deborah McGuinness Explaining Reasoning in Description Logics, 1996. Supervised by Alexander Borgida.
- Mark Schwabacher The Use of Artificial Intelligence to Improve the Numerical Optimization of Complex Engineering Designs, 1996. Supervised by Tom Ellman.
- Leon Shklar Web Access to Heterogeneous Information: Methods and Applications, 1996. Supervised by L. Thorne McCarty.
- Tao, Ke-Thia Intelligent Automated Grid Generation for Numerical Simulations, 1996. Supervised by A Gelsey.
- Jia Jiao Software Support for Parallel Processing of Irregular and Dynamic Computations, 1996. Supervised by Apostolos Gerasoulis.
- John Keane Knowledge-Based Management of Legacy Codes for Automated Design, 1996. Supervised by Tom Ellman.
- Partha Pal Darwin-E: An Environment for Imposing Regularities on Object-Oriented Software, 1996. Supervised by Naftaly Minsky.
- Shiyu Zhou Reducing Randomness in Computation via Explicit Constructions, 1996. Supervised by Michael Saks.
- Junbiao Zhang Optimal Buffering Algorithms for Client-Server VBR Video Retrieval, 1997. Supervised by Joseph Y. Hui & Naftaly Minsky.
- Vipul Kashyap Information Brokering Over Heterogeneous Digital Data: A Metadata-Based Approach, 1997. Supervised by Haym Hirsh & Amit Sheth.
- Csaba Magyar Problems in Learning and in Extremal Graph Theory, 1997. Supervised by Casimir Kulikowski & Endre Szemerédi.
- Khaled Mohamed Rasheed GADO: A Genetic Algorithm for Continuous Design Optimization, 1998. Supervised by Haym Hirsh.
- John L. Bresina Stochastic Heuristic Search and Evaluation Methods for Constrained Optimization, 1998. Supervised by Saul Amarel.
- Aashu Virmani Second Generation Data Mining: Concepts and Implementation, 1998. Supervised by Tomasz Imielinski.
- Vincenzo Liberatore Efficient Replacement Strategies in the Memory Hierarchy, 1998. Supervised by Martin Farach-Colton.
- Sarmad Abbasi Spanning Subgraphs Of Dense Graphs and a Combinatorial Problem on Strings, 1998. Supervised by Endre Szemerédi.
- Xiang-Xiang Sean Zhang Practical Pointer Aliasing Analysis, 1998. Supervised by Barbara Ryder.
- Daniel Kudenko Feature Generation for Sequence Categorization, 1998. Supervised by Haym Hirsh.
- Souripriya Das Restclk:A Communication Paradigm For Observation And Control Of Object Interaction , 1999. Supervised by Chitoor V. Srinivasan.
- Philip Lewis Bohannon Fault Resilience In Main-Memory Databases:Handling Process Halting Failures And Data Corruption , 1999. Supervised by B. R. Badrinath.
- David M. Loewenstern Sequence Classification Learning Using Methods Derived from Entropy Estimation , 1999. Supervised by Haym Hirsh.
- Nathalie Japkowicz Concept-Learning In The Absence Of Counter-Examples: An Autoassociation-Based Approach To Classification , 1999. Supervised by Stephen J. Hanson & Casimir Kulikowski.
- Adrian Dumitrescu Several Problems In Combinatorial Geometry , 1999. Supervised by William Steiger.
- Dongsuk Yuk Robust Speech Recognition Using Neural Networks & Hidden Markov Models , 1999. Supervised by Casimir Kulikowski & James Flanagan.
- Jyh-Shiarn Yur Incremental Analysis For Flow-And Context-Sensitive Data-Flow Problems , 1999. Supervised by Barbara Ryder.
- Girish Sharad Welling Designing Adaptive Environment-Aware Applications For Mobile Computing , 1999. Supervised by B. R. Badrinath.
- Anup Kumar Talukdar An Architecture For Integrated Services In Mobile Networks , 1999. Supervised by B. R. Badrinath.
- Ali Shokoufandeh Graph Theoretical Methods In Object Recognition And Related Problems In Extremal Graph Theory , 1999. Supervised by Sven Dickinson & Endre Szemerédi.
- Ming Ouyang Implementations Of The DPLL Algorithm , 1999. Supervised by Vasek Chvátal.
- Ramkrishna Chatterjee Modular Data-Flow Analysis Of Statically Typed Object-Oriented Programming Languages , 2000. Supervised by Barbara Ryder.
- Victoria Ungureanu A Mechanism For Supporting Communication Policies In Distributed Systems , 2000. Supervised by Naftaly Minsky.
- Hristescu, Gabriela COFE: A Scalable Feature Extraction Method for Protein and other Complex Object Databases , 2000. Supervised by Martin Farach-Colton.
- Bela Csaba Finding Spanning Subgraphs of Dense Graphs and some New Results on the k-server Problem , 2000. Supervised by Endre Szemerédi.
- Arunava Banerjee The Phase-Space Dynamics of Systems of Spiking Neurons, 2000. Supervised by Haym Hirsh.
- Amin Arshad Abdulghani Cubegrades-Generalization of association rules to mine large datasets, 2001. Supervised by Tomasz Imielinski.
- John Iacono Distribution Sensitive Data Structures, 2001. Supervised by Michael Fredman.
- Stefan Langerman F. Swarzberg Algorithms and Data Structures in Computational Geometry , 2001. Supervised by William Steiger.
- Julio Cesar Navas Geographic Routing in a Datagram Internetwork , 2001. Supervised by Tomasz Imielinski.
- Pradeep Sudhakar Sudame Transformer Tunnels and their Application to Aggregation in IP Networks, 2001. Supervised by B. R. Badrinath.
- Sukmoon Chang Sketching Skeletons of Elongated Objects Using Scan Line Algorithm, 2001. Supervised by Casimir Kulikowski.
- Siu Ngan (Vicky) Choi Barnacle: An Assembly Algorithm for Clone-based Sequences of Whole Genomes , 2001. Supervised by Martin Farach-Colton.
- Brian D. Davison The Design and Evaluation of Web Cache Prefetching Techniques , 2001. Supervised by Haym Hirsh.
- Srikrishna Divakaran Approximation Algorithms for Problems in Scheduling with Set-Ups , 2001. Supervised by Michael Saks.
- Amr A. Elmasry Adaptive Algorithms and Structures, 2001. Supervised by Michael Fredman.
- Safiullah Faizullah Measuring and Pricing the Delivered QoS in QoS-enabled Internetworks, 2001. Supervised by Saul Levy.
- Clark Gregory Hagerty Data Abstraction and analysis Using Qualitative Scaling, 2001. Supervised by Casimir Kulikowski.
- Ayman Ahmed Khalfalah Problems in Additive and Computational Number Theory, 2001. Supervised by Endre Szemerédi.
- Sachin Premsukh Lodha On-Line Algorithms and Fast Digital Identity Revocation, 2001. Supervised by Endre Szemerédi.
- Atanas Ivanov Rountev Dataflow Analysis of Software Fragments , 2001. Supervised by Barbara Ryder.
- Rahul T. Shah Undiscretized Dynamic Programming and Ordinal Embeddings, 2001. Supervised by Martin Farach-Colton.
- Khaled M. Elbassioni Incremental Algorithms for Enumerating Extremal Solutions of Monotone Systems of Submodular inequalities and Their Applications , 2002. Supervised by Leonid Khachiyan.
- Chumki Basu Recommendation as Classification and Recommendation as Matching: Two Information-Centered Approaches to Recommendation , 2002. Supervised by Haym Hirsh.
- Sarah Zelikovitz Using Background Knowledge to Improve Text Classification, 2002. Supervised by Haym Hirsh.
- Arnold, Matthew Richard Online Profiling and Feedback-Directed Optimization of Java, 2002. Supervised by Barbara Ryder.
- Macskassy, Sofus Attila New Techniques in Intelligent Information Filtering, 2002. Supervised by Haym Hirsh.
- Weiss, Gary Mitchell Learning in the Presence of Rarity: The Effect of Small Disjuncts and Class Distribution on Classifier Learning, 2003. Supervised by Haym Hirsh.
- Koucký, Michal On Traversal Sequences, Exploration Sequences, and Completeness of Kolmogorov Random Strings , 2003. Supervised by Eric Allender.
- Rhoads, Glenn Charles Planar Tilings and the Search for an Aperiodic Prototile , 2003. Supervised by Vasek Chvátal.
- Hsu, Chung-Hsing Compiler-Directed Dynamic Voltage and Frequency Scaling for CPU Power and Energy Reduction , 2003. Supervised by Ulrich Kremer.
- Ganguly, Samrat Mobility Sensitive QoS Provisioning in Wireless cellular networks , 2003. Supervised by Badri Nath.
Milanova, Anna Precise and Practical Flow Analysis of Object-Oriented Software , 2003. Supervised by Barbara Ryder.
Murata, Takahiro On Regulating Open Distributed Systems, 2004. Supervised by Naftaly Minsky and Alex Borgida.
Batchu, Ravi Venkata Temporal Locality at Procedure Level-It's Study and Explolitation, 2004. Supervised by Daniel Jimenez.
Datta, Samir Bounded Depth Arithmetic Circuits, 2004. Supervised by Eric Allender.
Ronneberger, Detlef Power from Random Strings, 2004. Supervised By Eric Allender.
Niculescu, Dragos Stefan Forwarding and Positioning Problems in Ad Hoc Networks, 2004. Supervised by Badri Nath.
Georgescu, Bogdan Interpretation of the 3D Visual Environment from Uncalibrated Image Sequences, 2004. Supervised by Peter Meer.
Dorohonceanu, Bogdan Interface Heterogeneity and Group Interaction, 2004. Supervised by Craig Neville-Manning. and Ivan Marsic.
Borcea, Cristian Mihai Programming Outdoor Distributed Embedded Systems, 2004. Supervised by Liviu Iftode.
Sultan, Florin System Support for Service Availability, Remote Healing and Fault Tolerance Using Lazy State Propagation, 2004. Supervised By Liviu Iftode.
Cuenca-Acuna, Francisco Matias A Probabilistic Approach to Building Large Scale Federated Systems, 2004. Supervised by Thu Nguyen.
Bhatnagar, Sudeep istributed Admission Control in Core-Stateless Networks, 2004.
Supervised by Badri Nath.
Ao, Xuhui A Hierarchical Model for Distributed Access Control Policies, 2005. Supervised by Naftaly Minsky.
Keselman, Yakov Generic Model Abstraction from Examples, 2005. Supervised by Sven Dickinson.
Goyal, Navin Information Theoretic Limitations on Computation, 2005. Supervised by Michael Saks.
Deb, Budhaditya Algorithms for Resource Utilization in Sensor Networks, 2005. Supervised by Badri Nath.
Oana Cula, Gabriela Bidirectional Imaging and Modeling of Real-World Textured Surfaces, 2005. Supervised by Kristin Dana.
Jin, Yi Combinatorics of Polynomial Root-Finding Algorithms, 2005. Supervised by Bahman Kalantari.
Santella, Anthony The Art of Seeing: Visual Perception in Design and Evaluation of Non-Photorealistic Rendering, 2005. Supervised by Doug DeCarlo.
Pinheiro, Eduardo Souza De Albuquerque Energy Conservation for Server Systems, 2005. Supervised by Ricardo Bianchini.
Goel, Samir Etiquettte Protocol for Ultra Low Power Operation in Energy Constrained Sensor Networks, 2005. Supervised by Tomasz Imielinski.
Nagaraja, Kiran A Systematic Approach to Quantifying and Improving the Availability of Cluster-Based Internet Services, 2006. Supervised by Thu D Nguyen.
Ni, Yang Programming Ad-Hoc Networks, 2006. Supervised by Ulrich Kremer.
Fradkin, Dmitriy Within-Class and Unsupervised Clustering Improve Accuracy and Extract Local Structure for Supervised Classification, 2006. Supervised by Casimir Kulikowski.
Zhang, Rong Image and Video Classification, 2006. Supervised by Dimitris Metaxas.
Yun, HwaSeob Joseph Consistent Triplets in Graph Clustering for Protein Sequence Analysis, 2006. Supervised by Casimir Kulikowski.
Dayanik, Aynur Using Domain Knowledge for Text Mining, 2006. Supervised by Craig Neville-Manning.
Huang, Xiaolei Shape and Appearance Information Integration in Medical Image Analysis and Computer Vision, 2006. Supervised by Dimitris Metaxas.
Roy, Sambuddah Complexity Theoretic Aspects of Planar Restrictions and Obviousness, 2006. Supervised by Eric Allender
Mosteiro, Miguel Upper and Lower Bounds in Radio Networks, 2006. Supervised by Martin Farach-Colton
Elnahrawy, Eiman Indoor Localization Using Signal Strength, 2006. Supervised by Richard Martin
Li, Xiaoyan Charachterizing and Accommodating Spatial Aspects of Wireless Networks, 2006. Supervised by Richard Martin
Isukapalli, Ramana Learning Effective Interpretation Policies, 2006. Supervised by Ahmed Elgammal
Vashist, Akshay Multipartite Graph Clustering for Structured Clustering and Automating Ortholog Extraction, 2006. Supervised by Casimir Kulikowski
Chen, Xiaomin Some Problems in Discrete Geometry, 2006. Supervised by Mario Szegedy
Kang, Jaewon Congestion Control in Wireless Sensor Networks, 2006. Supervised by Badri Nath
Mydlarz, Marcelo Packing Theorems in Graph Theory and Packing Integer Programs, 2006. Supervised by Endre Szemerédi
Heath, Taliver Component-level Modeling of Power, Energy, and Temperature, 2007. Supervised by Ricardo Bianchini
Shkapenyuk, Vladislav Scalable and Robust Data Stream Processing, 2007. Supervised by S. Muthukrishnan
Zeng, Fancong Just-in-time and Just-in-place Deadlock Resolution, 2007. Supervised by Michael Littman
Lee, Chan-Su Modeling Human Motion Using Manifold Learning and Factorized Generative Models, 2007. Supervised by Ahmed Elgammal
Balakrishnan, Suhrid Algorithms and Applications for Classifiers of Massive and Structured Data Problems, 2007. Supervised by David Madigan
Huang, Yang The Galois Lattice and It's Application in Gene-expression Analysis, 2007. Supervised by Martin Farach-Colton
Fernandes, Rohan Algorithms and LP-Duality Based Lower Bounds in Ad-hoc Radio Networks, 2007. Supervised by Martin Farach-Colton
Chen, Yingying Securing Wireless Networks against Signal Attacks, 2007. Supervised by Richard Martin
Bai, Bing Feature Extraction and Matching in Content-based Retrieval of Funtional Magnetic Resonance Images, 2007. Supervised by Paul Kantor
Mesterharm, Jon C. Improving On-line Learning, 2007. Supervised by Haym Hirsh
Strehl, Alexander L. Probably Approximately Correct (PAC) Exploration in Reinforcement Learning, 2007. Supervised by Michael Littman
Hu, Chungling An Infrastructure for Program Power Behavior Characterization and Optimization Evaluation, 2007. Supervised by Daniel Jimenez
Rozenbaum, Irina Filtering Techniques for Data Streams, 2007. Supervised by
S. Muthukrishnan
Ren, Xiaoxia Change Impact Analysis for Java Programs and Applications, 2007. Supervised by Barbara Ryder
Kamat, Pandurang Privacy in Emerging Wireless Networks, 2007. Supervised by
Wade Trappe
Wu, Yihua Streaming Techniques for Statistical Modeling, 2007. Supervised by
S. Muthukrishnan
Mihalef, Viorel The Marker Level Set Method: Applications to Simulation of Liquids, 2007. Supervised by Dimitris Metaxas
Richter, Peter Quantum Walks and Ground State Problems, 2007. Supervised by Mario Szegedy
Fu, Chen Improving Software Reliability Using Exception Analysis of Object Oriented Programs, 2007. Supervised by Barbara Ryder
Serban, Constantin Advances in Decentralized and Stateful Access Control, 2007. Supervised by Naftaly Minsky
Ravi, Nishkam Bootstrapping Location-aware Personal Computing, 2007. Supervised by Liviu Iftode
Bohra, Aniruddha System Architectures Based on Functionality Offloading, 2007. Supervised by Liviu Iftode
Ionescu, Mihail A Regulatory Architecture for a Digital Enterprise, 2008. Supervised by Naftaly Minsky
|
