A New Lower Bound of Critical Function for (k, s)-SAT. - Ping Gong 004; Daoyun Xu (TAMC, 2006)

Dynamic semantics of OWL-S in CSP-OZ. - Ping Gong 004; Keqing He 002; Jian Wang 018; Zaiwen Feng (ACSD, 2008)

RGPS: a unified requirements meta-modeling frame for networked software. - Jian Wang 018; Keqing He 002; Ping Gong 004; Chong Wang 004; Rong Peng; Bing Li 010 (IWAAPF@ICSE, 2008)

Towards Individualized Requirements Specification Evolution for Networked Software Based on Aspect. - Zaiwen Feng; Keqing He 002; Yutao Ma; Jian Wang 018; Ping Gong 004 (ICSP, 2008)

On the Capability Compliance of Annotated Process Model. - Ping Gong 004; Keqing He 002 (ACIS-ICIS, 2009)

Formal Analysis of OWL-S Process Model by FDR. - Ping Gong 004; Jianmin Jiang; Shi Zhang (APSCC, 2011)

Message Dependency-Based Adaptation of Services. - Jianmin Jiang; Shi Zhang; Ping Gong 004; Zhong Hong (APSCC, 2011)

Service Adaptation at Message Level. - Jianmin Jiang; Shi Zhang; Ping Gong 004; Zhong Hong (SERVICES, 2011)

Executability Analysis for Semantically Annotated Process Model. - Ping Gong 004; Jianmin Jiang; Shi Zhang; Zhi Qin Chen (APSCC, 2012)

Modeling and analyzing mixed communications in service-oriented trustworthy software. - Jianmin Jiang; Shi Zhang; Ping Gong 004; Zhong Hong; HouGuang Yue (Sci. China Inf. Sci., 2012)

Configuring business process models. - Jianmin Jiang; Shi Zhang; Ping Gong 004; Zhong Hong (ACM SIGSOFT Softw. Eng. Notes, 2013)

Configuration of Services Based on Virtualization. - Jianmin Jiang; Huibiao Zhu; Qin Li 002; Shi Zhang; Ping Gong 004; Zhong Hong (TASE, 2014)

Analyzing Event-Based Scheduling in Concurrent Reactive Systems. - Jianmin Jiang; Huibiao Zhu; Qin Li 002; Yongxin Zhao; Lin Zhao; Shi Zhang; Ping Gong 004; Zhong Hong (ACM Trans. Embed. Comput. Syst., 2015)

bpCMon: A Rule-Based Monitoring Framework for Business Processes Compliance. - Ping Gong 004; David Knuplesch; Zaiwen Feng; Jianmin Jiang (Int. J. Web Serv. Res., 2017)

Event-Based Mobility Modeling and Analysis. - Jianmin Jiang; Huibiao Zhu; Qin Li 002; Yongxin Zhao; Lin Zhao; Shi Zhang; Ping Gong 004; Zhong Hong; Donghuo Chen (ACM Trans. Cyber Phys. Syst., 2017)

Facilitating Cloud Process Family Co-Evolution by Reusable Process Plug-in: An Open-source Prototype. - Zaiwen Feng; Dickson K. W. Chiu; Rong Peng; Ping Gong 004; Keqing He 002; Yiwang Huang (IEEE Trans. Serv. Comput., 2017)

Isolation Modeling and Analysis Based on Mobility. - Jianmin Jiang; Huibiao Zhu; Qin Li 002; Yongxin Zhao; Zhong Hong; Shi Zhang; Ping Gong 004 (ACM Trans. Softw. Eng. Methodol., 2019)

Event-based functional decomposition. - Jianmin Jiang; Huibiao Zhu; Qin Li 002; Yongxin Zhao; Shi Zhang; Ping Gong 004; Zhong Hong (Inf. Comput., 2020)

Toward more efficient locality-sensitive hashing via constructing novel hash function cluster. - Shi Zhang; Jin Huang; Ruliang Xiao; Xin Du 003; Ping Gong 004; Xinhong Lin (Concurr. Comput. Pract. Exp., 2021)

Towards an efficient real-time kernel function stream clustering method via shared nearest-neighbor density for the IIoT. - Ruohe Huang; Ruliang Xiao; Weifu Zhu; Ping Gong 004; Jinhui Chen; Imad Rida (Inf. Sci., 2021)

Efficient Gaussian Kernel Microcluster Real-Time Clustering Method for Industrial Internet of Things (IIoT) Streams. - Weifu Zhu; Ruliang Xiao; Ruohe Huang; Ping Gong 004; Shi Zhang; Xin Du 003 (IEEE Internet Things J., 2022)

ADCapsNet: An Efficient and Robust Capsule Network Model for Anomaly Detection. - Xiangyu Cai; Ruliang Xiao; Zhixia Zeng; Ping Gong 004; Shi Zhang (CACML, 2023)

An Efficient Customized Blockchain System for Inter-Organizational Processes. - Puwei Wang; Zhouxing Sun; Rui Li; Jinchuan Chen; Ping Gong 004; Xiaoyong Du 001 (ICWS, 2023)

ITran: A novel transformer-based approach for industrial anomaly detection and localization. - Xiangyu Cai; Ruliang Xiao; Zhixia Zeng; Ping Gong 004; Youcong Ni (Eng. Appl. Artif. Intell., 2023)