Computer Science PhD Recipients by Year

2012 [back to top]

Suleyman Cetintas
Effective and Efficient User and Content Modeling for Intelligent Tutoring Systems
Advisor: Luo Si
Jayaram Kallapalayam Radha
Engineering Efficient Event-Based Distribution Systems
Advisor: Partick T. Eugster
Ahmet Nergiz
Private Data Outsourcing Using Anonymization
Advisor: Christopher W. Clifton
Jackie (RJ) Xiang
Statistical Relational Learning for Single Network Domains
Advisor: Jennifer L. Neville
Feng Yan
Efficient Learning Algorithms for Gaussian Processes
Advisor: Yuan (Alan) Qi
Dan Zhang
Dealing with Ambiguous and Partial Supervision in Complex Information Retrieval Applications
Advisor: Luo Si
Yi Fang
Probabilistic Approaches to Entity Retrieval
Advisor: Luo Si
Mohamed Raouf Fouad
Privacy Risk and Scalability of Differentially-Private Anonymization
Advisor: Elisa Bertino
Mohamed Yoosuf Mohamed Nabeel
Privacy Preserving Access Control on Third-Party Data Management Systems
Advisor: Elisa Bertino
Mohamed Yakout
Guided Data Cleaning
Advisor: Ahmed K. Elmagarmid
Hoda Eldardiry
Ensemble Classification Techniques for Relational Domains
Advisor: Jennifer L. Neville
Jeffrey Seibert
Security and Economic Implication of Localizing Traffic in Overlay Networks
Advisor: Cristina Nita-Rotaru
Carlos Vanegas
Modeling the Appearance and Behavior of Urban Spaces
Advisor: Daniel Aliaga

2011 [back to top]

Ethan Blanton
Controlling the Cost and Increasing the Utility of Network Mesurement Infrastructures
Advisor: Sonia Fahmy
Sundararaman Jeyaraman
Practical Automatic Determination of Causal Relationships in Software Execution Traces
Advisor: Mikhail J. Atallah
Bin Li
Geometrical Analysis of Interaction Sites of Proteins
Advisor: Daisuke Kihara
Jacques Thomas
Accomodative Mandatory Access Control
Advisors: Jan Vitek, and Partick T. Eugster
Nathan Andrysco
Data Structures for Efficient Analysis of Large-Scale Unstructured Datasets
Advisor: Xavier M. Tricoche
Ardalan Kangarlou-Haghighi
Improving the Reliability and Performance of Virtual Cloud Infrastructures
Advisor: Dongyan Xu
Michael Kirkpatrick
Trusted Enforcement of Contextual Access Control
Advisor: Elisa Bertino
Alvin Law
Compensation Compliant Appearance Editing of Physical Objects with Arbitrary Shape and Color
Advisor: Daniel Aliaga
Zhiqiang Lin
Reverse Engineering of Data Structures from Binary
Advisor: Dongyan Xu
Chris Mayfield
Statstical Inference and Data Cleaning in Relational Database Systems
Advisors: Sunil K. Prabhakar, and Jennifer L. Neville
Yinian Qi
Efficient Query Processing for Uncertain Data
Advisor: Sunil K. Prabhakar
Junghwan Rhee
Data-Centric Approaches to Kernel Malware Defense
Advisor: Dongyan Xu
Armand Navabi
The Semantics and Analysis of Safe Futures
Advisor: Suresh Jagannathan
Lukasz Ziarek
Abstractions for Robust Higher-Order Message-Based Communication
Advisor: Suresh Jagannathan

2010 [back to top]

Hazem Elmeleegy
Leveraging External User-Generated Information for Large-Scale Data Integration
Advisor: Ahmed K. Elmagarmid
Ashish Kundu
Data in the Cloud: Authentication without Leaking
Advisor: Elisa Bertino
Lixia Liu
Effective Performance Analysis and Optimizations for Memory Intensive Programs on Multicore
Advisor: Zhiyuan Li
Yu Tak (Chris) Ma
Mobility in Mobile Sensor Networks - A Study of Sensing Performance and Privacy
Advisor: David K. Y. Yau
Hasan Metin Aktulga
Algorithmic and Numerical Techniques for Atomistic Modeling
Advisors: Ahmed H. Sameh, and Ananth Y. Grama
Jren-Chit Chin
Efficient and Robust Solutions for Sensor Network Detection and Localization
Advisor: David K. Y. Yau
Nwokedi Idika
Characterizing and Aggregating Attach Graph-based Security Metrics
Advisor: Bharat Bhargava
Sael Lee
Advisor: Daisuke Kihara
Tiancheng Li
Privacy Preservation in Data Publishing and Sharing
Advisor: Ninghui Li
Ian Molloy
Automatic Inference of Access Control Policies and Migration to Role Based Access Control
Advisor: Ninghui Li
Mummoorthy Murugesan
Privacy through Deniable Search
Advisor: Christopher W. Clifton
Prathima Rao
EXAM: An Environment for XACML Policy Analysis and Management
Advisor: Elisa Bertino
Paul Rosen
Improved 3-D Scene Sampling by Camera Model Design
Advisor: Christoph M. Hoffmann
Yasin Silva
Similarity-aware Query Processing and Optimization
Advisor: Walid G. Aref
Yongwook Choi
Structural Information in Strings and Graphs
Advisor: Wojciech Szpankowski
Mohamed Eltabakh
Database Server for Next-Generation Scientific Data Management
Advisors: Walid G. Aref, and Ahmed K. Elmagarmid
Philip McGachey
Transparent Distribution for Java Applications
Advisor: Antony L. Hosking
Qun Ni
Privacy-aware Role Based Access Control
Advisor: Elisa Bertino
Yi Xu
Capturing Real-World Dynamic Objects Using Temporally-Coded Photography
Advisor: Daniel Aliaga
Hao Yuan
Security and Privacy Techniques for Outsourced and Distributed Databases
Advisor: Mikhail J. Atallah
David Zage
A Platform for Creating Efficient, Robust, and Resilient Peer-to-Peer Systems
Advisor: Cristina Nita-Rotaru

2009 [back to top]

