2014

• Butler, Patrick Julian Carey (2014) Knowledge Discovery in Intelligence Analysis, Ph.D. Dissertation, Department of Computer Science. Defense: 2014-06-03, Advisor: Ramakrishnan, Naren.
• Chakraborty, Promita (2014) A Computational Framework for Interacting with Physical Molecular Models of the Polypeptide Chain, Ph.D. Dissertation, Department of Computer Science. Defense: 2014-05-08, Advisor:  Onufriev, Alexey.
• Li, Min (2014) A resource management framework for cloud computing, Ph.D. Dissertation, Department of Computer Science. Defense: 2014-05-06, Advisor: Butt, Ali R. A..
• Al-Hamadi, Hamid Helal (2014) Dynamic Redundancy Management of Multisource Multipath Routing Integrated with Voting-based Intrusion Detection in Wireless Sensor Networks, Ph.D. Dissertation, Department of Computer Science. Defense: 2014-04-24, Advisor: Chen, Ing-Ray.
• Chhabra, Meenal (2014) Studies in the Algorithmic Pricing of Information Goods and Services, Ph.D. Dissertation, Department of Computer Science. Defense: 2014-03-11.
• Branham, Stacy (2014) Designing Technologies for Empathic Communication, Ph.D. Dissertation, Department of Computer Science. Defense: 2014-02-12, Advisor: Harrison, Steve.
• Aguilar Huacan, Boris Abner (2014) Improving the Accuracy and Efficiency of Implicit Solvent Models in Biomolecular Modeling, Ph.D. Dissertation, Department of Computer Science. Defense 2014-01-31, Advisor: Onufriev, Alexey.
• Deshpande, Shubhangi Govind (2014) Advances in aircraft design: multiobjective optimization and a markup language, Ph.D. Dissertation, Department of Computer Science. Defense: 2014-01-23.
• Akbar, Monika (2014) Integrating Community with Collections in Educational Digital Libraries, Ph.D. Dissertation, Department of Computer Science. Defense: 2014-01-23, Advisor: Shaffer, Clifford A..
• Yang, Seungwon (2014) Automatic Identification of Topic Tags from Texts Based on Expansion-Extraction Approach, Ph.D. Dissertation, Department of Computer Science. Defense: 2014-01-22, Advisor: Fox, Edward A..
• Nikolaev, Ruslan (2014) Design and Implementation of the VirtuOS Operating System, Ph.D. Dissertation, Department of Computer Science. Defense: 2014-01-21, Advisor: Back, Godmar V..

2013

• Poirel, Christopher L (2013) Bridging Methodological Gaps in Network-Based Systems Biology, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-10-16, Advisor: Murali, T. M..
• Ramesh, Bharath (2013) Samhita: Virtual Shared Memory for Non-Cache-Coherent Systems, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-08-05.
• Ma, Yifei (2013) A Database Supported Modeling Environment for Pandemic Planning and Course of Action Analysis, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-06-24.
• Liu, Xutong (2013) Prediction and Anomaly Detection Techniques for Spatial Data, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-06-11, Advisor: Lu, Chang-Tien.
• Ragan, Eric Dennis (2013) Supporting Learning through Spatial Information Presentations in Virtual Environments, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-06-11, Advisor: Bowman, Douglas A..
• Xiong, Huijun (2013) Secure Data Service Outsourcing with Untrusted Cloud, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-06-10, Advisor: Yao, Danfeng.
• Soundararajan, Shvetha (2013) Assessing Agile Methods: Investigating Adequacy, Capability, and Effectiveness (An Objectives, Principles, Strategies Approach), Ph.D. Dissertation, Department of Computer Science. Defense: 2013-06-10, Advisor: Arthur, James D..
• Bao, Fenye (2013) Dynamic Trust Management for Mobile Networks and Its Applications, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-06-05, Advisor: Chen, Ing-Ray.
• Lee, Joon Suk (2013) Looking into the details of face-to-face coordination, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-05-15, Advisor: Tatar, Deborah.
• Liu, Xiaomo (2013) Online Knowledge Community Mining and Modeling for  Effective Knowledge Management, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-05-15, Advisor: Fan, Patrick.
• Park, Sung Hee (2013) Discipline-Independent Text Extraction from Heterogeneous Styled References Using Knowledge from the Web, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-05-15, Advisor: Fox, Edward A..
• Kim, Ji Sun (2013) Action-Inspired Approach to Design of Navigation Techniques for Effective Spatial Learning in 3-D Virtual Environments, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-05-15, Advisor: Quek, Francis.
• Peng, Chao (2013) Real-time Visualization of Massive 3D Models on GPU Parallel Architectures, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-05-15, Advisor: Cao, Yong.
• Almohri, Hussain (2013) High Assurance Models for Secure Systems, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-05-08, Advisor: Yao, Danfeng.
• Elglaly, Yasmine Nader Mohamed (2013) Spatial Reading System for Individuals with Blindness, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-05-06, Advisor: Quek, Francis.
• Singh, Hermanpreet (2013) Controlling Scalability in Distributed Virtual Environments, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-05-01, Advisor: Gracanin, Denis.
• Song, Myoungkyu (2013) Supporting Effective Reuse and Safe Evolution in Metadata-Driven Software Development, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-04-29, Advisor: Tilevich, Eli.
• Miller, Chreston Allen (2013) Structural Model Discovery in Temporal Event Data Streams, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-04-23, Advisor: Quek, Francis.
• Mitchell III, Robert Raymond (2013) Design and Analysis of Intrusion Detection Protocols in Cyber Physical Systems, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-04-23, Advisor: Chen, Ing-Ray.
• Song, Shuaiwen (2013) Power, Performance and Energy Models and Systems for Emergent Architectures, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-04-10, Advisor: Cameron, Kirk W..
• Park, Seung In (2013) Modeling Social Group Interactions for Realistic Crowd Behaviors, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-03-22, Advisor: Quek, Francis.
• Pyla, Hari Krishna (2013) Safe Concurrent Programming and Execution, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-03-05.
• Cho, Yong Ju (2013) Algorithms for Reconstructing and Reasoning about Chemical Reaction Networks, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-01-24, Advisor: Ramakrishnan, Naren.
• Chen, Feng (2013) Efficient Algorithms for Mining Large Spatio-Temporal Data, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-01-21, Advisor: Lu, Chang-Tien.
• Monti, Henry Matthew (2013) An Integrated End-User Data Service for HPC Centers, Ph.D. Dissertation, Department of Computer Science. Defense: 2013-01-16, Advisor: Butt, Ali R. A..

