Formal modeling of synchronization methods for concurrent objects in Ada 95. - Ravi K. Gedela; Sol M. Shatz; Haiping Xu (SIGAda, 1999)

Compositional Petri net models of advanced tasking in Ada-95. - Ravi K. Gedela; Sol M. Shatz; Haiping Xu (Comput. Lang., 1999)

Extending G-nets to support inheritance modeling in concurrent object-oriented design. - Haiping Xu; Sol M. Shatz (SMC, 2000)

A Framework for Modeling Agent-Oriented Software. - Haiping Xu; Sol M. Shatz (ICDCS, 2001)

An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce. - Haiping Xu; Sol M. Shatz (ISADS, 2001)

ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems. - Haiping Xu; Sol M. Shatz (Autom. Softw. Eng., 2003)

A Framework for Model-Based Design of Agent-Oriented Software. - Haiping Xu; Sol M. Shatz (IEEE Trans. Software Eng., 2003)

A Methodology for Role-Based Modeling of Open Multi-Agent Software Systems. - Haiping Xu; Xiaoqin Zhang 001 (ICEIS (3), 2005)

A Security Based Model for Mobile Agent Software Systems. - Haiping Xu; Zhiguo Zhang; Sol M. Shatz (Int. J. Softw. Eng. Knowl. Eng., 2005)

A petri net based XML firewall security model for web services invocation. - Mihir M. Ayachit; Haiping Xu (Communication, Network, and Information Security, 2006)

Towards Automated Development of Multi-Agent Systems Using RADE. - Xiaoqin Zhang 001; Haiping Xu (IC-AI, 2006)

A Formal Approach to Detecting Shilling Behaviors in Concurrent Online Auctions. - Yi-Tsung Cheng; Haiping Xu (ICEIS (3), 2006)

Developing multi-agent systems with automatic agent generation and dynamic task allocation mechanisms. - Xiaoqin Zhang 001; Haiping Xu; Bhavesh Shrestha (AAMAS, 2007)

Designing Software Engineering Option within Computer Science Bachelor of Science Program. - Jan Bergandy; Paul L. Bergstein; Boleslaw Mikolajczak; Haiping Xu (FECS, 2007)

Real-Time Trust Management in Agent Based Online Auction Systems. - Rinkesh Patel; Haiping Xu; Ankit Goel (SEKE, 2007)

Model checking bidding behaviors in internet concurrent auctions. - Haiping Xu; Yi-Tsung Cheng (Comput. Syst. Sci. Eng., 2007)

An Integrated Role-Based Approach for Modeling, Designing and Implementing Multi-Agent Systems. - Xiaoqin Zhang 001; Haiping Xu; Bhavesh Shrestha (J. Braz. Comput. Soc., 2007)

A Framework for Agent-Based Trust Management in Online Auctions. - Haiping Xu; Sol M. Shatz; Christopher K. Bates (ITNG, 2008)

Securing Service-oriented Systems Using State-Based XML Firewall. - Abhinay Reddyreddy; Haiping Xu (SEKE, 2008)

Formal modelling and analysis of XML firewall for service-oriented systems. - Haiping Xu; Mihir M. Ayachit; Abhinay Reddyreddy (Int. J. Secur. Networks, 2008)

Inference of Online Auction Shills Using Dempster-Shafer Theory. - Fei Dong; Sol M. Shatz; Haiping Xu (ITNG, 2009)

Model-Based Specification of Flexible and Complex Bidding Strategies in Agent-Based Online Auctions. - Benjamin J. Ford; Haiping Xu; Christopher K. Bates; Sol M. Shatz (ITNG, 2009)

Real-Time Model Checking for Shill Detection in Live Online Auctions. - Haiping Xu; Christopher K. Bates; Sol M. Shatz (Software Engineering Research and Practice, 2009)

Combating online in-auction fraud: Clues, techniques and challenges. - Fei Dong; Sol M. Shatz; Haiping Xu (Comput. Sci. Rev., 2009)

Identifying Suspicious Bidders Utilizing Hierarchical Clustering and Decision Trees. - Benjamin J. Ford; Haiping Xu; Iren Valova (IC-AI, 2010)

An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions. - Fei Dong; Sol M. Shatz; Haiping Xu (SEKE, 2010)

A Multi-State Bayesian Network for Shill Verification in Online Auctions. - Ankit Goel; Haiping Xu; Sol M. Shatz (SEKE, 2010)

Reasoning under Uncertainty for Shill Detection in Online Auctions Using Dempster-Shafer Theory. - Fei Dong; Sol M. Shatz; Haiping Xu (Int. J. Softw. Eng. Knowl. Eng., 2010)

Visual Specification of Layered Bidding Strategies for Autonomous Bidding Agents. - Benjamin J. Ford; Haiping Xu; Christopher K. Bates; Sol M. Shatz (J. Comput., 2010)

Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets. - Ryan Robidoux; Haiping Xu; Liudong Xing; MengChu Zhou (IEEE Trans. Syst. Man Cybern. Part A, 2010)