Hong Chen
Analysis of Access Control Policies in Operating Systems
Advisor: Ninghui Li
Jing Dong
Secure and Robust Communication in Wireless Mesh Networks
Advisor: Cristina Nita-Rotaru
Hicham Elmongui
Rank Aggregation Techniques for Context-Aware Database Management Systems
Advisor: Walid G. Aref
Ziqing Mao
Improving Real-World Access Control Systems by Indentifying the True Origins of a Request
Advisor: Ninghui Li
Maxim Naumov
Parallel Algorithms for Large Sparse Linear Systems
Yu Zhang
Analysis of Port Scanning Attacks
Advisor: Bharat Bhargava
Rimma Nehme
Efficient Query Processing for Rich and Diverse Real-Time Data
Advisors: Elisa Bertino, and Elke A. Rundensteiner
Ryan Riley
Architectural Approaches for Code Injection Defense at the User and Kernal Levels
Advisors: Dongyan Xu, and Xuxian Jiang
Murat Manguoglu
Parallel Hybrid Sparse System Solvers
Advisors: Ahmed H. Sameh, and Ananth Y. Grama
Sarvjeet Singh
Database Support for Uncertain Data
Advisor: Sunil K. Prabhakar
Qihua Wang
Access Control Policy Management
Advisor: Ninghui Li

2008 [back to top]

HyoJeong Kim
Memory Balancing for Large-scale Network Simulation in Power-law Networks
Advisor: Kihong Park
Mehmet Ercan Nergiz
Anonymization-based Privacy Protection
Advisor: Christopher W. Clifton
Barry Wittman
Approximation Algorithms for Time-Constrained Vehicle Routing Problems
Advisor: Greg N. Frederickson
Yu Yang
Probabilistic Path Planning with Extended Local Planners
Advisor: Elisha P. Sacks
Wei Jiang
Incentive-Driven and Privacy-Preserving Collaborative Computing
Advisor: Christopher W. Clifton
Asad K. Awan
Macroprogramming Scalable Sensor Networks
Advisor: Ananth Y. Grama
Roman Chertov
A Device Independent Router Model: From Measurements to Simulations
Advisor: Sonia Fahmy
Mihai Mudure
Efficient and Versitile 3D Scene Modeling by Sparse-Depth Dense-Viewpoint Acquisition
Advisor: Voicu Popescu
Murali Krishna Ramanathan
Path-Aware Analysis of Program Invariants
Advisor: Suresh Jagannathan
Amit Jayant Shirsat
Self-Configuration Algorithms for Mobile Ad-Hoc Networks
Advisor: Bharat Bhargava
Changjiu Xian
Collaborative Power Management between Operating Systems and Applications
Advisors: Yung-Hsiang Lu, and Zhiyuan Li
Mingwu Zhang
Supporting Fine-Grained Database Lineage Tracking
Advisors: Sunil K. Prabhakar, and Xiangyu Zhang

2007 [back to top]

Abhilasha Bhargav-Spantzel
Protocols and Systems for Privacy Preserving Protection of Digital Identity
Advisor: Elisa Bertino
Thanaa M. Ghanem
Supporting Views in Data Stream Management Systems
Advisors: Ahmed K. Elmagarmid, and Walid G. Aref
Md-Abdul M. Khan
Distributed Approximation Algorithms for Minimum Spanning Trees and Other Related Problems with Applications to Wireless Ad Hoc Networks
Advisor: Gopal Pandurangan
Maxim S. Martynov
Design and Implementation of Hybrid Packet Scheduling Algorithms for High Speed Networks
Advisor: Douglas E. Comer
Qiqi Wang
Interactive Visualization of Three-Dimensional Confocal Microscopy Data
Advisor: Yinlong Sun
Marina V. Blanton
Key Management in Hierarchical Access Control Systems
Advisor: Mikhail J. Atallah
Deepak R. Bobbarjung
Improving the Performance of Highly Reliable Storage Systems
Advisor: Suresh Jagannathan
Ahmet B. Can
Trust and Anonymity in Peer-to-peer Systems
Advisor: Bharat Bhargava
Paul Ruth
Adaptive Virtual Distributed Environments for Shared Cyber Infrastructures
Advisor: Dongyan Xu
Mercan K. Topkara
Natural Language Watermarking
Advisors: Mikhail J. Atallah, and Cristina Nita-Rotaru
Umut Topkara
Information Security Applications of Natural Language Processing Techniques
Advisor: Mikhail J. Atallah
Yi-Cheng Tu
Quality-Aware Adaptation in Database Systems
Advisor: Sunil K. Prabhakar
Yan Wu
Energy Management in Sensor Networks for Continuous Monitoring Applications
Advisors: Sonia Fahmy, and Ness Shroff
Mohamed H. Ali
Phenomenon-aware Data Stream Management Systems
Advisor: Walid G. Aref
Ji-Won Byun
Toward Privacy-Preserving Database Management Systems -- Access Control and Data Anonymization
Advisors: Ninghui Li, and Elisa Bertino
Jorge R. Ramos
Dynamic Covert Channels in Finance
Advisor: Vernon J. Rego
William R. Speirs
Dynamic Cryptographic Hash Functions
Advisor: Samuel Wagstaff
Nikolai A. Svakhin
Development and Application of Volume Illustration Techniques for Medical Illustration and Flow Visualization
Advisor: David Ebert
Fijoy G. Vadakkumpadan
Computational Methods for Mapping the Human Cerebral Cortex
Advisor: Yinlong Sun
Xiaopeng Xiong
Scalability in Spatio-temporal Data Management Systems
Advisor: Walid G. Aref
Huiying Xu
Modeling of Light Reflection, Transmission, and Subsurface Scattering for Realistic Image Synthesis
Advisor: Yinlong Sun

2006 [back to top]

Gleb Bahmutov
Efficient Large Scale Acquistion of Building Interiors
Advisor: Voicu Popescu
Yu (Jerry) Dong
Energy Efficiency and Surveillance in Mobile Sensor Networks
Advisor: David K. Y. Yau
Ronaldo Ferreira
Distributed Algorithms for Peer-to-Peer Systems
Advisors: Ananth Y. Grama, and Suresh Jagannathan
Yunhua Koglin
Security Mechanisms for Content Distribution Networks
Advisor: Elisa Bertino
Mehmet Koyuturk
Comparative Analysis of Biological Networks
Advisor: Ananth Y. Grama
Xuxian Jiang
Enabling Internet Worms and Malware Investigation and Defense Using Virtualization
Advisor: Dongyan Xu
Tiberiu V. Stef
Ownership and Decentralization in Distributed Systems Allocation Mechanisms
Advisor: Vernon J. Rego
Brian David Carrier
A Hypothesis-based Approach to Digital Forensic Investigations
Advisor: Eugene H. Spafford
Rajeev Gopalakrishna
Improving Software Assurance Using Lightweight Static Analysis
Advisors: Eugene H. Spafford, and Jan Vitek
Jiangtao Li
Privacy Enhanced Automated Trust Negotiation
Advisors: Mikhail J. Atallah, and Ninghui Li
Ga Hyun Park
Profile of Tries
Advisor: Wojciech Szpankowski
Adam Welc
Concurrenty Abstractions for Programming Languages Using Optimistic Protocols
Advisors: Antony L. Hosking, and Suresh Jagannathan