2012

• Liu, Zhen (2012) Stochastic Simulation Methods for Biochemical Systems with Multi-state and Multi-scale Features, Ph.D. Dissertation, Department of Computer Science. Defense: 2012-11-13, Advisor: Cao, Yang.
• Wang, Guanying (2012) Evaluating MapReduce System Performance: A Simulation Approach, Ph.D. Dissertation, Department of Computer Science. Defense: 2012-08-27, Advisor: Butt, Ali R. A..
• Elteir, Marwa Khamis (2012) A MapReduce Framework for HeterogeneousComputing Architectures, Ph.D. Dissertation, Department of Computer Science. Defense: 2012-08-15, Advisor: Feng, Wu-Chun.
• Ahn, Tae-Hyuk (2012) , Ph.D. Dissertation, Department of Computer Science. Defense: 2012-07-30, Advisor: Sandu, Adrian.
• Leidig, Jonathan Paul (2012) Epidemiology Experimentation and Simulation Management through Scientific Digital Libraries, Ph.D. Dissertation, Department of Computer Science. Defense: 2012-07-20, Advisor: Fox, Edward A..
• Hossain, Mahmud Shahriar (2012) Exploratory Data Analysis using Clusters and Stories, Ph.D. Dissertation, Department of Computer Science. Defense: 2012-06-08, Advisor: Ramakrishnan, Naren.
• Guo, Sheng (2012) Using Dependency Parses to Augment Feature Construction for Text Mining, Ph.D. Dissertation, Department of Computer Science. Defense: 2012-05-02, Advisor: Ramakrishnan, Naren.
• Li, Yinan (2012) Integrated Mobility and Service Management for Network Cost Minimization in Wireless Mesh Networks, Ph.D. Dissertation, Department of Computer Science. Defense: 2012-04-30, Advisor: Chen, Ing-Ray.
• Lazem, Shaimaa (2012) Analysis of the Relationships between Changes in Distributed System Behavior and Group Dynamics, Ph.D. Dissertation, Department of Computer Science. Defense: 2012-04-06, Advisor: Gracanin, Denis.
• Moustafa, Iman Saleh (2012) Formal Specification and Verification of Data-Centric Web Services, Ph.D. Dissertation, Department of Computer Science. Defense: 2012-02-10, Advisor: Kulczycki, Gregory W..

2011

• McMahan, Ryan Patrick (2011) Exploring the Effects of Higher-Fidelity Display and Interaction for Virtual Reality Games, Ph.D. Dissertation, Department of Computer Science. Defense: 2011-12-05, Advisor: Bowman, Douglas A..
• Lin, Sirong (2011) Programmer Cognition in Explicit Coordination Modeling: Understanding the Design of Complex Human Interaction and Coordination, Ph.D. Dissertation, Department of Computer Science. Defense: 2011-11-29, Advisor: Tatar, Deborah.
• Rafique, Muhammad Mustafa (2011) An Adaptive Framework for Managing Heterogeneous Many-Core Clusters, Ph.D. Dissertation, Department of Computer Science. Defense: 2011-09-22, Advisor: Butt, Ali R. A..
• Ni, Tao (2011) A Framework of Freehand Gesture Interaction: Techniques, Guidelines, and Applications, Ph.D. Dissertation, Department of Computer Science. Defense: 2011-09-19, Advisor: Bowman, Douglas A..
• Judge, Tejinder Kaur (2011) Patterns of Domestic Video Mediated Communication, Ph.D. Dissertation, Department of Computer Science. Defense: 2011-08-29, Advisor: Harrison, Steven R..
• Andrews, Christopher Power (2011) Space to Think: Sensemaking and Large, High-Resolution Displays, Ph.D. Dissertation, Department of Computer Science. Defense: 2011-08-09, Advisor: North, Christopher L..
• Kurdziolek, Margaret Angela (2011) Classroom resources and impact on learning, Ph.D. Dissertation, Department of Computer Science. Defense: 2011-08-05, Advisor: Tatar, Deborah.
• Patnaik, Debprakash (2011) Multiple Uses of Frequent Episodes in Temporal Process Modeling, Ph.D. Dissertation, Department of Computer Science. Defense: 2011-08-04, Advisor: Ramakrishnan, Naren.
• Fang, Bing (2011) , Ph.D. Dissertation, Department of Computer Science. Defense: 2011-06-30, Advisor: Quek, Francis.
• Kopper, Regis Augusto Poli (2011) Understanding and Improving Distal Pointing Interaction, Ph.D. Dissertation, Department of Computer Science. Defense: 2011-06-09, Advisor: Bowman, Douglas A..
• Vega, Laurian Claire (2011) Security in Practice: Examining the Collaborative Management of Sensitive Information in Childcare Centers and Physicians’ Offices, Ph.D. Dissertation, Department of Computer Science. Defense: 2011-03-28, Advisor: Harrison, Steven R..
• Alexe, Mihai (2011) Adjoint-based space-time adaptive solution algorithms for sensitivity analysis and inverse problems, Ph.D. Dissertation, Department of Computer Science. Defense: 2011-03-18, Advisor: Sandu, Adrian.
• Belal, Nahla Ahmed (2011) Two Problems in Computational Genomics, Ph.D. Dissertation, Department of Computer Science. Defense: 2011-02-14, Advisor: Heath, Lenwood S..
• Murthy, Uma (2011) Digital Libraries with Superimposed Information: Supporting Scholarly Tasks that Involve Fine Grain Information, Ph.D. Dissertation, Department of Computer Science. Defense: 2011-01-28, Advisor: Fox, Edward A..
• Wahid, Shaikh Shahtab (2011) Facilitating Design Knowledge Reuse Through Relationships, Ph.D. Dissertation, Department of Computer Science. Defense: 2011-01-27, Advisor: McCrickard, Donald Scott.
• Li, Dong (2011) Scalable and Energy Efficient Execution Methods for Multicore Systems, Ph.D. Dissertation, Department of Computer Science. Defense: 2011-01-26, Advisor: Cameron, Kirk W..

