Ph.D. dissertations

0
0
0

Stephen Jackson

Dissertation: Models of Leader Elections and their Applications

Major Professor: Bruce McMillin

Sandia National Labatories

Mingzhong Li

Dissertation: Detecting, Segmenting and Tracking Bio-medical Objects

Major Professor: Zhaozheng Yin

 

Srinivas Chakravarthi Thandu

Dissertation: Algorithms Leveraging Smartphone Sensing for Analyzing Explosion Events

Major Professor: Zhaozheng Yin

Object Computing Inc.

 

Yousef M. Elmehdwi

Dissertation: Privacy-Preserving Query Processing over Encrypted Data in Cloud

Major Professor: Wei Jiang

 

Li Feng

Dissertation: Quantification of Information Flow in Cyber Physical System

Major Professor: Bruce McMillin

Post-Doc at Missouri S&T

 

Kenneth K. Fletcher

Dissertation: Methods and Algorithms for Service Selection and Recommendation

Major Professor: Frank Liu

   

HuChun

Dissertation: Privacy-Preserving Power Usage Control in Smart Grid

Major Professor: Wei Jiang

   

Thomas Roth

Dissertation: Distributed State Verification in the Smart Grid using Physical Attestation

Major Professor: Bruce McMillin

   

Feng Li

Dissertation: Efficient Cryptographic primitives: Secure Comparison, Binary Decomposition, and Proxy Re-Encryption

Major Professor: Wei Jiang

 

Brijesh Kashyap Chejerla

Dissertation: Information Fusion in Wireless Sensor Networks and Cloud Assisted Cyber Physical Systems

Major Professor: Sanjay Madria

Data Scientist at Hendrick Motorsports

   

Nathan W. Eloe

Dissertation: VRCC-3D+: Qualitative Spatial and Temporal Reasoning in Three Dimensions

Major Professor: Jennifer Leopold

Assistant Professor at Northwest Missouri State University

   

Lasanthi Heendaliya

Dissertation: Enabling Near-Term Prediction of Status for Intelligent Transportation Systems: Management Techniques for Data on Mobile Objects

Major Professors: Ali Hurson & Dan Lin

Adjunct Professor at University of Missouri Saint Louis

   

Raj, Mayank

Dissertation: Energy-Aware and Privacy Preserving Protocols for Ad Hoc Networks with Applications to Disaster Management

Major Professor: Sajal Das

Staff Software Engineer at IBM

   

Gurung, Sashi

Dissertation: Privacy and Trust Management in Moving Object Environments

Major Professor: Dan Lin

Software Engineer at Educational Networks, Inc.

   

Szalapski, Thomas

Dissertation: Energy Efficient and Latency Aware Adaptive Compression in Wireless Sensor Networks

Major Professor: Sanjay Madria

Software Engineer at Google

   

Kumar, Vimal

Dissertation: Energy Efficient Security and Privacy Management in Sensor Clouds

Major Professor: Sanjay Madria

Lecture at University of Waikato

   

Wagner, C. Shaun

Dissertation: Design and Effects of User Behavior Prediction Relative to Search Engine Accuracy and Information

Major Professor:Ali Hurson

IT Manager at Greenville Health System & Adjunct Professor at University of South Caolina Upstate

   

Ye, Quanmin
Dissertation: Cross-Layer Schemes for Performance Optimization in Wireless Networks
Major Professor: Maggie Cheng

Senior Research Engineer at Nokia Networks

   

Snyder, Mark

Dissertation: Foundations of Coverage Algorithms in Autonomic Mobile Networks

Major Professor: Sriram Chellappan

Sr. Software Development Manager at Author-it Software Corporation

   

Howser, Gerry W.

Dissertation:  Multiple Security Domains Nondeducibility in Cyber-Physical Systems

Major Professor: Bruce McMillin

Visiting Assistant Professor at Kalamazoo College

 

Arvapally, Ravi Santosh

Dissertation: Polarization and Opinion Analysis in an Online Argumentation System for Collaborative Decision Support

Major Professor: Frank Liu

Data Scientist at MasterCard

 

Samanthula, Bharath Kumar

Dissertation: Privacy-Preserving Friend Recommendations in Online Social Networks

Major Professor: Wei Jiang

