A standard model-theoretic approach to operational semantics of recursive programs. - Zhiqing Shao (J. Comput. Sci. Technol., 1993)

Term rewriting systems with sort priorities. - Zhiqing Shao; Guoxin Song (Int. J. Comput. Math., 1995)

An algebraic characterization of inductive soundness in proof by consistency. - Zhiqing Shao; Guoxin Song (J. Comput. Sci. Technol., 1995)

Proving Inductive Theorems Using Witnessed Test Sets. - Zhiqing Shao; Yongqiang Sun; Guoxin Song; Huiqun Yu (ICFEM, 1998)

Deciding quasi-reducibility using witnessed test sets. - Zhiqing Shao; Yongqiang Sun; Guoxin Song; Huiqun Yu (J. Comput. Sci. Technol., 1999)

Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications. - David R. Musser; Zhiqing Shao (ICFEM, 2002)

Network Anomaly Detection Using Time Series Analysis. - Qingtao Wu; Zhiqing Shao (ICAS/ICNS, 2005)

Modeling Complex Software Systems Using an Aspect Extension of Object-Z. - Huiqun Yu; Dongmei Liu; Zhiqing Shao; Xudong He (SEKE, 2006)

Boolean Filters and Prime Filters of Residual Lattices. - Yongquan Wang; Xiaohong Zhang 001; Zhiqing Shao (FSKD (1), 2007)

A Danger-Theory-Based Abnormal Traffic Detection Model in Local Network. - Xiuying Wang 006; Lizhong Xiao; Zhiqing Shao (CSSE (3), 2008)

Content-Oriented Automatic Text Categorization with the Cognitive Situation Models. - Yi Guo; Zhiqing Shao; Nan Hua (ISCSCT (1), 2008)

A Petri Net based Method for Analyzing Schedulability of Distributed Real-time Embedded Systems. - Liqiong Chen; Zhiqing Shao; Guisheng Fan; Hanhua Ma (J. Comput., 2008)

A Heuristic QoS-Aware Service Selection Approach to Web Service Composition. - Dongmei Liu; Zhiqing Shao; Caizhu Yu; Guisheng Fan (ACIS-ICIS, 2009)

ASM Semantic Modeling and Checking for Sequence Diagram. - Xiang Zhou; Zhiqing Shao (ICNC (5), 2009)

A Hierarchical Text Clustering Algorithm with Cognitive Situation Dimensions. - Yi Guo; Zhiqing Shao; Nan Hua (WKDD, 2009)

A Method for Analyzing and Predicting Reliability of BPEL Process. - Liqiong Chen; Zhiqing Shao; Guisheng Fan; Hanhua Ma (J. Softw., 2009)

Computing invariants of hybrid system using quantifier elimination. - Yongquan Wang; Zhiqing Shao; Zhongqin Bi (ICIS, 2010)

Automatic text categorization based on content analysis with cognitive situation models. - Yi Guo 009; Zhiqing Shao; Nan Hua (Inf. Sci., 2010)

A cognitive interactionist sentence parser with simple recurrent networks. - Yi Guo 009; Zhiqing Shao; Nan Hua (Inf. Sci., 2010)

Automatic Web Information Extraction Based on Rules. - Fanghuai Hu; Tong Ruan; Zhiqing Shao; Jun Ding (WISE, 2011)

Complete-Thread Extraction from Web Forums. - Fanghuai Hu; Tong Ruan; Zhiqing Shao (APWeb, 2012)

Establishing Service Level Agreement Requirement Based on Monitoring. - Haiteng Zhang; Zhiqing Shao; Hong Zheng; Jie Zhai (CGC, 2012)

Cognitive intentionality extraction from discourse with pragmatic-tree construction and analysis. - Yi Guo 009; Yan Li; Zhiqing Shao (Inf. Sci., 2012)

Building XML Data Warehouse with Data Reconstruction by Knowledge Graph. - Yuyi Jiang; Zhiqing Shao; Yi Guo; Huanhuan Zhang; Liping Sun (BDCloud, 2015)

An Ant Colony-based Text Clustering System with Cognitive Situation Dimensions. - Yi Guo; Yan Li; Zhiqing Shao (Int. J. Comput. Intell. Syst., 2015)

Self-Supervised Synonym Extraction from the Web. - Fanghuai Hu; Zhiqing Shao; Tong Ruan (J. Inf. Sci. Eng., 2015)

The refinement check of added dynamic diagrams based on pi-calculus. - Xiang Zhou; Zhiqing Shao (Int. Arab J. Inf. Technol., 2016)

Predicting Community Smells' Occurrence on Individual Developers by Sentiments. - Zijie Huang 001; Zhiqing Shao; Guisheng Fan; Jianhua Gao; Ziyi Zhou; Kang Yang 004; Xingguang Yang (ICPC, 2021)

Dynamic Trust-Based Resource Allocation Mechanism for Secure Edge Computing. - Huiqun Yu; Qifeng Tang; Zhiqing Shao; Yiming Yue; Guisheng Fan; Liqiong Chen (CollaborateCom (2), 2022)

Bug Report Priority Prediction Using Developer-Oriented Socio-Technical Features. - Zijie Huang 001; Zhiqing Shao; Guisheng Fan; Huiqun Yu; Kang Yang 004; Ziyi Zhou (Internetware, 2022)

niDts: A New Generation Intelligent Data Trading System. - Qifeng Tang; Zhiqing Shao; Lihua Huang; Hsunfang Cho; Yiguang Zhang (SmartCloud, 2022)

Community Smell Occurrence Prediction on Multi-Granularity by Developer-Oriented Features and Process Metrics. - Zijie Huang 001; Zhiqing Shao; Guisheng Fan; Huiqun Yu; Xingguang Yang; Kang Yang 004 (J. Comput. Sci. Technol., 2022)

HBSniff: A static analysis tool for Java Hibernate object-relational mapping code smell detection. - Zijie Huang 001; Zhiqing Shao; Guisheng Fan; Huiqun Yu; Kang Yang 004; Ziyi Zhou (Sci. Comput. Program., 2022)

Aligning XAI explanations with software developers' expectations: A case study with code smell prioritization. - Zijie Huang 001; Huiqun Yu; Guisheng Fan; Zhiqing Shao; Mingchen Li; Yuguo Liang (Expert Syst. Appl., 2024)

On the effectiveness of developer features in code smell prioritization: A replication study. - Zijie Huang 001; Huiqun Yu; Guisheng Fan; Zhiqing Shao; Ziyi Zhou; Mingchen Li (J. Syst. Softw., 2024)

Bug report priority prediction using social and technical features. - Zijie Huang 001; Zhiqing Shao; Guisheng Fan; Huiqun Yu; Kang Yang 004; Ziyi Zhou (J. Softw. Evol. Process., 2024)