2005 [back to top]

Robert Gwadera
Reliable Identification of Significant Sets of Episodes in Event Sequences
Advisors: Wojciech Szpankowski, and Mikhail J. Atallah
Mahesh V. Tripunitara
A Theory Based on Security Analysis for Comparing the Expressive Power of Access Control Models
Advisor: Ninghui Li
Florian Buchholz
Pervasive Binding of Labels to System Processes
Advisor: Eugene H. Spafford
James P. Early
Behavioral Feature Extraction for Network Anomaly Detection
Advisors: Carla E. Brodley, and Eugene H. Spafford
Keith B. Frikken
Secure and Private Online Collaboration
Advisor: Mikhail J. Atallah
Murat Kantarcioglu
Privacy-Preserving Distributed Data Mining and Processing on Horizontally Partitioned Data
Advisor: Christopher W. Clifton
Mohamed Fathalla Mokbel
Scalable Continuous Query Processing in Location-Aware Database Servers
Advisor: Walid G. Aref
Weichao Wang
Securing Wireless Network Topology and Routing
Advisor: Bharat Bhargava
Paul D. Williams
CuPIDS: Increasing Information System Security through the Use of Dedicated Co-processing
Advisor: Eugene H. Spafford
Yuni Xia
Efficient Indexing Techniques for the Update-Intensive Environment
Advisor: Sunil K. Prabhakar
Rong Xu
Improving Cache Performance by Smart Page Mapping in Application Programs
Advisor: Zhiyuan Li
Ossama M. Younis
An Energy-Efficient Architecture for Wireless Sensor Networks
Advisor: Sonia Fahmy
Bogdan Carbunar
Coverage Problems in Wireless Sensor and RFID Systems
Advisors: Jan Vitek, Ananth Y. Grama, and Cristina Nita-Rotaru
Reynold Cheng
Managing Uncertainty in Constantly-Evolving environments
Advisor: Sunil K. Prabhakar
Mohamed Galal Elfeky
Online Periodicy Mining
Advisors: Ahmed K. Elmagarmid, and Walid G. Aref
Ioannis Ioannidis
Algorthims and Data Structures for IP Lookup
Advisor: Ananth Y. Grama
Yuhui Zhong
Formalization of Dynamic Trust and Uncertain Evidence for User Authorization
Advisor: Bharat Bhargava

2004 [back to top]

Yonghua Ding
Compiler-Based Computation Reuse Schemes for Handheld Devices
Advisor: Zhiyuan Li
Krzysztof Palacz
Crusoe -- Towards a Multicomputer Execution Environment for Java
Advisor: Jan Vitek
Moustafa Mohamed Hammad
Query Processing in Stream Database Systems
Advisors: Ahmed K. Elmagarmid, and Walid G. Aref
Mohamed Mosaad Salah Hefeeda
A Framework for Cost-Effective Peer-to-Peer Content Distribution
Advisor: Bharat Bhargava
Ihab F. Ilyas
Rank-aware Query Processing and Optimization
Advisors: Ahmed K. Elmagarmid, and Walid G. Aref
Benjamin Asher Kuperman
A Categorization of Computer Security Monitoring Systems and the Impact on the Design of Audit Sources
Advisor: Eugene H. Spafford
Minseok Kwon
Designing and Characterizing Overlay Networks
Advisor: Sonia Fahmy
Yi Lu
Adaptive and Heterogeneous Mobile Wireless Networks
Advisor: Bharat Bhargava
Di Ma
Bounding the Stack Size of Interrupt-driven Programs
Advisor: Jens Palsberg
Radu Sion
Rights Assessment for Discrete Digital Data
Advisors: Mikhail J. Atallah, and Sunil K. Prabhakar
Jaideep Shrikant Vaidya
Privacy Preserving Data Mining over Vertically Partitioned Data
Advisor: Christopher W. Clifton
Thomas John Vandrunen
Partial Redundancy Elimination for Global Value Numbering
Advisor: Antony L. Hosking
Cheng Wang
Program Analysis and Scheduling for Distributed Computing on Handheld Devices
Advisor: Zhiyuan Li

2003 [back to top]

Dennis William Brylow
Static Checking of Interrupt-Driven Software
Advisor: Jens Palsberg
Hoi Chang
Building Self-Protecting Software with Active and Passive Defenses
Advisor: Mikhail J. Atallah
Md Ahsan Habib
Monitoring and Controlling QoS Network Domains: An Edge-to-Edge Approach
Advisor: Bharat Bhargava
Baskar Sridharan
Enforcing Safety in Pervasive Computing Environments
Advisor: Aditya P. Mathur
Dmitri V. Kalashnikov
Efficient Querying of Constantly Evolving Data
Advisor: Sunil K. Prabhakar
Christopher Adam Telfer
Abstractions and Efficient Implementation of Automatically Reconfigurable Network Testbeds
Advisor: Douglas E. Comer

2002 [back to top]

Thomas Earl Daniels
Reference Models for the Concealment and Observation of Origin Identity in Store-and-Forward Networks
Advisor: Eugene H. Spafford
Huan Ren
Aggregate-Flow Scheduling: Theory and Practice
Advisor: Kihong Park
Joao Wagner Lima Cangussu
A Mathematical Foundation for Software Process Control
Advisor: Aditya P. Mathur
Chuan-Ming Liu
Broadcasting and Blocking Large Data Sets with an Index Tree
Advisor: Susanne E. Hambrusch
Tian Zhao
Type Matching and Type Inference for Object-Oriented Systems
Advisor: Jens Palsberg

2001 [back to top]

Susan B. Iacobacci
Interactive Surface Modeling and Analysis
Advisor: Chandrajit Bajaj
Wenliang (Kevin) Du
A Study of Several Specific Secure Two-Party Computation Problems
Advisors: Mikhail J. Atallah, and Eugene H. Spafford
Min-Ho Kyung
Computer-Aided Kinematic Synthesis of Mechanical Systems Using Configuration Space
Advisor: Elisha P. Sacks
Stefano Lonardi
Global Detectors of Unusual Words: Design, Implementation, and Applications to Pattern Discovery in Biosequences
Advisor: Alberto Apostolico
Diego M. Zamboni
Using Internal Sensors for Computer Intrusion Detection
Advisor: Eugene H. Spafford
Kyung Koo Jun
Monitoring and Control of Networked Systems with Mobile Agents: Algorithms and Applications
Advisor: Dan C. Marinescu