A Real-Time Reliability Model for Ontology-Based Dynamic Web Service Composition. - Harmeet Chawla; Haiping Xu; MengChu Zhou (SEKE, 2011)

Defending Against XML-Based Attacks Using State-Based XML Firewall. - Haiping Xu; Abhinay Reddyreddy; Daniel F. Fitch (J. Comput., 2011)

A Petri Net Model for Secure and Fault-Tolerant Cloud-Based Information Storage. - Daniel F. Fitch; Haiping Xu (SEKE, 2012)

Price comparison: A reliable approach to identifying shill bidding in online auctions? - Fei Dong; Sol M. Shatz; Haiping Xu; Dibyen Majumdar (Electron. Commer. Res. Appl., 2012)

Image Segmentation Model Based on Local Image Fitting Energy and Split Bregman Method. - Jing Lin; Meiqing Wang; Haiping Xu (ICIG, 2013)

A Formal Cost-Effectiveness Analysis Model for Product Evaluation in E-Commerce. - Ran Wei; Haiping Xu (SEKE, 2013)

A Real-Time Self-Adaptive Classifier for Identifying Suspicious Bidders in Online Auctions. - Benjamin J. Ford; Haiping Xu; Iren Valova (Comput. J., 2013)

A RAID-Based Secure and Fault-Tolerant Model for Cloud Information Storage. - Daniel F. Fitch; Haiping Xu (Int. J. Softw. Eng. Knowl. Eng., 2013)

Two-Level Smart Search Engine Using Ontology-Based Semantic Reasoning. - Haiping Xu; Arturo Li (SEKE, 2014)

Guest Editors' Introduction. - Haiping Xu; Jerry Gao 002; Yan Bai; George Roussos (Int. J. Softw. Eng. Knowl. Eng., 2014)

Reliability-Based Software Rejuvenation Scheduling for Cloud-Based Systems. - Jean Rahme; Haiping Xu (SEKE, 2015)

A Reliable and Secure Cloud Storage Schema Using Multiple Service Providers. - Haiping Xu; Deepti Bhalerao (SEKE, 2015)

A Software Reliability Model for Cloud-Based Software Rejuvenation Using Dynamic Fault Trees. - Jean Rahme; Haiping Xu (Int. J. Softw. Eng. Knowl. Eng., 2015)

Future Research Directions of Software Engineering and Knowledge Engineering. - Haiping Xu (Int. J. Softw. Eng. Knowl. Eng., 2015)

Guest Editor's Introduction. - Haiping Xu (Int. J. Softw. Eng. Knowl. Eng., 2015)

Reliable and Secure Distributed Cloud Data Storage Using Reed-Solomon Codes. - Haiping Xu; Deepti Bhalerao (Int. J. Softw. Eng. Knowl. Eng., 2015)

SLTM: A Sentence Level Topic Model for Analysis of Online Reviews. - Yuhan Zhang; Haiping Xu (SEKE, 2016)

Automatic topic discovery of online hospital reviews using an improved LDA with Variational Gibbs Sampling. - Richard de Groof; Haiping Xu (IEEE BigData, 2017)

Generalized two-vector-based direct torque control of permanent-magnet synchronous machine drives. - Cong Xiong; Haiyang Zhang; Haiping Xu; Cheng Fang (IECON, 2017)

An Efficient Double Auction Mechanism for On-Demand Transport Services in Cloud-Based Mobile Commerce. - Lexin Zhou; Haiping Xu (MobileCloud, 2017)

Dependable and reliable cloud-based systems using multiple software spare components. - Jean Rahme; Haiping Xu (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2017)

Preventive maintenance for cloud-based software systems subject to non-constant failure rates. - Jean Rahme; Haiping Xu (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2017)

Smart real estate assessments using structured deep neural networks. - Haiping Xu; Amol Gade (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2017)

Image Cosegmentation Using Shape Similarity and Object Discovery Scheme. - Haiping Xu; Meiqing Wang; Fei Chen 012; Choi-Hong Lai (Int. J. Pattern Recognit. Artif. Intell., 2018)

A Hybrid Swarm Intelligence-Based Algorithm for Finding Minimum Positive Influence Dominating Sets. - Geng Lin; Jinyan Luo; Haiping Xu; Meiqin Xu (ICNC-FSKD, 2019)

Image Cosegmentation via Cosaliency Guided and Spline Regression. - Haiping Xu; Geng Lin; Meiqing Wang (ISPA/BDCloud/SocialCom/SustainCom, 2019)

A Survey of Object Co-Segmentation. - Zhoumin Lu; Haiping Xu; Genggeng Liu (IEEE Access, 2019)

A Review of Recent Advances in Image Co-Segmentation Techniques. - Haiping Xu; Geng Lin; Meiqing Wang (IEEE Access, 2019)

