Formal Verification Framework for Safety of Real-Time System based on Timed Automata Model in PVS. - Qingguo Xu; Huaikou Miao (IASTED Conf. on Software Engineering, 2006)

Modeling Timed Automata Theory in PVS. - Qingguo Xu; Huaikou Miao (Software Engineering Research and Practice, 2006)

Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority. - Shengbo Chen; Huaikou Miao; Qingguo Xu (GCC, 2007)

Verifying Service-Oriented Requirements Using Model Checking. - Xiaoxia Cao; Huaikou Miao; Qingguo Xu (ICEBE, 2008)

Modeling and Refining the Service-Oriented Requirement. - Xiaoxia Cao; Huaikou Miao; Qingguo Xu (TASE, 2008)

Manipulating Clocks in Timed Automata Using PVS. - Qingguo Xu; Huaikou Miao (SNPD, 2009)

Modeling and Verifying Web Service Applications with Time Constraints. - Jia Mei; Huaikou Miao; Qingguo Xu; Pan Liu (ACIS-ICIS, 2010)

Modeling Predicate Abstraction of Timed Automata in PVS. - Xia Yin; Qingguo Xu; Kunliang Han (iThings/CPSCom, 2011)

An Advanced Methodology for Measuring and Characterizing Software Aging. - Pengfei Zheng; Qingguo Xu; Yong Qi (ISSRE Workshops, 2012)

LittleHelper: An augmented reality glass application to assist individuals with autism in job interview. - Qingguo Xu; Sen-ching Samson Cheung; Neelkamal Soares (APSIPA, 2015)

Divergence Detection for CCSL Specification via Clock Causality Chain. - Qingguo Xu; Robert de Simone; Julien DeAntoni (SETTA, 2016)

Instant-Based and State-Based Analysis of Infinite Logical Clock. - Qingguo Xu; Huaikou Miao; Robert de Simone; Julien DeAntoni (SOFL+MSVL, 2016)

Mask-off: Synthesizing Face Images in the Presence of Head-mounted Displays. - Yajie Zhao; Qingguo Xu; Xinyu Huang 001; Ruigang Yang (CoRR, 2016)

Text Classification Based on Improved Information Gain Algorithm and Convolutional Neural Network. - Mengjie Dong; Huahu Xu; Qingguo Xu (TRIDENTCOM, 2019)

Mask-off: Synthesizing Face Images in the Presence of Head-mounted Displays. - Yajie Zhao; Qingguo Xu; Weikai Chen 001; Chao Du; Jun Xing; Xinyu Huang 001; Ruigang Yang (VR, 2019)

Normalized Avatar Synthesis Using StyleGAN and Perceptual Refinement. - Huiwen Luo; Koki Nagano; Han-Wei Kung; Qingguo Xu; Zejian Wang; Lingyu Wei; Liwen Hu 001; Hao Li 015 (CVPR, 2021)

Normalized Avatar Synthesis Using StyleGAN and Perceptual Refinement. - Huiwen Luo; Koki Nagano; Han-Wei Kung; McLean Goldwhite; Qingguo Xu; Zejian Wang; Lingyu Wei; Liwen Hu 001; Hao Li 015 (CoRR, 2021)

Multi-Layer Feature Fusion-Based Community Evolution Prediction. - Zhao Wang; Qingguo Xu; Weimin Li 001 (Future Internet, 2022)

Optimizing Transformer Training Based on Computation and Accessing Memory Features with Deep Learning Processor. - Zhou Lei; Qin Fang; Jingfeng Qian; Shengbo Chen; Qingguo Xu; Ninghua Yang (ICPADS, 2023)

Scalable Tracing of MPI Events and Performance Metrics. - Tao Yan; Qingguo Xu; Jiyu Luo; Jingwei Sun 001; Guangzhong Sun (IPDPS Workshops, 2023)

Synthesizing Proxy Applications for MPI Programs. - Tao Yan; Qingguo Xu; Jiyu Luo; Jingwei Sun 001; Guangzhong Sun (CoRR, 2023)

Siesta: Synthesizing Proxy Applications for MPI Programs. - Jiyu Luo; Tao Yan; Qingguo Xu; Jingwei Sun 001; Guangzhong Sun (CLUSTER, 2024)

AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance. - Fei Zheng; Qingguo Xu; Zhou Lei; Huaikou Miao (ICECCS, 2024)

SGLP: A novel method for mining single-cell specific gene clusters. - Qingguo Xu; Yidan Zhang; Weimin Li 001; Jiajie Zhu (Biomed. Signal Process. Control., 2025)