Computer Science Alumni - PhD

2023

• 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

2022

• 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 Allouzi, IOMT 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

2021

• Weilong Ren, Query Processing Over Incomplete Data Streams:  Dr. Xiang Lian
• Pavan Poudel, Tools and Techniques for Efficient Transactions:  Dr. Gokarna Sharma
• Suphanut Jamonnak, Spatial 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

2019

• 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

2018

• 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

2017

• Amal Jamil Babour,  A Computational Mimicry of the Knowledge Augmentation Process in Comprehension Based Learning  Advisor:  Dr. Javed I. Khan
• Mehdi Ghayoumi, Facial 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

2016

• 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 Huang, Using 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

2015

• 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 Chen, Enhancing Fluid Modeling with Turbulence and Acceleration, Advisor:  Dr. Ye Zhao
• Abrar Alabed-Alhaq, Applying 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

2014

• 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 Albattah, Software Maintainability and Testability Predictions Using Package Cohesion, Advisor:  Dr. Austin Melton

2013

• 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, 2013, Fluid 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

2012

• 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

2011

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

2010

• 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

2009

• 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

2008

• 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

2007

• 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

2006

• 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

2005

• 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

2004

• 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

2003

• 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

2001

• 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

1998

• 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

1997

• 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

1996

• 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

1995

• 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

1994

• 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

1992

• 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

1991

• 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