2010

• Sharma, Sushant (2010) Cooperation in Wireless Networks, Ph.D. Dissertation, Department of Computer Science. Defense: 2010-12-16, Advisor: Hou, Yiwei Thomas.
• Belgin, Mehmet (2010) Structure-based Optimizations for Sparse Matrix-Vector Multiply, Ph.D. Dissertation, Department of Computer Science. Defense: 2010-12-14, Advisor: Back, Godmar V..
• Schneider, Scott (2010) Shared Memory Abstractions for Heterogeneous Multicore Processors, Ph.D. Dissertation, Department of Computer Science. Defense: 2010-12-10, Advisor: Nikolopoulos, Dimitrios S..
• Boedihardjo, Arnold Priguna (2010) Efficient Algorithms for Mining Data Streams, Ph.D. Dissertation, Department of Computer Science. Defense: 2010-08-10, Advisor: Lu, Chang-Tien.
• Kang, Pilsung (2010) Modular Implementation of Program Adaptation with Existing Scientific Codes, Ph.D. Dissertation, Department of Computer Science. Defense: 2010-08-10, Advisor: Varadarajan, Srinidhi.
• Singh, Kumaresh (2010) Efficient Computational Tools for Variational Data Assimilation and Information Content Estimation, Ph.D. Dissertation, Department of Computer Science. Defense: 2010-08-10, Advisor: Sandu, Adrian.
• Wang, Yi (2010) Design and Evaluation of Contextualized Video Interfaces, Ph.D. Dissertation, Department of Computer Science. Defense: 2010-08-05, Advisor: Bowman, Douglas A..
• Oliveira, Francisco Carlos De Mattos Brito (2010) Enabling the Blind to See Gestures, Ph.D. Dissertation, Department of Computer Science. Defense: 2010-08-02, Advisor: Quek, Francis.
• Ahmed, Hussein Mohammed (2010) Context Sensitive Interaction Interoperability for Distributed Virtual Environments, Ph.D. Dissertation, Department of Computer Science. Defense: 2010-05-28, Advisor: Gracanin, Denis.
• Linford, John Christian (2010) Accelerating Atmospheric Modeling Through Emerging Multi-core Technologies, Ph.D. Dissertation, Department of Computer Science. Defense: 2010-05-05, Advisor: Sandu, Adrian.
• Lee, Jason Chong (2010) Integrating scenario-based usability engineering and agile software development, Ph.D. Dissertation, Department of Computer Science. Defense: 2010-03-31, Advisor: McCrickard, Donald Scott.

2009

• Jin, Ying (2009) New Algorithms for Mining Network Datasets: Applications to Phenotype and Pathway Modeling, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-12-08, Advisor: Ramakrishnan, Naren.
• Korah, John (2009) Issues of Real Time Information Retrieval in Large, Dynamic and Heterogeneous Search Spaces, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-11-03, Advisor: Santos, Eunice E..
• Lawson, Mark Jon (2009) The Search for a Cost Matrix to Solve Rare-Class Biological Problems, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-11-02, Advisor: Zhang, Liqing.
• Sudarsan, Rajesh (2009) ReSHAPE: A Framework for Dynamic Resizing of Parallel Applications, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-09-25, Advisor: Ribbens, Calvin J..
• Dai, Jing (2009) Efficient Concurrent Operations in Spatial Databases, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-09-04, Advisor: Lu, Chang-Tien.
• Turner, Scott Alexander (2009) Peer Review in CS2: the Effects on Attitudes, Engagement, and Conceptual Learning, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-08-13, Advisor: Perez-Quinones, Manuel A..
• Shu, Jiang (2009) Experiment Management for the Problem Solving Environment WBCSim, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-08-10, Advisor: Watson, Layne T..
• Liu, Xumin (2009) Change Management of Long Term Composed Services, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-07-28, Advisor: Bouguettaya, Athman.
• Cheng, Haiyan (2009) Uncertainty Quantification and Uncertainty Reduction Techniques for Large-scale Simulations, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-07-15, Advisor: Sandu, Adrian.
• Kim, Dong Kwan (2009) Applying Dynamic Software Updates to Computationally-Intensive Applications, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-06-22, Advisor: Tilevich, Eli.
• Phillips, Rhonda D. (2009) A Probabilistic Classification Algorithm With Soft Classification Output, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-03-30, Advisor: Watson, Layne T..
• Tungare, Manas (2009) Mental Workload in Personal Information Management: Understanding PIM Practices Across Multiple Devices, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-03-25, Advisor: Perez-Quinones, Manuel A..
• He, Weiping (2009) Integrated Mobility and Service Management for Future All-IP Based Wireless Networks, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-03-20, Advisor: Chen, Ing-Ray.
• Chafekar, Deepti Ramesh (2009) Capacity Characterization of Multi-Hop Wireless Networks- A Cross Layer Approach, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-03-11, Advisor: Marathe, Madhav V..
• Mansour, Riham (2009) Formal Analysis and Design for Engineering Security, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-03-11, Advisor: Bohner, Shawn A..
• Tolentino, Matthew Edward (2009) Managing Memory for Power, Performance, and Thermal Efficiency, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-02-18, Advisor: Cameron, Kirk W..
• Zheng, George (2009) Web Service Mining, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-02-04, Advisor: Bouguettaya, Athman.
• Tadepalli, Sriram Satish (2009) Schemas of Clustering, Ph.D. Dissertation, Department of Computer Science. Defense: 2009-01-29, Advisor: Ramakrishnan, Naren.

2008