Assistant Professor, Department of Computer Science, Montclair State University

 

Dutta, Neelanjana

Dissertation: Location Based Services in Wireless Ad Hoc Networks

Major Professor: Sriram Chellappan

Software R&D - Teradata Labs

 

Nerella, Venkata Krishna Suhas

Dissertation: Exploring Run-Time Reduction in Programming Codes Via Query Optimization and Caching

Major Professor: Sanjay Madria

Software Engineer II at Pros

   

Cabaniss, Roy

Dissertation: Social-Context Based Routing in Delay Tolerant Networks

Major Professor: Sajay Madria

Network Security Software Engineer at LGS Innovations

   

Akella, Ravi Chandra

Dissertation: Verification of Information Flow Security in Cyber-Physical Systems

Major Professor:  Bruce McMillin

Software Researcher at DENSO Silicon Valley

 

Wilkerson, Joshua

Dissertation:Evolutionary Computing Driven Search Based Software Testing and Correction

Major Professor: Daniel Tauritz

Computer Scientist at Naval Air Systems Command

 

 

Gamage, Thoshitha

Disstertation: CEEME: Compensating Events based EM Enforcement for Cyber-Physical Systems

Major Professor: Bruce McMillin

Assistant Professor of Computer Science at Southern Illinois University Edwardsville

 

Gong, Xuan

Dissertation: Cross-Layer Design for Network Performance Optimization in Wireless Networks

Major Professor: Maggie Cheng

MTS at Hortonworks | Hadoop Committer and PMC at ASF

 

Viyanon, Waraporn,

Dissertation: Structure and Content Semantic Similarity Detection of XML Documents using Keys

Major Professor: Sanjay Madria

 

Lee, Leong

Dissertation: Protein Secondary Structure Prediction Using Blast and Relaxed Threshold Rule Induction from Coverings

Major Professor: Jennifer Leopold

Associate Professor at Austin Peay State University

 

Kandoth, Cyriac

Dissertation: Computational Methods for the Discovery and Analysis of Genes and other Functional DNA Sequences

Major Professor: Fikret Ercal

Co-founder, Massive Bio, Inc., New York & Senior Computational Biologist, MSKCC, New York

 

Cape, David Andrew

Dissertation: Deadlock Detection and Dihomotopic Reduction VIA Progress Shell Decomposition

Major Professor: Bruce McMillin

 

Albath, Julia Gerda Maria

Dissertation: Energy Efficient Clustering and Secure Data Aggregation in Wireless Sensor Networks

Major Professor: Sanjay Madria

CTO of ClearFiction / Machine Learning Analyst

 

Holdener, Ekaterina A.

Dissertation: The Art of Parameterless Evolutionary Algorithms

Major Professor: Daniel Tauritz

Product Manager, Exegy Inc

   

Simsek, Sule

Dissertation: Lattice Matching for Detecting Distributed Intrusions

Major Professor: Ralph Wilkerson

   

Sun, Yan

Dissertation: Business- Orientaed Software Process Improvement Based on CMM and CMMI using QFD

Major Professor: Xiaoqing Frank Liu


 

 

   

Yin, Jian,

Dissertation: Problems and Solutions for Handling Attacks in Sensor Networks

Major Professor: Sanjay Madria

   

Siever, William

Dissertation: Power Grid Flow Control Studies and High Speed Simulation

Major Proffesor: Daniel Tauritz

Assistan Professor at Western Illinois Univeristy School of Computer Science

   

Kalyani, Radha

Dissertation: A Nonlinear Optimization Approach for UPFC Power Flow Control and Voltage Security

Major Professor: Daniel Tauritz

 

Johnson, Matt David

Dissertation: The Stored Non-Domination Level Multi-Objective Evolutionary Algorithm

Major Professor: Ralph Wilkerson

Software Engineer at Asynchrony Labs, a subsidiary of World Wide Technology, Inc.


 

 

 

Bunyak, Filiz

Dissertation: Moving Object Detection and Tracking for Event-Based Video Analysis

Major Professor Dr. Dagli

Research Assistant Professor at University of Missouri

 

   

Teng, Jui-Che

Dissertation: Improving High-Dimensional Indexing for Content-Based Image Retrieval