2000 [back to top]

Shalab Goel
Access and Method Execution on Distributed Complex Objects
Advisor: Bharat Bhargava
Matthew G. Knepley
Parallel Simulation of Particulate Flow
Advisor: Ahmed H. Sameh
Yonghong Song
Compiler Algorithms for Efficient Use of Memory Systems
Advisor: Zhiyuan Li
Gongyuan Zhuang
Convergence Analysis of a Domain Decomposition Method for Separable PDEs
Advisor: John R. Rice
Yung-Pin Cheng
Refactoring Design Models for Compositional Verification, Conformance Testing, and Inductive Verification
Advisor: Michal Young
Steven Matthew Cutchin
Flexible User Interface Coupling with Operation Transformation
Advisor: Chandrajit Bajaj
Sudipto Ghosh
Testing Component-Based Distributed Applications
Advisor: Aditya P. Mathur
Young Jun Kim
Visualization and Animation for Situation Awareness in the Battlefield
Advisor: Christoph M. Hoffmann
Ladislau-Lekel Boloni
Contributions to Distributed Object and Agent Systems
Advisor: Dan C. Marinescu
David C. Lutterkort
Envelopes of Nonlinear Geometry
Advisor: Jorg Peters
Valerio Pascucci
Multidimensional And Multiresolution Geometric Data Structures For Scientific Visualization
Advisor: Chandrajit Bajaj
Sheng-Yih Wang
Approaches to Multimedia Traffic Management and Control
Advisor: Bharat Bhargava

1999 [back to top]

Neelam Gupta
Automated Test Data Generation Using Iterative Relaxation Methods
Advisor: Aditya P. Mathur
Shahani A. Weerawarana
Software Reuse Methodologies for Parallel and Netcentric Scientific Computing
Advisor: Elias N. Houstis
Reuben D. Pasquini
Algorithms for Improving the Performance of Optimistic Parallel Simulation
Advisor: Vernon J. Rego
Zhanye Tong
Parallel Algorithms for Large Sparse Generalized Eigenproblems
Advisor: Ahmed H. Sameh
Vassilios Verykios
Knowledge Discovery in Scientific Databases
Advisor: Elias N. Houstis
Carlos Gonzalez-Ochoa
Interactive Modeling Using Surface Splines
Advisor: Jorg Peters
Guozhong Zhuang
Compression and Progressive Transmission of Three-dimensional Models
Advisor: Chandrajit Bajaj

1998 [back to top]

Cassiano R. Durand
Symbolic and Numerical Techniques for Constraint Solving
Advisor: Christoph M. Hoffmann
Haitao Jiang
Semantic Content-based Access to Hypervideo Databases
Advisor: Ahmed K. Elmagarmid
Gustavo Rodriguez-Rivera
Cyclic Distributed Garbage Collection Without Global Synchronization
Advisor: Vincent F. Russo
Juan C. Gomez
A Software Architecture for Multithreaded and Multiprotocol Distributed Applications
Advisor: Vernon J. Rego
Ivan V. Krsul
Computer Vulnerability Analysis
Advisor: Eugene H. Spafford
Konstantinos N. Pantazopoulos
Numerical Methods and Software for Pricing American Financial Derivatives
Advisor: Elias N. Houstis

1997 [back to top]

Melliyal Annamalai
Designing an Efficient Distributed Digital Library Database for Image Data
Advisor: Bharat Bhargava
Shunge Li
Quality of Service Control for Distributed Multimedia Systems
Advisor: Bharat Bhargava
Christoph Schuba
On the Modeling, Design, and Implementation of Firewall Technology
Advisor: Eugene H. Spafford
Narendran Ramakrishnan
Recommender Systems for Problem Solving Environments
Advisor: Elias N. Houstis
Daniel R. Schikore
Interactive Visualization of Multidimensional Scientific Data
Advisor: Chandrajit Bajaj
Mihai G. Sirbu
The Design of a Metacomputing Environment
Advisor: Dan C. Marinescu
Roberto Solis-Oba
Robustness and Approximation in Combinatorial Optimization
Advisor: Greg N. Frederickson

1996 [back to top]

Fausto Bernardini
Automatic Reconstruction of CAD Models and Properties from Digital Scans
Advisor: Chandrajit Bajaj
Tzvetan T. Drashansky
An Agent-Based Approach to Building Multidisciplinary Problem Solving Environments
Advisor: John R. Rice
Muhammad F. Khan
Techniques for Synchronous Retrieval of Concurrent Multimedia I/O Streams
Advisors: Arif Ghafoor, and Ahmed K. Elmagarmid
Chueng-Hsien Lin
An Architecture for a Campus-sized Wireless Mobile Network
Advisor: Douglas E. Comer
Peinan Zhang
Brokered Collaborative Systems for CSCW
Advisor: Chandrajit Bajaj
Gerald Baumgartner
Modularization Constructs for Object-Oriented and Functional Languages
Advisor: Vincent F. Russo
Felipe Knop
Software Architectures for Fault-Tolerant Replications and Multithreaded Decompositions: Experiments with Practical Parallel Simulation
Advisor: Vernon J. Rego
Ioana Boier-Martin
Scientific Data Visualization and Image Processing Data with Applications to Structural Biology
Advisor: Dan C. Marinescu
Edward W. Mascarenhas
A System for Multithreaded Parallel Simulation and Computation with Migrant Threads and Objects
Advisor: Vernon J. Rego
Kuei Y. Wang-Knop
Hiding the Latency of Paging and Input/Output Operations on Massively Parallel Systems
Advisor: Dan C. Marinescu
Jindong Chen
Interactive Modeling with A-patches
Advisor: Chandrajit Bajaj
Jin Jing
Data Management in Wireless Client-Server Information Systems
Advisor: Ahmed K. Elmagarmid
P. Andrew Muckelbauer
Structural Subtyping in a Distributed Object System
Advisor: Vincent F. Russo

1995 [back to top]

Tsanchi Li
Adequacy Assessment of Tests for Fault-tolerance
Advisor: Aditya P. Mathur
Xiangning Liu
Data Replication and Communication for Topologically Scaled Distributed Systems
Advisor: Bharat Bhargava
Lu Xu
Two Dimensional Concurrent Program Debugging
Advisor: Michal Young
Xiangping (Jimmy) Chen
Representation, Evaluation and Editing of Feature-Based and Constraint-Based Design
Advisor: Christoph M. Hoffmann
Ioannis P. Fudos
Constraint Solving for Computer Aided Design
Advisor: Christoph M. Hoffmann
Sandeep Kumar
Classification and Detection of Computer Intrusions
Advisor: Eugene H. Spafford
Evaggelia Pitoura
Transaction Management for Mobile Heterogeneous Computing
Advisor: Bharat Bhargava
Po-Ting Wu
Parallel Electronic Prototyping of Physical Objects
Advisor: Elias N. Houstis