• Yilmaz, Okan (2008) A Class of Call Admission Control Algorithms for Resource Management and Reward Optimization for Servicing Multiple QoS Classes in Wireless Networks and Its Applications, Ph.D. Dissertation, Department of Computer Science. Defense: 2008-11-17, Advisor: Chen, Ing-Ray.
• Cho, Jin-Hee (2008) Design and Analysis of QoS-Aware Key Management and Intrusion Detection Protocols for Secure Mobile Group Communications in Wireless Networks, Ph.D. Dissertation, Department of Computer Science. Defense: 2008-11-12, Advisor: Chen, Ing-Ray.
• Malik, Zaki (2008) Reputation-based Trust Framework for Service Oriented Environments, Ph.D. Dissertation, Department of Computer Science. Defense: 2008-10-24, Advisor: Gracanin, Denis.
• Gabbard, Joseph L. (2008) Usability Engineering of Text Drawing Styles in Augmented Reality User Interfaces, Ph.D. Dissertation, Department of Computer Science. Defense: 2008-09-11, Advisor: Hix, Deborah S..
• Rivera, Corban G. (2008) Automatic Reconstruction of the Building Blocks of Molecular Interaction Networks, Ph.D. Dissertation, Department of Computer Science. Defense: 2008-08-11, Advisor: Murali, T. M..
• Yu, Qi (2008) A Foundational Framework for Service Query Optimization, Ph.D. Dissertation, Department of Computer Science. Defense: 2008-07-30, Advisor: Gracanin, Denis.
• Wingrave, Chadwick A (2008) Concept-Oriented Design in Chasm: Conversational Domain Language Inspired 3D User Interface Design and Development, Ph.D. Dissertation, Department of Computer Science. Defense: 2008-07-11, Advisor: Bowman, Douglas A..
• Blagojevic, Filip (2008) Scheduling on Asymmetric Architectures, Ph.D. Dissertation, Department of Computer Science. Defense: 2008-05-30, Advisor: Nikolopoulos, Dimitrios S..
• Constantinescu, Emil Mihai (2008) Adaptive Numerical Methods for Large Scale Simulations and Data Assimilation, Ph.D. Dissertation, Department of Computer Science. Defense: 2008-05-26, Advisor: Sandu, Adrian.
• Ravichandar, Ramya (2008) Capabilities Engineering:Promoting Change-Reduction and Constructing Change-Tolerant Systems, Ph.D. Dissertation, Department of Computer Science. Defense: 2008-05-07, Advisor: Arthur, James D..
• Ray, Andrew (2008) The Interaction Framework For Innovation: A Method for Creating Reusable Three Dimensional Interaction Techniques, Ph.D. Dissertation, Department of Computer Science. Defense: 2008-04-30, Advisor: Bowman, Douglas A..
• Speer, Ngoc Anh Phan (2008) Design and Analysis of Adaptive Fault Tolerant QoS Control Algorithms for Query Processing in Wireless Sensor Networks, Ph.D. Dissertation, Department of Computer Science. Defense: 2008-04-17, Advisor: Chen, Ing-Ray.
• Kim, Seonho (2008) Visualizing Users, User Communities, and Usage Trends in Complex Information Systems Using Implicit Rating Data, Ph.D. Dissertation, Department of Computer Science. Defense: 2008-04-14, Advisor: Fox, Edward A..
• Pati, Amrita (2008) Graph-based genomic signatures, Ph.D. Dissertation, Department of Computer Science. Defense: 2008-04-14, Advisor: Heath, Lenwood S..
• Randhawa, Ranjit (2008) Model Composition and Aggregation in Macromolecular Regulatory Networks, Ph.D. Dissertation, Department of Computer Science. Defense: 2008-04-04, Advisor: Shaffer, Clifford A..
• Curtis-Maury, Matthew (2008) Improving the Efficiency of Parallel Applications on Multithreaded and Multicore Systems, Ph.D. Dissertation, Department of Computer Science. Defense: 2008-03-19, Advisor: Nikolopoulos, Dimitrios S..

2007

• Guo, Donghang (2007) Large-Scale Simulations for Complex Adaptive Systems with Application to Biological Domains, Ph.D. Dissertation, Department of Computer Science. Defense: 2007-12-12, Advisor: Santos, Eunice E..
• Pan, Long (2007) Effective and Efficient Methodologies for Social Network Analysis, Ph.D. Dissertation, Department of Computer Science. Defense: 2007-12-11, Advisor: Santos, Eunice E..
• Rezgui, Abdelmounaam (2007) Service-Oriented Sensor-Actuator Networks, Ph.D. Dissertation, Department of Computer Science. Defense: 2007-11-30, Advisor: Eltoweissy, Mohamed Y..
• Yang, Xu (2007) Multi-channel Mobile Access to Web Services, Ph.D. Dissertation, Department of Computer Science. Defense: 2007-11-26, Advisor: Gracanin, Denis.
• He, Jian (2007) Design and Evaluation of a Data-distributed Massively Parallel Implementation of a Global Optimization Algorithm---DIRECT, Ph.D. Dissertation, Department of Computer Science. Defense: 2007-11-15, Advisor: Watson, Layne T..
• Pyla, Pardha S (2007) Connecting the usability and software engineering life cycles through a communication-fostering software development framework and cross-pollinated computer science courses, Ph.D. Dissertation, Department of Computer Science. Defense: 2007-09-10, Advisor: Hartson, H. Rex.
• Ge, Rong (2007) Theories and Techniques for Efficient High-End Computing, Ph.D. Dissertation, Department of Computer Science. Defense: 2007-08-27, Advisor: Cameron, Kirk W..
• Tan, Roy Patrick (2007) Programming Language and Tools for Automated Testing, Ph.D. Dissertation, Department of Computer Science. Defense: 2007-08-08, Advisor: Edwards, Stephen H..
• Richardson, W. Ryan (2007) Using Concept Maps as a Tool for Cross-Language Relevance Determination, Ph.D. Dissertation, Department of Computer Science. Defense: 2007-06-06, Advisor: Fox, Edward A..
• Sidky, Ahmed Samy (2007) A Structured Approach to Adopting Agile Practices: The Agile Adoption Framework, Ph.D. Dissertation, Department of Computer Science. Defense: 2007-05-24, Advisor: Arthur, James D..
• Burge, Jamika D (2007) Communication of Emotion in Mediated and Technology-Mediated Contexts: Face-to-Face, Telephone, and Instant Messaging, Ph.D. Dissertation, Department of Computer Science. Defense: 2007-04-23, Advisor: Tatar, Deborah.
• Kumar, Deept (2007) Redescription Mining: Algorithms and Applications in Bioinformatics, Ph.D. Dissertation, Department of Computer Science. Defense: 2007-04-19, Advisor: Ramakrishnan, Naren.
• Howarth, Jonathan Randall (2007) Supporting Novice Usability Practitioners with Usability Engineering Tools, Ph.D. Dissertation, Department of Computer Science. Defense: 2007-04-13, Advisor: Hartson, H. Rex.
• Yost, Beth Ann (2007) The Visual Scalability of Integrated and Multiple View Visualizations for Large, High Resolution Displays, Ph.D. Dissertation, Department of Computer Science. Defense: 2007-04-11, Advisor: North, Christopher L..
• Chen, Yuxin (2007) A Novel Hybrid Focused Crawling Algorithm to Build Domain-Specific Collections, Ph.D. Dissertation, Department of Computer Science. Defense: 2007-02-05, Advisor: Fox, Edward A..
• Kim, Kibum (2007) THE EFFECTS OF HANDHELD NETWORK SERVICE "LOOK" ON THE ACQUISITION OF COMMON GROUND, Ph.D. Dissertation, Department of Computer Science. Defense: 2007-01-12, Advisor: Tatar, Deborah.