Major Professor: Dr. Fu

 

Theses/Dissertations from 1999

An intelligent software design argumentation methodology for capturing and analyzing design rationale from multiple perspectives, Scott L. Sigman

Theses/Dissertations from 1997

GALS: genetic algorithms plus local search to solve the satisfiability problem, Nicole Anne Nemer-Preece

Theses/Dissertations from 1996

Efficient parallel algorithms on reconfigurable mesh architectures, Hsi-Chieh Lee

Parallel fast multipole algorithms for N-Body simulations, Jui-Lin Lu

An automated modular approach to the segmentation and inspection of printed circuit boards, Madhav Moganti

Run time security evaluation for distributed applications, Cristina Serban

A declarative approach to understanding program behavior through program visualization, Aggie Yee-Chun Sun

Theses/Dissertations from 1994

A Connectionist approach to database mining in the computation of group job classifications and task clusters from occupational survey data, Ruth Sue Dare

The Formal description of resource deadlock in distributed systems, Pei-Yu Li

Using temporal subsumption to generate efficient error-detecting distributed algorithms, Martina Schollmeyer

Providing assurance for responsive computing systems, Su-Mei Grace Tsai

Theses/Dissertations from 1993

Genetic algorithms with 3-parent crossover, Lawrence Vincent Edmondson

The design, analysis, and implementation of parallel simulated annealing and parallel genetic algorithms for the composite graph coloring problem, Brent S. Elmer

The interpolating random spline cryptosystem and the chaotic-map public-key cryptosystem, Fengi Hwu

The difficulty of approximating the chromatic number for random composite graphs, Jeffrey W. Jenness

Fault-tolerant ring embeddings in hypercubes: a reconfigurable approach, Jun-Lin Liu

Considerations for rapidly converging genetic algorithms designed for application to problems with expensive evaluation functions, Richard Patrick Rankin

Theses/Dissertations from 1992

The software operational requirements specification: a rule-based expert system approach, Ming-Yen Chi

Relaxing synchronization in distributed simulated annealing, Chul-Eui Hong

Fault tolerance in concurrent systems through formal methods, Hanan Lutfiyya

Constrained completion: theory, implementation, and results, Daniel Patrick Murphy

An inferencing language system for automated graphic reasoning, Paul Scarponcini

The management of replicated data, Hsueh-Chi Shih

Theses/Dissertations from 1990

Robot pedagogics: the adaptation, analysis, and computer control of a model manipulator, Edward Telley Hammerand

In search of the optimal adaptive load sharing policy for distributed systems, Yuh-Jong Hu

HIGHLAND: a graph-based parallel processing environment for heterogeneous local area networks, Douglas E. Meyer

Algorithms and probabilistic bounds for the chromatic number of random composite graphs, Jack L. Oakes

Theses/Dissertations from 1989

Graph coloring algorithms on random graphs, Shi-Jen Lin

The directed Steiner problem on graphs: a simulated annealing approach, Lawrence Joseph Osborne

Theses/Dissertations from 1988

Complete sets of reductions modulo A class of equational theories which generate infinite congruence classes, Timothy B. Baird

An integrated programming environment for pseudo-code development, IPE-PC, Nurcan Coskun

The role of term symmetry in E-unification and E-completion, Blayne E. Mayfield

Heuristic coloring algorithms for the composite graph coloring problem, Johnnie Curtis Roberts

A system for the diagnosis of faults using a first principles approach, Barbara A. Smith

Symbolic automation and numerical synthesis for robot kinematics, Jen Sriwattanathamma

Theses/Dissertations from 1987

Aircraft vertical profile implementation using demand driven minimal calculation directed graph methods, Larry T. Brewster

A representation for serial robotic tasks, Barry Ross Fox

Analysis and extensions of the Gradient-Jump method for linear programming models, Louis Dean Gentry

A processor architecture for Turbo Pascal language, Najib Abdel Karim Kofahi

Intensional reasoning about knowledge, Oliver Blagoj Popov

Theses/Dissertations from 1986

A semantic basis for parallel algorithm design, Roger Eggen

Theses/Dissertations from 1985

A parallel branch and bound algorithm for integer linear programming models, Rochelle Lloyd Boehning