A Modified Multiplicative Intrinsic Component and Local Intensity Inhomogeneity for Brain Image Segmentation. - Ji Li; Haiping Xu; Chencheng Huang (ISICDM, 2020)

Timely Publication of Transaction Records in a Private Blockchain. - Rui Ming; Haiping Xu (QRS Companion, 2020)

An effective binary artificial bee colony algorithm for maximum set k-covering problem. - Geng Lin; Haiping Xu; Xiang Chen; Jian Guan 007 (Expert Syst. Appl., 2020)

A Fault-Tolerant FOC Strategy for Five-Phase SPMSM With Minimum Torque Ripples in the Full Torque Operation Range Under Double-Phase Open-Circuit Fault. - Cong Xiong; Tao Guan; Peng Zhou; Haiping Xu (IEEE Trans. Ind. Electron., 2020)

A Constant Switching Frequency Multiple-Vector-Based Model Predictive Current Control of Five-Phase PMSM With Nonsinusoidal Back EMF. - Cong Xiong; Haiping Xu; Tao Guan; Peng Zhou (IEEE Trans. Ind. Electron., 2020)

A Novel Adaptable Sonar Image Pseudo-color Enhancement Method Using CIELab Space. - Qiuju Li; Haiping Xu; Zhixiang Lan (ICSPCC, 2021)

Hierarchical Cloud-Based Consortium Blockchains for Healthcare Data Storage. - Alvin Thamrin; Haiping Xu (QRS Companion, 2021)

Cloud-Based Blockchains for Secure and Reliable Big Data Storage Service in Healthcare Systems. - Alvin Thamrin; Haiping Xu (SOSE, 2021)

Cost-sensitive selection of variables by ensemble of model sequences. - Donghui Yan; Zhiwei Qin; Songxiang Gu; Haiping Xu; Ming Shao (Knowl. Inf. Syst., 2021)

Incorporating global multiplicative decomposition and local statistical information for brain tissue segmentation and bias field estimation. - Haiping Xu; Geng Lin (Knowl. Based Syst., 2021)

Robust Feature Matching for Remote Sensing Image Registration via Linear Adaptive Filtering. - Xingyu Jiang; Jiayi Ma 001; Aoxiang Fan; Haiping Xu; Geng Lin; Tao Lu 001; Xin Tian 006 (IEEE Trans. Geosci. Remote. Sens., 2021)

Multi-View Deep Matrix Factorization with Consensual Solution from Multiple Paths. - Sheng Huang; Lele Fu; Yunhe Zhang 001; Haiping Xu; Shiping Wang (ICME, 2022)

Fine-Grained ICD Code Assignment Using Ontology-Based Classification. - Joshua Carberry; Haiping Xu (IRI, 2022)

A Scalable Storage Scheme for On-Chain Big Data using Historical Blockchains. - Marcos Felipe; Haiping Xu (QRS Companion, 2022)

A ranking paired based artificial bee colony algorithm for data clustering. - Haiping Xu; Zhengshan Dong; Meiqin Xu; Geng Lin (Int. J. Comput. Sci. Math., 2022)

Evaluating Online Products Using Text Mining: A Reliable Evidence-Based Approach. - Haiping Xu; Ran Wei; Richard de Groof; Joshua Carberry (Int. J. Semantic Comput., 2022)

SIDNet: A single image dedusting network with color cast correction. - Jiayan Huang; Haiping Xu; Guanghai Liu 001; Chuansheng Wang; Zhongyi Hu 001; Zuoyong Li (Signal Process., 2022)

Multigraph Random Walk for Joint Learning of Multiview Clustering and Semisupervised Classification. - Shiping Wang; Lele Fu; Zhewen Wang; Haiping Xu; William Zhu 001 (IEEE Trans. Comput. Soc. Syst., 2022)

A Deep Neural Network Based Approach to Building Budget-Constrained Models for Big Data Analysis. - Rui Ming; Haiping Xu; Shannon E. Gibbs; Donghui Yan; Ming Shao (CoRR, 2023)

An Educational Tool for Exploring the Pumping Lemma Property for Regular Languages. - Josue N. Rivera; Haiping Xu (CoRR, 2023)

Object-aware deep feature extraction for feature matching. - Zuoyong Li; Weice Wang; Taotao Lai; Haiping Xu; Pantea Keikhosrokiani (Concurr. Comput. Pract. Exp., 2024)

Real-Time rejuvenation scheduling for cloud systems with virtualized software spares. - Joshua R. Carberry; John Rahme; Haiping Xu (J. Syst. Softw., 2024)

A Computational Approach to Improving Fairness in K-means Clustering. - Guancheng Zhou; Haiping Xu; Hongkang Xu; Chenyu Li; Donghui Yan (CoRR, 2025)

IoT-Integrated Variance-Combined Bias Correction for Enhancing Hydrological Forecasting. - Tiantian Tang; Yujie Li; Haiping Xu; Yu Wang 078; Haitao Zhao 004; Guan Gui 001 (IEEE Internet Things J., 2025)