2006

• Feizabadi, Shahrooz Shojania (2006) Garbage Collection Schedulingfor Utility Accrual Real-Time Systems, Ph.D. Dissertation, Department of Computer Science. Defense: 2006-12-07, Advisor: Back, Godmar V..
• Kou, Yufeng (2006) Abnormal Pattern Recognition in Spatial Data, Ph.D. Dissertation, Department of Computer Science. Defense: 2006-11-29, Advisor: Lu, Chang-Tien.
• Chen, Jian (2006) Design and Evaluation of Domain-Specific Interaction Techniques in the AEC Domain for Immersive Virtual Environments, Ph.D. Dissertation, Department of Computer Science. Defense: 2006-10-25, Advisor: Bowman, Douglas A..
• Thomas, Liya (2006) Automated Detection of Surface Defects on Barked Hardwood Logs and Stems Using 3-D Laser Scanned Data, Ph.D. Dissertation, Department of Computer Science. Defense: 2006-09-08, Advisor: Mili, Lamine M..
• Mukherjee, Joy (2006) A Runtime Framework for Parallel Programs, Ph.D. Dissertation, Department of Computer Science. Defense: 2006-08-16, Advisor: Varadarajan, Srinidhi.
• Fink, Glenn Allen (2006) Visual Correlation of Network Traffic and Host Processes for Computer Security, Ph.D. Dissertation, Department of Computer Science. Defense: 2006-08-15, Advisor: North, Christopher L..
• Ball, Robert Glenn (2006) Effects of Large, High-Resolution Displays for Geospatial Information Visualization, Ph.D. Dissertation, Department of Computer Science. Defense: 2006-08-14, Advisor: North, Christopher L..
• Saraiya, Purviben Bharatkumar (2006) Insight-Based Studies for Pathway and Microarray Visualization Tools, Ph.D. Dissertation, Department of Computer Science. Defense: 2006-07-06, Advisor: North, Christopher L..
• Xi, Wensi (2006) Iterative Computing over a Unified Relationship Matrix for Information Integration, Ph.D. Dissertation, Department of Computer Science. Defense: 2006-06-20, Advisor: Fan, Weiguo.
• Zhang, Baoping (2006) Intelligent Fusion of Evidence from Multiple Sources for Text Classification, Ph.D. Dissertation, Department of Computer Science. Defense: 2006-06-20, Advisor: Fox, Edward A..
• Polys, Nicholas Fearing (2006) Display Techniques in Information-Rich Virtual Environments, Ph.D. Dissertation, Department of Computer Science. Defense: 2006-06-02, Advisor: Bowman, Douglas A..
• Shen, Rao (2006) Applying the 5S Framework To Integrating Digital Libraries, Ph.D. Dissertation, Department of Computer Science. Defense: 2006-04-17, Advisor: Fox, Edward A..
• Bazaz, Anil (2006) A Framework for Deriving Verification and Validation Strategies to Assess Software Security, Ph.D. Dissertation, Department of Computer Science. Defense: 2006-04-14, Advisor: Arthur, James D..
• Capra, Robert G. (2006) An Investigation of Finding and Refinding Information on the Web, Ph.D. Dissertation, Department of Computer Science. Defense: 2006-02-16, Advisor: Perez-Quinones, Manuel A..

2005

• Adams, Kevin Page (2005) An Approach to Real Time Adaptive Decision Making in Dynamic Distributed Systems, Ph.D. Dissertation, Department of Computer Science. Defense: 2005-12-12, Advisor: Gracanin, Denis.
• Sioson, Allan A. (2005) Multimodal Networks in Biology, Ph.D. Dissertation, Department of Computer Science. Defense: 2005-11-29, Advisor: Heath, Lenwood S..
• Allen, Nicholas Alexander (2005) Computational Software for Building Biochemical Reaction Network Models with Differential Equations, Ph.D. Dissertation, Department of Computer Science. Defense: 2005-11-11, Advisor: Shaffer, Clifford A..
• Gu, Baoshan (2005) Design and Analysis of Algorithms for Efficient Location and Service Management in Mobile Wireless Systems, Ph.D. Dissertation, Department of Computer Science. Defense: 2005-09-30, Advisor: Chen, Ing-Ray.
• Doswell, Felicia (2005) Improving Network Performance and Document Dissemination by Enhancing Cache Consistency on the Web Using Proxy and Server Negotiation, Ph.D. Dissertation, Department of Computer Science. Defense: 2005-08-08, Advisor: Midkiff, Scott F..
• Adams, David Bruce (2005) Optimization Frameworks for Discrete Composite Laminate Stacking Sequences, Ph.D. Dissertation, Department of Computer Science. Defense: 2005-07-20, Advisor: Watson, Layne T..
• Chewar, Christa M (2005) User-Centered Critical Parameters for Design Specification, Evaluation, and Reuse: Modeling Goals and Effects of Notification Systems, Ph.D. Dissertation, Department of Computer Science. Defense: 2005-07-15, Advisor: McCrickard, Donald Scott.
• Rode, Jochen (2005) Web Application Development by Nonprogrammers: User-Centered Design of an End-User Web Development Tool, Ph.D. Dissertation, Department of Computer Science. Defense: 2005-07-01, Advisor: Perez-Quinones, Manuel A..
• Slotta, Douglas J. (2005) Evalutating Biological Data Using Rank Correlation Methods, Ph.D. Dissertation, Department of Computer Science. Defense: 2005-05-05, Advisor: Heath, Lenwood S..
• Snook, Jason S (2005) Socionormative Influence in Software Adoption and Usage, Ph.D. Dissertation, Department of Computer Science. Defense: 2005-04-22, Advisor: Ehrich, Roger W..