An algorithm for parallel subsumption, Ralph Milton Butler

Theses/Dissertations from 1984

An incomplete orthonormalization procedure for the least-squares solution of a system of nonlinear equations, Joseph Whitfield Trigg

Theses/Dissertations from 1982

The generalized three-dimensional assignment problem: a model and solution, Wayne Paul Bailey

Predictive modeling of resource consumption during the programming phase of software development, Daniel Gerard McNicholl

Theses/Dissertations from 1981

A language directed computer architecture for GPSS, William W. Mettrey Jr.

Theses/Dissertations from 1980

Interactive vehicle dispatching: a hybrid approach, Jackie L. Lawrence

Theses/Dissertations from 1979

Development, modification, and comparison of execution times of algorithms which create or modify shortest path matrices for road networks, Juanita Kaye Shukers Grau

A penalty function technique for solving geometric programs with equality constraints, Don Harold Rountree

Parametric integer linear programming: a synthesis of branch and bound with cutting planes, Suzanne Lynn Knauer Rountree

The swap algorithm to further refine the vehicle dispatch and school bus problem, Tawsak Urwongse

Sequential selection of integer quadratic programs: an approach to parametric integer quadratic programming, Lowell Ray Watson

Theses/Dissertations from 1978

Parametric integer programming using cutting planes, Mason Gene Bailey

A nonlinear regression algorithm based on predictions generated by an eigensystem, Charles Lester Friese

Optimization of wood truss designs, Francis Ermon Little

Theses/Dissertations from 1977

A study of the effectiveness of FRTDAP, a CAI drill-and-practice system, used in conjunction with video-tapes in teaching Fortran, Joseph Kieran McAdams Sister

0
0
0

MS theses

Alobaidi, Isam Abdulmunem, 2015, Dependability, Analysis, and Recovery Support for Smart Grid, MS, (Hurson/Sedigh)

Martin, Matthew, 2015, Hyper-Heuristics for the Automated Design of Black-Box Search Algorithms, MS, (Tauritz)

Modekurth, Venkata, 2015, Design and Impliementation of a Broker for Cloud Additive Manufacturing Services, MS, (Liu)

Rush, George, 2015, Cyber Security Research Frameworks for Coevolutionary Network Defense, MS, (Tauritz)

Bielefeldt, Jake, 2015, Sensor Authentication in Collaborating Sensor Networks, MS, (Chellappan)

Chanda, Naga Prashanth, 2015, Argumentation Based Collaborative Software Architecture Design and Intelligent Analysis of Software Architecture Rationale, MS, (Liu)

Li, Haohan, 2015, A Gaussian Mixture Model for Automated Vesicle Fusion Detection and Classification, MS, (Yin)

Mekala, Amarender Reddy, 2015, Aerial Vehicle Trajectory Design for Spatio-Temporal Task Satisfaction and Aggregation Based on Utility Metric, MS, (Madria)

Sankara, Anusha, 2015, Energy Disaggregation in NIALM using Hidden Markov Models, MS, (McMillin)

Angajala, Prabhu Kumar, 2010, Event Detection for Click-through data via Query Clustering, MS, (Madria)

Edgett, Patrick, 2010, Representation and Validation of Domain and Range Restrictions in a Relational Database Driven Ontology Maintenance System, MS, (Leopold)

Fletcher, Kenneth Kofi, 2010, Cloud Security Requirements Analysis and Security Policy Development using HOOMT, MS, (Liu)

Satyavolu, Maithili, 2010, Contribution-Based Priority Assessment in a Web-Based Intelligent Argumentation Network for Collaborative Software Development, MS, (Liu)

Xu, Yibo, 2010, Minimize End-to-End Delay through Cross-Layer Optimization in Multi-hop Wireless Networks, MS, (Cheng)

Vulli, Srinivasa Shivakar, 2010, An Artificial Life Approach to Evolutionary Computation: From Mobile Cellular Algorithms to Artificial Ecosystems, MS, (Madria)

Wanchoo, Rubal, 2010, Intelligent Computational Argumentation for Evaluation Performance Scores in Multi Criteria Decision Making, MS, (Liu)

Routhu, Swathi, 2010, 2-D Path Planning for Direct Laser Deposition Process, MS, (Liu)