1994 [back to top]

Yongguang Zhang
Communication Experiments for Distributed Transaction Processing -- From Lan to Wan
Advisor: Bharat Bhargava
Vinod Anupam
Collaborative Multimedia Environments for Problem Solving
Advisor: Chandrajit Bajaj
Mei-Hwa Chen
Tools and Techniques for Testing Based Software Reliability Estimation
Advisors: Vernon J. Rego, and Aditya P. Mathur
Yin-He Jiang
Enhancing Functionality of Relational Database Systems
Advisor: Bharat Bhargava
Victor T. Norman
Management of an Internet of Routers
Advisor: Douglas E. Comer
Janche Sang
Multi-Threading in Distributed-Memory Systems and Simulation: Design, Implementation, and Experiments
Advisor: Vernon J. Rego
Honghai Shen
Access Control for Collaborative Environments
Advisor: Prasun Dewan
Sanjiva Weerawarana
Problem Solving Environments for Partial Differential Equations
Advisor: Elias N. Houstis
Aidong Zhang
Advanced Transaction Management for Supporting Interoperability in Multidatabase Systems
Advisor: Bharat Bhargava
Hyeran Byun
Neurocomputing on Distributed Memory Machines
Advisor: Elias N. Houstis
Marius A. Cornea-Hasegan
Determination of Biological Macromolecular Structures Using Distributed Memory MIMD Systems
Advisor: Dan C. Marinescu
Shawn D. Ostermann
Reliable Message Transport For Network Communication
Advisor: Douglas E. Comer
Lih-Chyun Shu
Concurrency Control and Scheduling for Hard Real-Time Systems
Advisor: Michal Young
Pamela J. Vermeer
The Medial Axis Transform to Boundary Representation Conversion
Advisor: Christoph M. Hoffmann
Chonchanok Viravan
Enhancing Debugging Technology
Advisor: Eugene H. Spafford

1993 [back to top]

Stephen J. Chapin
Scheduling Support Mechanisms for Autonomous, Heterogeneous, Distributed Systems
Advisor: Eugene H. Spafford
Ling-Yu Chuang
Concurrency Enhancement through Program Unification: Design, Techniques, and Experiments
Advisor: Vernon J. Rego
James G. Mullen
Atomic Commitment in Multidatabase Systems
Advisor: Ahmed K. Elmagarmid
Weichen E. Wong
On Mutation and Data Flow
Advisor: Aditya P. Mathur
Wei J. Yeh
Controlling State Explosion in Reachability Analysis
Advisor: Michal Young
Jiansan Chen
A Systematic Approach for the Specification and the Execution of Global Transactions in Multidatabase Systems
Advisor: Ahmed K. Elmagarmid
Ke-Hsiung Chung
Concurrent Composite Computational Model for Stochastic Simulation
Advisor: Vernon J. Rego
Anupam Joshi
On Connectionism and the Problem of Correspondence
Advisors: Chia-Hoang Lee, and Vernon J. Rego
Hsin Pan
Software Debugging with Dynamic Instrumentation and Test-Based Knowledge
Advisors: Richard A. DeMillo, and Eugene H. Spafford
Hung-Yi T. Tu
New Approaches for VLSI Layout Compaction
Advisor: Susanne E. Hambrusch
Malcolm C. Fields
Computational Problems in Feature Research
Advisor: David C. Anderson

1992 [back to top]

Andrew V. Royappa
Symbolic Methods in Computer Graphics and Geometric Modeling
Advisor: Chandrajit Bajaj
Zi-Yi Danny Chen
Parallel Techniques for Paths, Visibility, and Related Problems
Advisor: Mikhail J. Atallah
Ching-Shoei Chiang
The Euclidian Distance Transform
Advisor: Christoph M. Hoffmann
Nicolaos P. Chrisochoides
On the Mapping of Partial Differential Equation Computations onto Distributed Memory MIMD Parallel Machines
Advisor: Elias N. Houstis
Herbert S. McFaddin
An Object-based Problem Solving Environment for Collaborating PDE Solvers and Editors
Advisor: John R. Rice
Jagannathan Srinivasan
Replication and Fragmentation of Composite Objects in Distributed Database Systems
Advisor: Bharat Bhargava
Bonita (Bonnie) (Rais) McVey
Analysis of Some Trie Parameters Under Probabilistic Models
Advisor: Wojciech Szpankowski
Brian L. Stuart
An Alternative Computational Model for Artificial Intelligence
Advisor: Chia-Hoang Lee

1991 [back to top]

Edward W. Krauser
Compiler-Integrated Software Testing
Advisor: Richard A. DeMillo
Jiaxun Yu
Exact Arithmetic Solid Modeling
Advisor: Christoph M. Hoffmann
Jianhua Zhou
Visualization of Four Dimensional Space and Its Applications
Advisor: Christoph M. Hoffmann
Hiralal Agrawal
Towards Automatic Debugging of Computer Programs
Advisors: Richard A. DeMillo, and Eugene H. Spafford
Paul Edward Buis
Distributed Scientific Software Systems
Advisor: Wayne R. Dyksen
Tamal K. Dey
Decompositions of Polyhedra in Three Dimensions
Advisor: Chandrajit Bajaj
James Nelson Griffioen
Remote Memory Backing Storage for Distributed Virtual Memory Operating Systems
Advisor: Douglas E. Comer
Insung Ihm
On Surface Design with Implicit Algebraic Surfaces
Advisor: Chandrajit Bajaj
Yungho Leu
Flexible Transaction Management in the InterBase Project
Advisor: Ahmed K. Elmagarmid
Lynn E. TeWinkel
Mesh Algorithms for Problems in Image Processing
Advisor: Susanne E. Hambrusch
Weimin Du
Maintaining Multidatabase Consistency: The Quasi Serializability Approach
Advisor: Ahmed K. Elmagarmid
Abdelsalam A. Helal
Adaptability to Failures in Distributed Systems
Advisor: Bharat Bhargava
Kenneth R. Rodemann
Route Adaptation and Persistence in Networks
Advisor: Douglas E. Comer
Ko-Yang Wang
Intelligent Program Optimization and Parallelization for Parallel Computers
Advisor: Piyush Mehrotra

1990 [back to top]