2004

• Neil, Richard L (2004) Support for Pointer Semantics in a Generative Communication Framework, Ph.D. Dissertation, Department of Computer Science. Defense: 2004-12-17, Advisor: Arthur, James D..
• Zwolak, Jason Walter (2004) Computational Tools for Molecular Networks in Biological Systems, Ph.D. Dissertation, Department of Computer Science. Defense: 2004-12-15, Advisor: Tyson, John J..
• Gonçcalves, Marcos André (2004) Streams, Structures, Spaces,Scenarios, and Societies (5S): A Formal Digital Library Framework and Its Applications, Ph.D. Dissertation, Department of Computer Science. Defense: 2004-11-29, Advisor: Fox, Edward A..
• Ali, Mir Farooq (2004) A Transformation-based Approach to Building Multi-Platform User Interfaces Using a Task Model and the User Interface Markup Language, Ph.D. Dissertation, Department of Computer Science. Defense: 2004-11-16, Advisor: Perez-Quinones, Manuel A..
• Das Neves, Fernando Adrian (2004) Stepping Stones and Pathways:Improving Retrieval by Chains of Relationships between Documents, Ph.D. Dissertation, Department of Computer Science. Defense: 2004-09-16, Advisor: Fox, Edward A..
• Seals, Cheryl Denise (2004) A framework for Learning and Reuse in Visual Programming Environments: Supporting Novice Programmer Development of Educational Simulations, Ph.D. Dissertation, Department of Computer Science. Defense: 2004-08-12, Advisor: Rosson, Mary Beth.
• Lewis, Tracy L. (2004) Design Readiness:An Exploratory Model of Object-Oriented Design Performance, Ph.D. Dissertation, Department of Computer Science. Defense: 2004-07-16, Advisor: Perez-Quinones, Manuel A..
• Somervell, Jacob Paul (2004) Developing Heuristic Evaluation Methods forLarge Screen Information ExhibitsBased on Critical Parameters, Ph.D. Dissertation, Department of Computer Science. Defense: 2004-06-22, Advisor: McCrickard, Donald Scott.
• Chin, George (2004) A Case Study in the Participatory Design of a Collaborative Science-Based Learning Environment, Ph.D. Dissertation, Department of Computer Science. Defense: 2004-06-17, Advisor: Rosson, Mary Beth.
• Perugini, Saverio (2004) Program Transformations for Information Personalization, Ph.D. Dissertation, Department of Computer Science. Defense: 2004-05-14, Advisor: Ramakrishnan, Naren.
• Schafer, Wendy Ann (2004) Supporting Spatial Collaboration: An Investigation of Viewpoint Constraint and Awareness Techniques, Ph.D. Dissertation, Department of Computer Science. Defense: 2004-04-19, Advisor: Bowman, Douglas A..
• Lorch, Markus (2004) PRIMA - Privilege Management and Authorization in Grid Computing Environments, Ph.D. Dissertation, Department of Computer Science. Defense: 2004-04-16, Advisor: Kafura, Dennis G..
• Medjahed, Brahim (2004) Semantic Web Enabled Composition of Web Services, Ph.D. Dissertation, Department of Computer Science. Defense: 2004-01-19, Advisor: Bouguettaya, Athman.
• Ouzzani, Mourad (2004) Efficient Delivery of Web Services, Ph.D. Dissertation, Department of Computer Science. Defense: 2004-01-16, Advisor: Bouguettaya, Athman.

2003

• DePasquale III, Peter Joseph (2003) Implications on the Learning of Programming Through the Implementation of Subsets in Program Development Environments, Ph.D. Dissertation, Department of Computer Science. Defense: 2003-07-17, Advisor: Lee, John A. N..

2002

• Suleman, Hussein (2002) Open Digital Libraries, Ph.D. Dissertation, Department of Computer Science. Defense: 2002-11-19, Advisor: Fox, Edward A..
• Gröner, Markus K. (2002) Capturing Requirements Meeting Customer Intent: A Methodological Approach, Ph.D. Dissertation, Department of Computer Science. Defense: 2002-05-10, Advisor: Arthur, James D..
• Yilmaz, Levent (2002) Specifying and Verifying Collaborative Behavior in Component-Based Systems, Ph.D. Dissertation, Department of Computer Science. Defense: 2002-03-13, Advisor: Edwards, Stephen H..

2001

• France, Robert Karl (2001) Effective, Efficient Retrieval in a Network of Digital Information Objects, Ph.D. Dissertation, Department of Computer Science. Defense: 2001-11-26, Advisor: Fox, Edward A..
• Amento, Brian (2001) User Interfaces for Topic Management of Web Sites, Ph.D. Dissertation, Department of Computer Science. Defense: 2001-09-26, Advisor: Hix, Deborah S..
• Sornil, Ohm (2001) Parallel Inverted Indices for Large-Scale, Dynamic Digital Libraries, Ph.D. Dissertation, Department of Computer Science. Defense: 2001-01-25, Advisor: Fox, Edward A..

