Qingguo Xu

24 papers A* 2B 2C 2Misc 3Journal 5Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
SGLP: A novel method for mining single-cell specific gene clusters.
Biomed. Signal Process. Control.
Qingguo Xu, Yidan Zhang, Weimin Li, Jiajie Zhu
2024 B conf
AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance.
ICECCS
Fei Zheng, Qingguo Xu, Zhou Lei, Huaikou Miao
2024 C conf
Siesta: Synthesizing Proxy Applications for MPI Programs.
CLUSTER
Jiyu Luo, Tao Yan, Qingguo Xu, Jingwei Sun, Guangzhong Sun
2023 B conf
Optimizing Transformer Training Based on Computation and Accessing Memory Features with Deep Learning Processor.
ICPADS
Zhou Lei, Qin Fang, Jingfeng Qian, Shengbo Chen, Qingguo Xu, Ninghua Yang
2023 — conf
Scalable Tracing of MPI Events and Performance Metrics.
IPDPS Workshops
Tao Yan, Qingguo Xu, Jiyu Luo, Jingwei Sun, Guangzhong Sun
2023 J jnl
Synthesizing Proxy Applications for MPI Programs.
CoRR
Tao Yan, Qingguo Xu, Jiyu Luo, Jingwei Sun, Guangzhong Sun
2022 J jnl
Multi-Layer Feature Fusion-Based Community Evolution Prediction.
Future Internet
Zhao Wang, Qingguo Xu, Weimin Li
2021 A* conf
Normalized Avatar Synthesis Using StyleGAN and Perceptual Refinement.
CVPR
Huiwen Luo, Koki Nagano, Han-Wei Kung, Qingguo Xu, Zejian Wang, Lingyu Wei, Liwen Hu, Hao Li
2021 J jnl
Normalized Avatar Synthesis Using StyleGAN and Perceptual Refinement.
CoRR
Huiwen Luo, Koki Nagano, Han-Wei Kung, McLean Goldwhite, Qingguo Xu, Zejian Wang, Lingyu Wei, Liwen Hu, Hao Li
2019 A* conf
Mask-off: Synthesizing Face Images in the Presence of Head-mounted Displays.
VR
Yajie Zhao, Qingguo Xu, Weikai Chen, Chao Du, Jun Xing, Xinyu Huang, Ruigang Yang
2019 Misc conf
Text Classification Based on Improved Information Gain Algorithm and Convolutional Neural Network.
TRIDENTCOM
Mengjie Dong, Huahu Xu, Qingguo Xu
2016 Misc conf
Divergence Detection for CCSL Specification via Clock Causality Chain.
SETTA
Qingguo Xu, Robert de Simone, Julien Deantoni
2016 — conf
Instant-Based and State-Based Analysis of Infinite Logical Clock.
SOFL+MSVL
Qingguo Xu, Huaikou Miao, Robert de Simone, Julien Deantoni
2016 J jnl
Mask-off: Synthesizing Face Images in the Presence of Head-mounted Displays.
CoRR
Yajie Zhao, Qingguo Xu, Xinyu Huang, Ruigang Yang
2015 — conf
LittleHelper: An augmented reality glass application to assist individuals with autism in job interview.
APSIPA
Qingguo Xu, Sen-ching Samson Cheung, Neelkamal Soares
2012 — conf
An Advanced Methodology for Measuring and Characterizing Software Aging.
ISSRE Workshops
Pengfei Zheng, Qingguo Xu, Yong Qi
2011 — conf
Modeling Predicate Abstraction of Timed Automata in PVS.
iThings/CPSCom
Xia Yin, Qingguo Xu, Kunliang Han
2010 — conf
Modeling and Verifying Web Service Applications with Time Constraints.
ACIS-ICIS
Jia Mei, Huaikou Miao, Qingguo Xu, Pan Liu
2009 C conf
Manipulating Clocks in Timed Automata Using PVS.
SNPD
Qingguo Xu, Huaikou Miao
2008 Misc conf
Modeling and Refining the Service-Oriented Requirement.
TASE
Xiaoxia Cao, Huaikou Miao, Qingguo Xu
2008 — conf
Verifying Service-Oriented Requirements Using Model Checking.
ICEBE
Xiaoxia Cao, Huaikou Miao, Qingguo Xu
2007 — conf
Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority.
GCC
Shengbo Chen, Huaikou Miao, Qingguo Xu
2006 — conf
Formal Verification Framework for Safety of Real-Time System based on Timed Automata Model in PVS.
IASTED Conf. on Software Engineering
Qingguo Xu, Huaikou Miao
2006 — conf
Modeling Timed Automata Theory in PVS.
Software Engineering Research and Practice
Qingguo Xu, Huaikou Miao