Kanakanala, Divya, 2010, Multi Axis Slicing using Rapid Prototyping, MS, (Liu)

Cook, Jason, 2010, Population Control in Evolutionary Algorithms, MS, (Tauritz)

Eads, Joshua Michael, 2010, EtherAnnotate: A Transparent Malware Analysis Tool for Integrating Dynamic and Static, MS, (Miller)

Dhruvanarayana, Pavitra, 2010, Dynamic Ant Colony Optimization for Globally Optimizing Consumer Preferences, MS, (Liu)

Nahar, Vikas, 2010, Content Based Image Retrieval for Bio-Medical Images, MS, (Ercal/Stanley)

Snyder, Mark Edward, 2008, Critical Infrastructure Protection and the Domain Name Service, MS, (McMillin)

Muthyapu, Santosh, 2008, PrEServD - Privacy Ensured Service Discovery in Mobile Peer-to-Peer Environment, MS, (Madria)

Jade, Anil, 2008, An economic incentive based routing protocol incorporating quality of service for mobile peer-to-peer networks, MS (Madria)

Service, Travis, 2008, Co-Optimization: A Generalization of Coevoltion, MS, (Tauritz)

Gong, Xuan, 2008, Cross-layer design through joint routing and link allocation in wireless sensor networks, MS, (Cheng)

Gore, Christopher, 2008, A Time Series Classifier, MS, (Tauritz)

Das, Mohammed, 2008, Image Analysis Techniques for Vertebra Anomaly Detection in X-Ray Images, MS, (Ercal/Stanley)

Khudkhudia, Ekta, 2008, Incorporation of Evidences in an Intelligent Argumentaion Network for Collaborative Engineering Design, MS, (Liu)

Wilkerson, Joshua, 2008, Co-evolutionary Automated Software Correction: A Proof of Concept, MS, (Tauritz)

Nikhil Bhardawaj, 2007, Symbolic Time Series Analysis Using Hidden Markov Models, MS, (Madria/Thakur)

Kandoth, Cyriac, 2007, A Quantitative Study of Gene Identification Techniques Based on Evolutionary Rationales, MS, (Ercal/Frank)

Yin, Li, 2007, Sensor Network Coverage and Data Aggregation Problem: Solutions Toward the Maximum Lifetime, MS, (Cheng)

Underwood, Ryan, 2007, An Open Framework for Highly Concurrent Hardware-in-the-Loop Simulation, MS, (McMillin)

Tang, Han, 2007, Security Analysis of a Cyber-Physical System, MS, (McMillin)

Rathore, Kumar Abhinay, 2007, ADA-REP: Adaptive Searching and Replication of Images in Mobile Hierarchical Peer-to-Peer Networks, MS, (Madria)

Eindhal, Janarthanan, 2007, Creation of XML View and Propagation of Updates to Relational Database, MS, (Madria)

Baird, Ian, 2007, A Light-Weight Middleware Framework for Fault-Tolerant and Secure Distributed Applications, MS, (McMillin)

Sadana, Vishal, 2007, Analysis of Conflicts Among Non-Functional Requirements Using Integrated Analysis of Functional and Non-Functional Requirements, MS, (Liu)

Singh, Simrit Pal, 2007, Vulnerability Analysis of PLC-Based SCADA Systems Over Ethernet Using Attack Trees and Commercial-off-the Shelf (COTS) Tools, MS, (Miller)

Zheng, Man, 2007, Management of an Intelligent Argumentation Network for a Web-Based Collaborative Engineering Design Environment, MS, (Liu)

Bajaj, Rakesh Kumar, 2002, Mechanical Response of Nets of Graphical Objects, MS, (Hilgers)

Reddy, Mereddy Pramodh Kumar, 2000, Dynamic Unsupervised Clustering Algorithm (DUCA) for Sensor Data Fusion, MS, (Rao/Fu)

Chittajallu, Marutikumar, 2000, Event History Clipping in Real Time Systems, MS, (McMillin)

Johnson, Matt David, 2000, Computerized Arrangement of Vocal Music, MS, (Wilkerson)

Fisher, Michael Alton, 2000, A Two Dimensional Graphic Comparison System, MS, (St. Clair)

Scholars' Mine