2000

• Phanouriou, Constantinos (2000) UIML: A Device-Independent User Interface Markup Language, Ph.D. Dissertation, Department of Computer Science. Defense: 2000-09-26, Advisor: Abrams, Marc.
• Struble, Craig Andrew (2000) Analysis and Implementation of Algorithms for Noncommutative Algebra, Ph.D. Dissertation, Department of Computer Science. Defense: 2000-04-24, Advisor: Green, Edward L..

1998

• Begole, James Michael Allen (1998) Flexible Collaboration Transparency: Supporting WorkerIndependence in Replicated Application-Sharing Systems, Ph.D. Dissertation, Department of Computer Science. Defense: 1998-12-15, Advisor: Shaffer, Clifford A..
• Mateescu, Gabriel (1998) Domain Decomposition Preconditioners for Hermite Collocation Problems, Ph.D. Dissertation, Department of Computer Science. Defense: 1998-12-14, Advisor: Ribbens, Calvin J..
• Abdulla, Ghaleb M.S. (1998) Analysis and Modeling of World Wide Web Traffic, Ph.D. Dissertation, Department of Computer Science. Defense: 1998-04-27, Advisor: Fox, Edward A..
• Stevens, K. ToddJr. (1998) The Effects of Roles and Personality Characteristicson Software Development Team Effectiveness, Ph.D. Dissertation, Department of Computer Science. Defense: 1998-03-20, Advisor: Henry, Sallie M..
• Challa, Siva PrasadaraoJr. (1998) Improving Polymorphism and Concurrency in Common Object Models, Ph.D. Dissertation, Department of Computer Science. Defense: 1998-01-26, Advisor: Kafura, Dennis G..

1997

• Nowell, Lucille Terry (1997) Graphical Encoding for Information Visualization:Using Icon Color, Shape, and Size to Convey Nominaland Quantitative Data, Ph.D. Dissertation, Department of Computer Science. Defense: 1997-11-07, Advisor: Hix, Deborah S..
• Driver, Maria SosonkinaJr. (1997) Parallel Sparse Linear Algebra for Homotopy Methods, Ph.D. Dissertation, Department of Computer Science. Defense: 1997-09-05, Advisor: Watson, Layne T..
• Vergara, John Paul C. (1997) Sorting by Bounded Permutations, Ph.D. Dissertation, Department of Computer Science. Defense: 1997-04-08, Advisor: Allison, Donald C. S..
• Ribler, Randy L. (1997) Visualizing Categorical Time Series Data with Applications to Computer and Communications Network Traces, Ph.D. Dissertation, Department of Computer Science. Defense: 1997-04-04, Advisor: Ehrich, Roger W..
• Keller, Benjamin J. (1997) Algorithms and Orders for Finding Noncummutative Grobner Bases, Ph.D. Dissertation, Department of Computer Science. Defense: 1997-03-17, Advisor: Allison, Donald C. S..

1996

• Keenan, Susan Lynn (1996) Product usability and process improvement based on usability problem classification, Ph.D. Dissertation, Department of Computer Science. Defense: 1996-08-05, Advisor: Hartson, H. Rex.
• Dzikiewicz, Joseph. (1996) Cyrano : a meta model for federated database systems, Ph.D. Dissertation, Department of Computer Science. Defense: 1996-05-01, Advisor: Egyhazy, Csaba J..
• Liu, Xiangdong (1996) Analysis and Reduction of Moire Patterns in Scanned Halftone Pictures, Ph.D. Dissertation, Department of Computer Science. Defense: 1996-05-01, Advisor: Abbott, A. Lynn.

1995

• Mathur, Anup (1995) A stochastic process model for transient trace data, Ph.D. Dissertation, Department of Computer Science. Defense: 1995-11-30.
• Brandenburg, Jeffrey Lynn (1995) Timetrees :a branching-time structure for modeling activity and state in the human-computer interface, Ph.D. Dissertation, Department of Computer Science. Defense: 1995-04-17, Advisor: Hartson, H. Rex.
• Lattanzi, Mark R. (1995) Measurement of the effects of reusing C++ classes on object-oriented software development, Ph.D. Dissertation, Department of Computer Science. Defense: 1995-03-05.

1994

• Mayo, Kevin A. (1994) Definition and evaluation of a synthesis-oriented, user-centered task analysis technique : the Task Mapping Model, Ph.D. Dissertation, Department of Computer Science. Defense: 1994-12-15, Advisor: Henry, Sallie M..
• Talbert, Michael Lane (1994) A methodology for the measurement and evaluation of complex system designs, Ph.D. Dissertation, Department of Computer Science. Defense: 1994-11-30.
• Cline, Ben E (1994) Knowledge intensive natural language generation with revision, Ph.D. Dissertation, Department of Computer Science. Defense: 1994-05-31, Advisor: Nutter, Jane Terry.
• Chase, Joseph Dwight (1994) A study to develop and evaluate a taxonomic model of behavioral techniques for representing user interface designs, Ph.D. Dissertation, Department of Computer Science. Defense: 1994-04-06, Advisor: Hartson, H. Rex.

1993

• Landry, Kenneth D. (1993) Instructional footprinting :a basis for exploiting concurrency through instructional decomposition and code motion, Ph.D. Dissertation, Department of Computer Science. Defense: 1993-12-05, Advisor: Abrams, Marc.
• Page, Ernest H (1993) Simulation modeling methodology :principles and etiology of decision support, Ph.D. Dissertation, Department of Computer Science. Defense: 1993-11-30.
• Wang, Jain-Chung J. (1993) Efficient parallel simulations and their application to communication networks, Ph.D. Dissertation, Department of Computer Science. Defense: 1993-11-30.
• Mayhew, David Evan (1993) Transparent spilling and refilling of partitioned overlapping register window register organizations with a remote instruction pointer, Ph.D. Dissertation, Department of Computer Science. Defense: 1993-08-01, Advisor: Tront, Joseph G..
• Juvvadi, Ramana Rao (1993) Perfect hashing and related problems, Ph.D. Dissertation, Department of Computer Science. Defense: 1993-06-05, Advisor: Heath, Lenwood S..
• Lavender, Robert Gregory (1993) Polymorphic types for constructing concurrent objects and layered communication protocols, Ph.D. Dissertation, Department of Computer Science. Defense: 1993-05-05.
• Henry, Joel (1993) An integrated approach to software process assessment, Ph.D. Dissertation, Department of Computer Science. Defense: 1993-02-05, Advisor: Henry, Sallie M..