Guillermina (Cabral) Sudarsky
Design Format Transformations
Advisor: Buster Dunsmore
Byoungju Choi
Software Testing Using High Performance Computers
Advisor: Aditya P. Mathur
Charles H. Koelbel
Compiling Programs for Distributed Memory Machines
Advisor: Piyush Mehrotra
Shy-Renn Lian
On Increasing Reliability and Availability in Distributed Database Systems
Advisor: Bharat Bhargava
L. Enrique Mafla-Gallegos
Experimental Studies in Distributed Transaction Processing Systems
Advisor: Bharat Bhargava
Joseph B. Manning
Geometric Symmetry in Graphs
Advisor: Mikhail J. Atallah
Daniel W. Wetklow
Type Reconstruction Algorithms for Object-Oriented Languages
Advisor: Ryan D. Stansifer
Jung-Hong Chuang
Surface Approximations in Geometric Modeling
Advisor: Christoph M. Hoffmann
Jyh-Jong Tsay
Techniques for Solving Geometric Problems on Mesh-Connected Computers
Advisor: Mikhail J. Atallah
Shirley (Browne) Moore
Quorum-based Recovery in Replicated Database Systems
Advisor: Bharat Bhargava
John Thomas Riedl
Adaptable Distributed Transaction Systems
Advisor: Bharat Bhargava

1989 [back to top]

Susan H. Rodger
Parallel Job Scheduling Algorithms
Advisor: Greg N. Frederickson
John Paul Bonomo
Parallel Iterative Techniques for the Solution of Elliptic Partial Differential Equations
Advisor: Wayne R. Dyksen
Dah-Jyh Guan
Vehicle Routing in Simple Graphs
Advisor: Greg N. Frederickson
Ajay K. Gupta
On the Relationship Between Parallel Computation and Graph Embeddings
Advisor: Susanne E. Hambrusch
Rajendra S. Yavatkar
An Architecture for High-Speed Packet Switched Networks
Advisor: Douglas E. Comer

1988 [back to top]

Myung Soo Kim
Motion Planning with Geometric Models
Advisor: Chandrajit Bajaj
Eric Leu
Consistent State Detection and Recovery for Concurrent Processing
Advisor: Bharat Bhargava
Thomas Narten
Best Effort Delivery in Connectionless Networks
Advisor: Douglas E. Comer
Parthasarathy Bhasker
Semlog: Multiparadigm Programming Language for Knowledge Engineering
Advisor: Andrew B. Whinston
Christina C. Christara
Parallel Algorithms and Architectures for the Numerical Solution of Partial Differential Equations
Advisor: Elias N. Houstis
Mahesh K. Rathi
An Objective Methodology for Early Software Size Estimation
Advisor: Samuel D. Conte
Gregory E. Shannon
Designing Efficient Parallel Algorithms: Techniques and Applications
Advisor: Greg N. Frederickson
Robert L. Brown
A Distributed Program Composition System
Advisors: Douglas E. Comer, and Peter J. Denning
Craig E. Wills
Service Execution in a Distributed Environment
Advisor: J. Timothy Korb

1987 [back to top]

Balachander Krishnamurthy
A Uniform Model of Interaction in Interactive Systems
Advisor: J. Timothy Korb
Michael T. Goodrich
Efficient Parallel Techniques for Computational Geometry
Advisor: Mikhail J. Atallah
Ravi Janardan
Space-efficient Schemes for Message Routing in Distributed Networks
Advisor: Greg N. Frederickson
Cristina Ruggieri
Dynamic Memory Allocation Techniques based on the Lifetime of Objects
Advisor: Thomas P. Murtagh

1986 [back to top]

Ralph Edward Droms
Naming of Files in Distributed Systems
Advisor: Douglas E. Comer
Christopher (Kent) Kantarjiev
Cache Coherence in Distributed Systems
Advisor: Douglas E. Comer
Calvin J. Ribbens
Domain Mappings: A Tool for the Development of Vector Algorithms for Numerical Solutions of Partial Differential Equations
Advisor: John R. Rice
Zuwang Ruan
File Replication in Distributed Systems
Advisor: Walter F. Tichy
Atte J. Kortekangas
Recognition of 3-Dimensional Objects by Rendering Function Matching
Advisor: Andrew B. Whinston
Shuh-Shen James Pan
An Equational Approach to Decision Support Systems
Advisor: Andrew B. Whinston

1985 [back to top]

Alejandro A. Kapauan
Pringle: A Test Bed for Parallel Computer and Parallel I/O Architectures
Advisor: Dennis B. Gannon
Jairo Panetta
Primitive Parallel Operations for Computational Linear Algebra
Advisor: Dennis B. Gannon
Tze-Jie Yu
The Static and Dynamic Models of Software Defects and Reliability
Advisor: Buster Dunsmore
Stephan V. Bechtolsheim
Graph Based Data Flow Programming of Parallel Machines
Advisor: Dennis B. Gannon
Yeou-Huei Hwang
Parallel Processing Image Synthesis
Advisor: Dennis B. Gannon
Teemu Tapani Kerola
Approximate and Exact Solutions for Multiple Class Queueing Network Models
Advisor: Herbert D. Schwetman
Larry Lee Peterson
Defining and Naming the Fundamental Objects in a Distributed Message System
Advisor: Douglas E. Comer

1984 [back to top]

Kuo-Cheng Li
Vector C - A Programming Language for Vector Processing
Advisor: Herbert D. Schwetman
Andrew S. Wang
The Estimation of Software Size and Effort: An Approach Based on the Evaluation of Software Metrics
Advisor: Buster Dunsmore
Matthew A. Bishop
Practical Take-Grant Systems: Do They Exist?
Advisor: Dorothy E. Denning
Andre B. Bondi
Incorporating Open Queueing Models into Closed Queueing Network Algorithms
Advisor: Peter J. Denning

1983 [back to top]

David Capka
The Nondeterministic Computation of Functions
Advisor: Paul R. Young
Subhash C. Agrawal
Metamodeling: A Study of Approximations in Queueing Models
Advisor: Peter J. Denning
James D. Arthur
OMNI: An Interactive Environment for Tool Selection, Specification, and Composition
Advisor: Douglas E. Comer
Ivan P. Huerta
Optimal Difference Formulas
Advisor: John R. Rice
David Mark Mount
Graph Spectra and Isomorphism Testing
Advisor: Christoph M. Hoffmann
Daniel Allen Reed
Performance Based Design and Analysis of Multimicrocomputer Networks
Advisor: Herbert D. Schwetman
David K. Schrader
Concurrency Control in Distributed Ring Computer Systems
Advisor: Peter J. Denning
Stephen M. Thebaut
The Saturation Effect in Large-Scale Software Development: Its Impact and Control
Advisor: Vincent Y. Shen

