default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDQingguo Xu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c18]Fei Zheng, Qingguo Xu, Zhou Lei, Huaikou Miao:
AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance. ICECCS 2024: 88-107- 2023
- [c17]Zhou Lei, Qin Fang, Jingfeng Qian, Shengbo Chen, Qingguo Xu, Ninghua Yang:
Optimizing Transformer Training Based on Computation and Accessing Memory Features with Deep Learning Processor. ICPADS 2023: 2781-2784 - [c16]Tao Yan, Qingguo Xu, Jiyu Luo, Jingwei Sun, Guangzhong Sun:
Scalable Tracing of MPI Events and Performance Metrics. IPDPS Workshops 2023: 714-723 - [i3]Tao Yan, Qingguo Xu, Jiyu Luo, Jingwei Sun, Guangzhong Sun:
Synthesizing Proxy Applications for MPI Programs. CoRR abs/2301.06062 (2023) - 2022
- [j1]Zhao Wang, Qingguo Xu, Weimin Li:
Multi-Layer Feature Fusion-Based Community Evolution Prediction. Future Internet 14(4): 113 (2022) - 2021
- [c15]Huiwen Luo, Koki Nagano, Han-Wei Kung, Qingguo Xu, Zejian Wang, Lingyu Wei, Liwen Hu, Hao Li
:
Normalized Avatar Synthesis Using StyleGAN and Perceptual Refinement. CVPR 2021: 11662-11672 - [i2]Huiwen Luo, Koki Nagano, Han-Wei Kung, McLean Goldwhite, Qingguo Xu, Zejian Wang, Lingyu Wei, Liwen Hu, Hao Li:
Normalized Avatar Synthesis Using StyleGAN and Perceptual Refinement. CoRR abs/2106.11423 (2021)
2010 – 2019
- 2019
- [c14]Mengjie Dong, Huahu Xu, Qingguo Xu:
Text Classification Based on Improved Information Gain Algorithm and Convolutional Neural Network. TRIDENTCOM 2019: 184-198 - [c13]Yajie Zhao, Qingguo Xu, Weikai Chen, Chao Du, Jun Xing, Xinyu Huang, Ruigang Yang:
Mask-off: Synthesizing Face Images in the Presence of Head-mounted Displays. VR 2019: 267-276 - 2016
- [c12]Qingguo Xu, Robert de Simone, Julien DeAntoni:
Divergence Detection for CCSL Specification via Clock Causality Chain. SETTA 2016: 18-37 - [c11]Qingguo Xu, Huaikou Miao, Robert de Simone, Julien DeAntoni:
Instant-Based and State-Based Analysis of Infinite Logical Clock. SOFL+MSVL 2016: 32-51 - [i1]Yajie Zhao, Qingguo Xu, Xinyu Huang, Ruigang Yang:
Mask-off: Synthesizing Face Images in the Presence of Head-mounted Displays. CoRR abs/1610.08481 (2016) - 2015
- [c10]Qingguo Xu, Sen-ching Samson Cheung, Neelkamal Soares:
LittleHelper: An augmented reality glass application to assist individuals with autism in job interview. APSIPA 2015: 1276-1279 - 2012
- [c9]Pengfei Zheng, Qingguo Xu, Yong Qi:
An Advanced Methodology for Measuring and Characterizing Software Aging. ISSRE Workshops 2012: 253-258 - 2011
- [c8]Xia Yin, Qingguo Xu, Kunliang Han:
Modeling Predicate Abstraction of Timed Automata in PVS. iThings/CPSCom 2011: 438-443 - 2010
- [c7]Jia Mei, Huaikou Miao, Qingguo Xu, Pan Liu:
Modeling and Verifying Web Service Applications with Time Constraints. ACIS-ICIS 2010: 791-795
2000 – 2009
- 2009
- [c6]Qingguo Xu, Huaikou Miao:
Manipulating Clocks in Timed Automata Using PVS. SNPD 2009: 555-560 - 2008
- [c5]Xiaoxia Cao, Huaikou Miao, Qingguo Xu:
Verifying Service-Oriented Requirements Using Model Checking. ICEBE 2008: 643-648 - [c4]Xiaoxia Cao, Huaikou Miao, Qingguo Xu:
Modeling and Refining the Service-Oriented Requirement. TASE 2008: 159-165 - 2007
- [c3]Shengbo Chen, Huaikou Miao, Qingguo Xu:
Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority. GCC 2007: 566-573 - 2006
- [c2]Qingguo Xu, Huaikou Miao:
Formal Verification Framework for Safety of Real-Time System based on Timed Automata Model in PVS. IASTED Conf. on Software Engineering 2006: 107-112 - [c1]Qingguo Xu, Huaikou Miao:
Modeling Timed Automata Theory in PVS. Software Engineering Research and Practice 2006: 205-211
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-10 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