1992

• Li, Wei (1992) Applying software maintenance metrics in the object oriented software development life cylce, Ph.D. Dissertation, Department of Computer Science. Defense: 1992-09-05.
• Bhasker, Bharat (1992) Query processing in heterogeneous distributed database management systems, Ph.D. Dissertation, Department of Computer Science. Defense: 1992-06-06, Advisor: Egyhazy, Csaba J..
• Derrick, Emory Joseph (1992) A visual simulation support environment based on a multifaceted conceptual framework, Ph.D. Dissertation, Department of Computer Science. Defense: 1992-04-05, Advisor: Balci, Osman.
• Chen, QiFan (1992) An object-oriented database system for efficient information retrieval applications, Ph.D. Dissertation, Department of Computer Science. Defense: 1992-03-16, Advisor: Fox, Edward A..

1991

• Pemmaraju, Sriram V (1991) Exploring the powers of stacks and queues via graph layouts, Ph.D. Dissertation, Department of Computer Science. Defense: 1991-11-30.
• Lewis, John Allan (1991) An empirical study of software reuse : the impact of the object-oriented paradigm and human factors, Ph.D. Dissertation, Department of Computer Science. Defense: 1991-04-05.

1989

• Lee, Keung Hae (1989) Designing a statically typed actor-based concurrent object- oriented programming language, Ph.D. Dissertation, Department of Computer Science. Defense: 1989-11-30.
• Okie, Edward G. (1989) Error Directed Execution History, Ph.D. Dissertation, Department of Computer Science. Defense: 1989, Advisor: Arthur, James D..
• Flannery, Kevin (1989) Conjunctive Polymorphic Type Checking With Explicit Types, Ph.D. Dissertation, Department of Computer Science. Defense: 1989, Advisor: Arthur, James D..
• Siochi, Antonio (1989) Empirically Based Interface Evaluation Techniques in Support of User Interface Design and Development, Ph.D. Dissertation, Department of Computer Science. Defense: 1989, Advisor: Ehrich, Roger W..
• He, Xudong (1989) Integrating Formalisms in Software Development, Ph.D. Dissertation, Department of Computer Science. Defense: 1989, Advisor: Lee.

1988

• Thacker, William I. (1988) Numerical Techniques for Some Magnetohydrodynamic Problems, Ph.D. Dissertation, Department of Computer Science. Defense: 1988, Advisor: Watson, Layne T..

1987

• Moose, Robert L. (1987) Analysis of Networks with Dynamic Topologies, Ph.D. Dissertation, Department of Computer Science. Defense: 1987, Advisor: Nance, Richard E..

1986

• Chu, Sung-Chi (1986) System Level Fault Diagnosis by Testable Diagnosis Array, Ph.D. Dissertation, Department of Computer Science. Defense: 1986, Advisor: Armstrong, J..

1985

• Hix, Deborah (1985) The Structure and Development of Human Computer Interfaces, Ph.D. Dissertation, Department of Computer Science. Defense: 1985, Advisor: Hartson, H. Rex.
• Yunten, Tamer (1985) Supervisory Methodology and Notation (Superman) for Human Computer Systems Development, Ph.D. Dissertation, Department of Computer Science. Defense: 1985, Advisor: Hartson, H. Rex.
• Canning, James T. (1985) The Application of Structure and Code Metrics to Large Scale Systems, Ph.D. Dissertation, Department of Computer Science. Defense: 1985, Advisor: Kafura, Dennis G..
• Laribi, Atika (1985) A Protection Model for Distributed Database Management Systems, Ph.D. Dissertation, Department of Computer Science. Defense: 1985, Advisor: Hartson, H. Rex.
• Fainter, Robert G. (1985) AdaTAD-A Debugger for the Ada Multi-Task Environment, Ph.D. Dissertation, Department of Computer Science. Defense: 1985, Advisor: Lindquist, T. E..

1984

• Noga, Mark T. (1984) Fast Geometric Algorithms, Ph.D. Dissertation, Department of Computer Science. Defense: 1984, Advisor: Allison, Donald C. S..
• Wang, Shyuan (1984) Spatial Reasoning About Remotely Sensed Data for Drainage Network Mapping, Ph.D. Dissertation, Department of Computer Science. Defense: 1984, Advisor: Haralick, R. M..
• Pong, Ting-Chuen (1984) Determining Intrinsic Scene Characteristics of Images, Ph.D. Dissertation, Department of Computer Science. Defense: 1984, Advisor: Haralick/Shapiro.
• Mulgaonkar, Prasanna (1984) Analyzing Perspective Line Drawings Using Hypothesis Reasoning, Ph.D. Dissertation, Department of Computer Science. Defense: 1984, Advisor: Shapiro, L. G..

1983

• Chu, Yu Hong (1983) Analyzing Perspective Views of a Wire Frame Object Model, Ph.D. Dissertation, Department of Computer Science. Defense: 1983, Advisor: Haralick, R. M..
• Overstreet, C. Michael (1983) Model Specification and Analysis for Discrete Event Simulation, Ph.D. Dissertation, Department of Computer Science. Defense: 1983, Advisor: Nance, Richard E..

1979

• Lai, Peichung Forest (1979) Texture Region Growing Based Upon a Structural Model of Texture, Ph.D. Dissertation, Department of Computer Science. Defense: 1979, Advisor: Ehrich, Roger W..
• Trueblood, Robert P. (1979) Multiprocessor Architectures for Supporting Secure Database Management, Ph.D. Dissertation, Department of Computer Science. Defense: 1979, Advisor: Hartson, H. Rex.