1982 [back to top]

Jeffrey A. Brumfield
Operational Analysis of Queueing Phenomena
Advisor: Peter J. Denning
Eric Richard Dittert
On the Complexity of Retrieving Information Associated with Data Keys
Advisor: Michael J. O'Donnell
Wayne R. Dyksen
Tensor Product Generalized Alternating Direction Implicit Methods for Solving Separable Second Order Linear Elliptic Partial Differential Equations
Advisor: John R. Rice
Kye S. Hedlund
Wafer Scale Integration of Configurable, Highly Parallel Processors
Advisor: Lawrence Snyder
Ching-Chih Hsiao
Highly Parallel Processing of Relational Databases
Advisor: Lawrence Snyder
Vance E. Waddle
A Methodology and System for Logical Data Base Design
Advisor: Andrew B. Whinston
William A. Ward Jr.
Finite Difference Methods for Nearly Singular Problems
Advisor: John R. Rice

1981 [back to top]

L. Paul Chew
Normal Forms in Term Rewriting Systems
Advisor: Michael J. O'Donnell
Deborah A. Joseph
On the Power of Formal Systems for Analyzing Linear and Polynomial Time Program Behavior
Advisor: Paul R. Young
Stephen J. Tolopka
On Modeling Local Paging Algorithms for Virtual Memory Systems
Advisor: Herbert D. Schwetman

1980 [back to top]

Scott N. Woodfield
Enhanced Effort Estimation by Extending Basic Programming Models to Include Modularity Factors
Advisor: Vincent Y. Shen
Joseph Henry Fasel III
Programming Languages as Abstract Data Types -- Definition and Implementation
Advisor: Peter J. Denning
T. Donald Dennis
A Capability Based Machine
Advisor: Peter J. Denning

1979 [back to top]

Gianfranco Balbo
Approximate Methods in Computer Performance Evaluation
Advisor: Peter J. Denning
Alan R. Hevner
The Optimization of Query Processing on Distributed Database Systems
Advisor: S. Bing Yao
James Ross Miller
Computer Graphics in Macromolecular Crystallography
Advisor: David C. Anderson
Ronald F. Boisvert
High Order Finite Difference Techniques for Elliptic Boundary Value Problems
Advisor: John R. Rice
Edward F. Gehringer
Functionality and Performance in Capability-Based Operating Systems
Advisor: Herbert D. Schwetman
Richard T. Simon
Modeling of Virtual Memory Systems
Advisor: Peter J. Denning

1978 [back to top]

Steven C. Bruell
On Single and Multiple Job Class Queueing Network Models of Computer Systems
Advisor: Herbert D. Schwetman
Robert L. Mead Jr.
On the Modeling of Resource Demands in a Multiprogrammed Computer System
Advisor: Herbert D. Schwetman
Timothy J. Long
Some Polynomial Time Reducibilities
Advisor: Paul R. Young
Karl Joseph Ottenstein
Data-Flow Graphs as an Intermediate Program Form
Advisor: Maurice H. Halstead
Linda Marie Ott
Predicting Parameters of the Software Validation Effort
Advisor: Maurice H. Halstead
David Adam Poplawski
Error Recovery for Extended LL-Regular Parsers
Advisor: Christoph M. Hoffmann

1977 [back to top]

Ronald D. Gordon
A Measure of Mental Effort Related to Program Clarity
Advisor: Maurice H. Halstead
Mayer Dlugach Schwartz
Inference From Statistical Data Bases
Advisor: Peter J. Denning
Karl A. Winklmann
A Theoretical Study of Some Aspects of Parameter Passing in ALGOL 60 and in Similar Programming Languages
Advisor: Paul R. Young

1976 [back to top]

G. Scott Graham
A Study of Program and Memory Policy Behaviour
Advisor: Peter J. Denning
Benn R. Konsynski
Computer Aided Logical Applications Software Design
Advisor: Jay F. Nunamaker
Robert H. Bonczek
Theoretical Description of an Access Language for a General Decision Support System
Advisor: Andrew B. Whinston
Sharon K. Fletcher
A Quasi-Interactive Approach to Computer Assisted Instruction
Advisor: Herbert D. Schwetman
Kevin C. Kahn
Program Behavior and Load Dependent System Performance
Advisor: Peter J. Denning
Patrick A. Blosser
An Automatic System for Application Software Generation and Portability
Advisor: Jay F. Nunamaker
James M. Lemme
Speedup in Parallel Algorithms for Adaptive Quadrature
Advisor: John R. Rice
Richard F. Puk
The Optimal Distribution of Device-Dependent Graphics Functions
Advisor: Richard E. Garrett
Bradford W. Wade
A Micro-program Mini-computer for the Efficient Execution of High-level Language Program
Advisor: Victor B. Schneider

1975 [back to top]

George Wayne Cox
Portability and Adaptability in Operating System Design
Advisor: Victor B. Schneider
Atilla Elci
Factors Affecting the Program Size of Control Functions of Operating Systems
Advisor: Maurice H. Halstead
Bruce J. MacLennan
Semantic and Syntactic Specification and Extension of Languages
Advisor: Victor B. Schneider
Dorothy E. Denning
Secure Information Flow in Computer Systems
Advisor: Herbert D. Schwetman

1974 [back to top]

David I. Heimann
Computational Aspects of the Busy Period for the Single-Server Queue in Discrete Time
Advisor: Marcel F. Neuts
John A. Heminger
Collocation Solutions of Systems of Boundary Value Problems
Advisor: John R. Rice
Thomas I.M. Ho
A Non-Procedural High-Level Language for Automated Design of Application Systems
Advisor: Jay F. Nunamaker
Dennis G. Kafura
Analysis of Scheduling Algorithms for a Model of a Multiprocessor Computer System
Advisor: Vincent Y. Shen
William G. Verbrugge
Planning and Management Systems for Small Colleges
Advisor: Jay F. Nunamaker
Larry A. Anderson
Optimal Chebyshev-Type Quadrature Formulas for Various Weight Functions
Advisor: Walter Gautschi
William J. Dahl
An Interactive Information Systems Optimization and Design Algorithm
Advisor: Jay F. Nunamaker
Frank L. Friedman
Decompilation and the Transfer of Mini Computer Operating Systems
Advisor: Victor B. Schneider
Paul M. Zislis
Semantic Decomposition of Computer Programs: A Program Test Aid
Advisor: Maurice H. Halstead
William J. Collins
Provably Recursive Analysis
Advisor: Paul R. Young
Elias N. Houstis
Finite Element Methods for Solving Initial Boundary Value Problems
Advisor: John R. Rice
Lawrence Joseph Schutte
The Value of Dynamic Algebra Operators for Sequential Computers
Advisor: Maurice H. Halstead
Stuart H. Zweben
The Internal Structure of Algorithms
Advisor: Maurice H. Halstead

