Computer Science Alumni - PhD


  • Dong Li, On The Theoretical Foundation of Model Comparison and Evaluation for Recommender System, Dr. Ruoming Jin
  • Debobroto Das Robin, Leveraging PISA Switches for Traffic-Aware in Network Load Balancing in Data Center Networks, Dr. Javed I. Khan
  • Saifuddin Mahmud, A Cognitive Load Optimization System for Robot-assisted Disaster Response Missions, Dr. Jong-Hoon Kim
  • Shishir Rai, Better Distributed Directories and Transactional Scheduling, Dr. Gokarna Sharma
  • Aditi Singh, A Synchronized Colored Petri Net Modeling For Automated Identification and Learning of Conversational Gestures, Dr. Arvind Bansal



  • Niranjan Rai, Efficient Query Processing Over Large Road-Network Graphs:  Dr. Xiang Lian
  • Salwa Aljehane, Eye Movements Characterizing for the Assessment of Expertise in Source Code Reading:  Dr. Jonathan Maletic
  • Maha Ali AllouziIOMT Authentication and Authorization Access Control Based on Digital Credentials and Multiparty Trust Negotiation:  Dr. Javed I. Khan
  • Ahmed Hussein Saleh AL-Baghdadi, Efficient Query Processing over Spatial-Social Networks:  Dr. Xiang Lian
  • Reem Saleh AlSuhaibani,  A Comprehensive Examination of Factors for Assessing the Quality of Method Names in Source Code:  Dr. Jonathan I. Maletic
  • Md. Iftakhuarul Islam, An IPv6 Routing Table Lookup Algorithm in Software and ASIC by Designing a High-Level Synthesis System:  Dr. Javed I. Khan


  • Weilong RenQuery Processing Over Incomplete Data Streams:  Dr. Xiang Lian
  • Pavan PoudelTools and Techniques for Efficient Transactions:  Dr. Gokarna Sharma
  • Suphanut JamonnakSpatial Multimedia Data Visualization: Dr. Ye Zhao
  • Xinyi Huang, Dr. Ye Zhao
  • Md Amiruzzaman,  Studying Geospatial Urban Visual Appearance and Diversity to Understand Social Phenomena:  Dr. Ye Zhao
  • Basma Alqadi, Slice-Based Cognitive Complexity Metrics for Defect Prediction:  Dr. Jonathan Maletic
  • Naser Al Madi,  Modeling Eye Movement for the Assessment of Programming Proficiency:  Dr. Jonathan Maletic
  • Salah Alamri,  Ontology Extraction From an Arabic Book:  Dr. Austin Melton
  • Heather Michaud Guarnera, Hyperbolicity, Injective Hulls and Helly Graphs:  Dr. Feodor Dragan
  • Chao Ma, Visual Analytic Technique and System of Spatiotemporal-Semantic Events: Dr. Ye Zhao
  • Md Amjad Hossain, Design of Crowd-Scale Multi-Party Telepresence System with Distributed Multipoint Control Unit Based on Peer to Peer Network:  Dr. Javed I. Khan


  • Farah S. Kamw,  Utilizing Big Trajectory Data for Urban Visual Analytics and Accessibility Studies:  Dr. Ye Zhao
  • Shamal M. Al-Dohuki, Interactive Visual Querying and Analysis for Urban Trajectory Data:  Dr. Ye Zhao
  • Fatema B. Nafa, Discovering Hidden Cognitive Skill Dependencies Between Knowledge-Units Using Markov Cognitive Knowledge State Network (MCKST):  Dr. Javed I. Khan
  • Reem Alshahrani, Theory and Practice in Cloud Datacenters with Distributed Schedulers:  Dr. Hassan Peyravi
  • Abdulhakeem Mohammed,  Slimness, Thinness and Other Negative Curvature Parameters of Graphs:  Dr. Feodor Dragan


  • Ismael Ali,  Unstructured Text with Applications  Advisor:  Dr. Austin Melton
  • Hend Alrasheed,  Delta-Hyperbolicity in Real-World Networks:  Algorithmic Analysis and Implications  Advisor:  Dr. Feodor Dragan
  • Tahani Albalawi, Quantifying the Effect of Cognitive Biases on Security Decision Making  Advisors:  Dr. Austin Melton and Dr. Kambiz Ghazinour
  • Salem Othman,  Autonomous Priority Based Routing for Online Social Networks  Advisor:  Dr. Javed I. Khan


  • Amal Jamil Babour,  A Computational Mimicry of the Knowledge Augmentation Process in Comprehension Based Learning  Advisor:  Dr. Javed I. Khan
  • Mehdi GhayoumiFacial Expression Analysis Using Deep Learning with Partial Integration to Other Modalities to Detect Emotion  Advisor:  Dr. Arvind Bansal
  • Arne Leitert, Tree-Breadth of Graphs with Variants and Applications  Advisor:  Dr. Feodor Dragan
  • Rania Anwar Aboalela,  An Assessment of Knowledge by Pedagogical Computation on Cognitive Level Mapped Concept Graphs  Advisor:  Dr. Javed I. Khan
  • Michael John Decker, srcDIFF: Syntactic Differencing to Support Software Maintenance and Evolution  Advisor:  Dr. Jonathan Maletic
  • Omar Abdulrahman Alaql, General Purpose Approaches for No-Reference Image Quality Assessment  Advisor:  Dr. Cheng-Chang Lu
  • Jordan M. Adamek, Concurrent Geometric Routing  Advisor:  Dr. Mikhail Nesterenko
  • Brian M. Bartman, Supporting Software Exploration with a Syntactic Aware Source Code Query Language,  Advisor:  Dr. Jonathan Maletic
  • Christian D. Newman, A Source Code Transformation Language to Support Software Evolution, Advisor:  Dr. Jonathan Maletic
  • Nahla Jamal Abid,  Automatic Generation and Assessment of Method Summaries, Advisor:  Dr. Jonathan Maletic
  • Amany Khalid Alnahdi,  Web Service Retrieval and Selection with Smart Applications:  A Quality Approach, Advisor:  Dr. Austin Melton
  • Musaad Alzahrani, Defining and Validating a Client-Based Class Cohesion Metric for Object-Oriented Systems, Advisor:  Dr. Austin Melton
  • Zhiqiang Wang, Studying Computational Methods for Biomedical Geometry Extraction and Patient-Specific Hemodynamics, Advisor:  Dr. Ye Zhao


  • Saleh Albahli, Ontology-based Approaches to Improve RDF Triple Store, Advisor:  Dr. Austin Melton
  • Talal Albalawi,  A New Approach to Dynamic Integrity Control, Advisor:  Dr. Austin Melton
  • Rahul Sehgal,  Modeling and Analysis of Delay Tolerant Networks, Advisor:  Dr. Hassan Peyravi
  • Xiaoke HuangUsing Graph Modeling in Several Visual Analytic Tasks, Advisor:  Dr. Ye Zhao
  • Deborah A. Willson, A Study of the Behavior of Chaos Automata, Advisor: Dr. L. Gwenn Volkert


  • Dianne Foreback, Building Oracles for Robust Algorithm Design, Advisor: Dr. Mikhail Nesternko
  • Lin Liu,  Discovering Reliable Communities in Uncertain Graphs, Advisor:  Dr. Ruoming Jin
  • Yelong Shen,  Social Network Mining and Its Application, Advisor:  Dr. Ruoming Jin
  • Saleh Alnaeli,  Empirically Examining the Roadblocks to the Automatic Parallelization and Analysis of Open Source Software Systems, Advisor:  Dr. Jonathan Maletic
  • Fan ChenEnhancing Fluid Modeling with Turbulence and Acceleration, Advisor:  Dr. Ye Zhao
  • Abrar Alabed-AlhaqApplying Graph Mining Techniques to Address Software Engineering Problems, Advisor, Dr. Jonathan Maletic
  • Saleh Almugrin,  Definitions and Validations of Metrics of Indirect Package Coupling in an Agile, Object-Oriented Environment, Advisor:  Dr. Austin Melton
  • Moy'awiah Al Shannaq,  Algorithms for Enhancing Information Retrieval using Semantic Web, Advisor:  Dr. Austin Melton
  • Abdulelah Algosaibi,  Web Linkage via Learning Inherent Semantics and Evolution of Ontologies, Advisor:  Dr. Austin Melton
  • Mazen Alzyoud, Ontology Design Patterns with Applications to Software Measurement, Advisor:  Dr. Austin Melton
  • Mehmet Aydar,  Developing a Semantic Framework for Healthcare Information Interoperability, Advisor:  Dr. Austin Melton
  • Serkan Ayvaz, Near Neighbor Explorations for Keyword-Based Semantic Searches Using RDF Summary Graph, Advisor:  Dr. Austin Melton


  • Gregory DeLozier,  Feature Location using Unit Test Coverage in an Agile Development Environment, Advisor: Dr. Jonathan Maletic
  • Muad Abu-Ata,  Tree-Like Structure in Graphs and Embeddability to Trees, Advisor:  Dr. Feodor Dragan
  • Abdulkareem Alali, Improved Methods for Mining Software Repositories to Detect Evolutionary Couplings, Advisor:  Dr. Jonathan Maletic
  • Waleed AlbattahSoftware Maintainability and Testability Predictions Using Package Cohesion, Advisor:  Dr. Austin Melton



  • Jalaa Hoblos, 2013, Access Disparity Modeling and Fairness Provisioning in Multi-hop Wireless Networks, Advisor:  Dr. Hassan Peyravi
  • Omar Tahboub, 2013, The Principles of Data Flow Equilibrium for Reservoir Minimization in Periodic Intermittent Networks, Advisor:  Dr. Javed I. Khan
  • Zhi Yuan, 2013Fluid Modeling with Stochastic and Structural Features, Advisor:  Dr. Ye Zhao
  • Nouh Alhindawi, 2013, Supporting Source Code Comprehension During Software Evolution and Maintenance, Advisor:  Dr. Jonathan Maletic
  • Omar Meqdadi, 2013, Understanding and Identifying Large-Scale Adaptive Changes from Version Histories, Advisor:  Dr. Jonathan Maletic



  • Manas Hardas, 2012, Segmentation and Integration in Text Comprehension:  A Model of Concept Network Growth, Advisor:  Dr. Javed I. Khan
  • Ning Ruan, 2012, Network Backbone with Applications in Reachability and Shortest Path Computation, Advisor:  Dr. Ruoming Jin
  • Hakam Alomari, 2012, Supporting Software Engineering Via Lightweight Forward Static Slicing, Advisor:  Dr. Jonathan Maletic
  • Jamal Alsakran, 2012, High Dimensional Data Exploration, Advisor:  Dr. Ye Zhao
  • Samer Khasawneh, 2012, A Web-Based Lessons Authoring System for Mathematics Education (MLAS), Advisor:  Dr. Paul Wang
  • Rizal Nor, 2012, Robust Low Atomicity Peer-to-Peer Systems, Advisor:  Dr. Mikhail Nesterenko
  • Weiguao Fan, 2012, Using Molecular Similarity Analysis for Structure-Activity Relationship Studies, Advisor:  Dr. Johnnie Baker
  • Victor Lee, 2012, Rolesim and Rolematch:  Role-Based Similarity and Graph Matching, Advisor:  Dr. Ruoming Jin
  • Man Yuan, 2012, A SIMD Approach to Large-Scale, Real-Time System Air Traffic Control Using Associative Processor and Consequences for Parallel Computing, Advisor:  Dr. Johnnie Baker


  • Kevin Schaffer, 2011, Design and Implementation of a Multithreaded Associative SIMD Processor, Advisor:  Dr. Robert Walker


  • Daniel Bennett, 2010, Tools and Techniques for Locating and Steering Parallel Simulations Through Bifurcation Points, Advisors:  Dr. Paul Farrell and Dr. Arden Ruttan
  • Yasir Drabu, 2010, Gateway Placement and Fault Tolerance in QoS Aware Wireless Mesh Networks, Advisor: Dr. Hassan Peyravi
  • Natalie Dragan, 2010, The Emergent Laws of Method and Class Stereotypes in Object Oriented Software, Advisor:  Dr. Jonathan Maletic
  • Maen Hammad, 2010, Supporting Code-Design Consistency During Software Evolution, Advisor:  Dr. Jonathan Maletic
  • Xun Lai, 2010, GeometryEditor:  A Web-based System for Authoring, Sharing and Support of Plane Geometry Manipulatives for Mathematics Education, Advisor:  Dr. Paul Wang
  • Bonita Sharif-Simoes, 2010, Empirical Assessment of YML Class Diagram Layouts Based on Architectural Importance, Advisor:  Dr. Jonathan Maletic
  • Shannon Steinfadt, 2010, Smith-Waterman Sequence Alignment for Massively Parallel High-Performance Computing Architectures, Advisor:  Dr. Johnnie Baker
  • Andrew Sutton, 2010, Understanding and Maintaining C++ Generic Libraries, Advisor:  Dr. Jonathan Maletic


  • Sherenaz Al-haj Baddar, 2009, Finding Better Sorting Networks, Advisor: Dr. Kenneth Batcher
  • Yang Xiang, 2009, Reachability, Routing and Distance Labeling Schemes in Graphs with Applications in Networks and Graph Databases, Advisor:  Dr. Feodor Dragan
  • Adnan Vora, 2009, Efficient Location Verification, Neighbor Discovery, and Routing in Ad Hoc Wireless Networks, Advisor:  Dr. Mikhail Nesterenko
  • Rashid Muhammad, 2009, Parallelization of Steiner Trees and Voronoi Diagram:  Applications of Steiner Trees and Routing in Wireless Networking, Advisor:  Dr. Johnnie Baker
  • Wittaya Chantamas, 2009, A Multiple Associative Computing Model to Support the Execution of Data Parallel Branches Using the Manager-Worker Paradigm, Advisor:  Dr. Johnnie Baker


  • Mohammed Jirari, 2008, Computer Aided System For Detecting Masses In Mammograms, Advisor: Dr. Cheng Chang Lu
  • Kenneth Batcher, 2008, Cache Miss Reduction Techniques for Embedded CPU Instruction Caches, Advisor: Dr. Robert Walker
  • Huzefa Kagdi, Missouri University of Science a, 500 West 15th Street, 325 Comput, Rolla, MO, 65409, USA, 2008, Mining Software Repositories to Support Software Evolution, Advisor: Dr. Jonathan Maletic
  • Saleh Al-Shomrani, 2008, A Web-based Distributed and Interoperable Tool for Sharing Mathematical Assessments and Supervising Online Tests, Advisor: Dr. Paul Wang


  • Oleg Komogortsev, 2007, Eye Movement Prediction by Oculomotor Plant Modeling with Kalman Filter, Advisor: Dr. Javed Khan
  • Yujun Guo, 2007, Medical Image Registration and Application to Atlas-Based Segmentation, Advisor: Dr. Cheng-Chang Lu
  • Hassan Gobjuka, 2007, Topology Discovery and Network Monitoring at the Physical-Layer in Heterogeneous Multi-Subnet Networks, Advisor: Dr. Yuri Breitbart
  • Nouman Bantan, 2007, Routing Protocol and Routing Algorithm for Space Communication, Advisor: Dr. Javed Khan
  • Chenyu Yan, 2007, Approximating Distances in Complicated Graphs by Distances in Simple Graphs with Applications, Advisor: Dr. Feodor Dragan


  • Hong Wang, 2006, Design and Implementation of an FPGA-Based Scalable Pipelined Associative SIMD Processor Array with Specialized Variations for S, Advisor: Dr. Robert Walker
  • Asrar Haque, 2006, Bounded Wait Communication for Systems with Distributed and Autonomous Components, Advisor: Dr. Javed Khan
  • Nawar Malhis, 2006, Detecting Gene Regulation Relations in Microarray Time Series Data, Advisor: Dr. Arden Ruttan


  • Mostafa Rahmani, 2005, The Quartet Property in Multistage Interconnection Networks, Advisor: Dr. Kenneth Batcher
  • Michael Scherger, 2005, An Object Model Framework, Runtime Environment Support, and Database System Software for a Multiple Instruction Stream Associati, Advisor: Dr. Johnnie Baker
  • Irina Lomonosov, 2005, Routing Schemes for Special Graph Classes, Advisor: Dr. Feodor Dragan
  • Raid Zaghal, 2005, Interactive Protocols for Extensible Networking, Advisor: Dr. Javed Khan


  • Mingxian Jin, 2004, Evaluating the Power of the Parallel MASC Model Using Simulations and Real-Time Applications, Advisor: Dr. Johnnie Baker
  • Angela Guercio, 2004, Introducing Triggers and Active Repository for Asynchronous and Non Deterministic Events in Reactive Multimedia Systems, Advisor: Dr. Arvind Bansal
  • Seung Yang, 2004, A Framework for Complex Composition of Net-centric Systems, Advisor: Dr. Javed Khan
  • Michael Collard, 2004, Meta-Differencing: An Infrastructure for Source Code Difference Analysis, Advisor: Dr. Jonathan Maletic
  • Zhen Ye, 2004, Wavelet Domain Multi-resolution Markov Models for Image Segmentation and De-noising Applications, Advisor: Dr. Cheng Chang Lu


  • Weidong Liao,2003, IAMC Framework: Design and Prototyping, Advisor: Dr. Paul Wang
  • Andrian Marcus, 2003, Semantic Driven Program Analysis, Advisor: Dr. Jonathan Maletic
  • Chi-Hsiang Lo, 2003, Medical Image Registration by Maximization of Mutual Information, Advisor: Dr.Cheng Chang Lu


  • Stephen Ryan, 2001, A Logic Based Abstract Model and Visual Environment for Distributed Simulation and Design of Complex Systems over the Internet, Advisor: Dr. Arvind Bansal
  • Jeffrey Childs, 2001, The Decomposition of 1D and 2D Signals with a G-Reductive Sum of Gaussians, Advisor: Dr. Cheng Chang Lu
  • Adel Salem, 2001, Multimedia Browser (MMB) , Advisor: Dr. Jerry Potter
  • Maher Atwah, 2001, Parallel Computation of the Static and Dynamic Convex Hull, Advisor: Dr. Johnnie Baker


  • Ajwa Iyad,  1998, Dissertation, Advisor: Dr. Paul Wang
  • Iyad Ajwa, 1998, Parallel Algorithms and Implements for the Grobner Bases Algorithm and the Characteristic Sets Method, Advisor: Dr. Paul Wang
  • Sami Mkaddem, 1998, Numerical Modeling of Confined Liquid Crystal Systems
  • Simon James Gray, 1998, MP: A Protocol for the Efficient Exchange of Mathematical Data, Advisor: Dr. Paul Wang
  • Darrell Ulm, 1998, Establishing the Power of Associative Computing (ASC) Using Simulations and Virtual Parallelism, Advisor: Dr. Johnnie Baker


  • Hong-In Choi, 1997, Fault Tolerance in Bitonic Sorting Networks and Static Shuffle-Exchange Networks, Advisor: Dr. Kenneth Batcher
  • Olaf Bachmann, 1997, Chains of Recurrences, Advisor: Dr. Paul Wang


  • Beverly Gocal, 1996, On Routing Clos Networks, Advisor: Dr. Kenneth Batcher
  • Jae-Dong Lee, 1996, Minimizing Communication in the Bitonic Sort, Advisor: Dr. Kenneth Batcher
  • Stephen Scott, 1996, A Distributed Heterogeneous Computing Environment, Advisor: Dr. Jerry Potter
  • Box Leangsuksun, 1996, Resource Allocation for Heterogeneous Parallel Distributed Computing, Advisor: Jerry Potter
  • Koung Lee, 1996, Routing Algorithms on Shuffle Exchange Networks, Advisor: Dr. Kenneth Batcher


  • Chokchai Leangsuksun, 1995, Practical Task Mappin Strategies for Heterogeneous Computing Environments, Advisor: Dr. Jerry Potter
  • Yaser Doleh, 1995, The Design and Implementation of a System Independent User Interface for an Integrated Scientific Computing Environment, Advisor: Dr. Paul Wang
  • Mohamed Rayes, 1995, Parallel Multivariate Polynomial Greatest Common Divisor Computation, Advisor: Dr. Paul Wang


  • Mark Merry, 1994, Parallel Algorithms for the Reconfigurable Mesh, Advisor: Dr. Johnnie Baker
  • Yong Shin, 1994, Digital Image Coding Techniques - Codec Design Using Vector Quantization Method, Advisor: Dr. Cheng Chang Lu
  • Kenneth Weber, 1994, Parallel Integer GCD Algorithms and their Application to Polynomial GCD, Advisor: Dr. Paul Wang
  • Reinhardt Zeller, 1994, Solution of the Landau-de-Gennes Equations of Liquid Crystal Physics on a SIMD Computer, Advisor: Dr. Paul Farrell/Dr. Eugene Gartland
  • Majad Al-Hajery, 1994, Bit-Level Bitonic Sorting Networks and their Role in Wormhole Multicast Routing, Advisor: Dr. Kenneth Batcher


  • Naveen Sharma, 1992, Synthesis of Sequential and Parallel Programs for Finite Element Analysis, Advisor: Dr. Paul Wang
  • Kathy Liszka, 1992, Generalizing Bitonic and Odd-Even Merging Networks, Advisor: Dr. Kenneth Batcher
  • Vilmar Trevisan, UFRGS, Intituto de Matematica, Porto Alegre, RS, 91509900, Brazil, 1992, Univariate Polynomial Factorization, Advisor: Dr. Paul Wang


  • Chandra Rajappa, 1991, An Associative Parallel Compiler for an Associative Computing Language, Advisor: Dr. Jerry Potter
  • Abdelazia Fellah, 1991, Alternating Finite Automata and Related Problems, Advisor: Dr. Sheng Lu
  • Chih-ming Shih, 1991, Adding Fault Tolerance to Cube-Connected Cycles Networks, Advisor: Dr. Kenneth Batcher
  • Chandra Astjagoro, 1991, Advisor: Dr. Jerry Potter