1973 [back to top]

Richard E. Buten
A Scheduling Model for Computer Systems with Two Classes of Processors
Advisor: Vincent Y. Shen
Kenneth L. Krause
Analysis of Computer Scheduling with Memory Constraints
Advisor: Vincent Y. Shen
Donald E. Swenson
Performance Measures for a Data Base Management System
Advisor: Andrew B. Whinston
Necdet Bulut
Invariant Properties of Algorithms
Advisor: Maurice H. Halstead
Barron C. Housel III
A Study of Decompiling Machine Languages into High-Level Machine Independent Languages
Advisor: Maurice H. Halstead
J. A. Iverson Jr.
Magnetic Tape Portability
Advisor: Jay F. Nunamaker
Rodney R. Oldehoeft
Design Considerations for Interactive, Application Oriented, Transportable Subsystems
Advisor: John R. Rice
Thomas J. Aird
Computational Solution of Global Nonlinear Least Squares Problems
Advisor: John R. Rice
James R. Arsenault
GPLAN-WPC: A Generalized Data Base Planning System for Water Pollution Control
Advisor: Jay F. Nunamaker
Dennis Michael Conti
A Formal Model of Interacting Learning Machines
Advisor: Terry J. Frederick
Jean-Louis Lassez
On the Relationship Between Prefix Codes, Trees, and Automata
Advisor: J. Richard Buchi
M. Dennis Mickunas
Techniques for Compressing Bounded Context Acceptors
Advisor: Victor B. Schneider
Roger Vance Roman
The Structure of an Environment for an Experimental, Interactive, Mathematical Problem Solving System
Advisor: Samuel D. Conte

1972 [back to top]

Ronald L. Lancaster
Semantic Primitives for Quick Implementation of a Family of Procedural Languages
Advisor: Victor B. Schneider
Edward G. Pekarek Jr.
Some Galerkin Methods for a Semilinear Hyperbolic Mixed Boundary Value Problem
Advisor: Robert E. Lynch
Toby S. Berk
The Design and Implementation of TUNA, A High Level Graphical Programming Language
Advisor: Maurice H. Halstead
David S. Dodson
Optimal Order Approximation by Polynomial Spline Functions
Advisor: Carl deBoor
Raymond F. Boyce
Topological Reorganization as an Aid to Program Simplification
Advisor: Maurice H. Halstead
Thomas G. DeLutis
Effectiveness of R___ling Storage Design with Respect to Data Base Organization
Advisor: Maurice H. Halstead
Guy T. Hochgesang
An Algorithm for Grammatical Inference of Programming Languages
Advisor: Maurice H. Halstead
William C. Nylin Jr.
Structural Reorganization of Multipass Computer Programs
Advisor: Maurice H. Halstead
Michael D. Shapiro
A SNOBOL Machine: Functional Architectural Concepts of a String Processor
Advisor: Maurice H. Halstead

1971 [back to top]

James C. Blair
An Extendible Interactive Debugging System
Advisor: Saul Rosen
Robert E. Noonan
Computer Programming with a Dynamic Algebra
Advisor: Maurice H. Halstead
Dennis J. Frailey
A Study of Code Optimization Using a General Purpose Optimizer
Advisor: Maurice H. Halstead
Peng-Siu Mei
Linear Closure Spaces and Matroids, Convex Closure Spaces and Paramatroids
Advisor: J. Richard Buchi

1970 [back to top]

Leonard J. Bass
Hierarchies Based on Computational Complexity and Irregularities of Class Determining Measured Sets
Advisor: Paul R. Young
Stefan M. Silverston
Aspen -- An Automatic Partial Differential Equation Solver
Advisor: Samuel D. Conte
Arthur E. Oldehoeft
A Computer System to Teach Computational Mathematics
Advisor: Samuel D. Conte
Steven A. Pruess
Estimating the Eigenvalues of Sturm-Liouville Problems by Approximating the Differential Equation
Advisor: Carl deBoor

1969 [back to top]

Herbert L. Dershem
Approximation of Bessel's Differential Operator of Fractional Order by Finite-Difference Operators
Advisor: Robert E. Lynch
James L. Phillips
Collocation as a Projection Method for Solving Integral and Other Operator Equations
Advisor: Walter Gautschi
Douglas K. Smith
A Dynamic Component Suppression Algorithm for the Acceleration of Vector Sequences
Advisor: L. Duane Pyle
Larry E. Axsom
A System for the Construction of Variable Model Compilers and Schedulers
Advisor: Saul Rosen
Edward J. Desautels
The PUFFT Time Sharing System -- Design, Implementation and Performance
Advisor: Saul Rosen
Norman E. Gibbs
The Bandwidth of Graphs
Advisor: Robert R. Korfhage
Lawrence R. Symes
A Mathematical Problem Solving Language and Its Interpreter
Advisor: John R. Rice

1968 [back to top]

Hermann G. Burchard
Interpolation and Approximation by Generalized Convex Functions
Advisor: John R. Rice
John C. Hoff
Approximation with Kernels of Finite Oscillations
Advisor: John R. Rice
William H. Hosken
Certain Extended Post Canonical Systems Related to Context-Sensitive Languages
Advisor: J. Richard Buchi
Ramsay V. Zahar
Computational Algorithms for Linear Difference Equations
Advisor: Walter Gautschi

1967 [back to top]

Bernard B. Evans
Explicit Asymmetric Difference Algorithms for the Approximate Solution of Parabolic Partial Differential Equations
Advisor: Samuel D. Conte
Douglas S. Kerr
On Some Iterative Methods for Solving a Class of Nonlinear Boundary Value Problems
Advisor: Samuel D. Conte
Lawrence H. Landweber
A Design Algorithm for Sequential Machines and Definability in Monadic Second-Order Arithmetic
Advisor: J. Richard Buchi
Roland A. Sweet
Properties of a Semi-Discrete Approximation to the Beam Equation
Advisor: John S. Maybee
Walter S. Brainerd
Tree Generating Systems and Tree Automata
Advisor: J. Richard Buchi
James E. Kalan
Some Results on Amplitude Damped Vibrations
Advisor: John S. Maybee

1966 [back to top]

Kenneth M. Brown
A Quadratically Convergent Method for Solving Simultaneous Non-linear Equations
Advisor: Samuel D. Conte
Karl H. Usow
Computational Aspects of Approximation in the L\d1\u Metric
Advisor: John R. Rice