default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXia Zeng
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
[j11]Hanrui Zhao
, Niuniu Qi, Lydia Dehbi, Xia Zeng, Zhengfeng Yang:
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning. ACM Trans. Embed. Comput. Syst. 22(5s): 146:1-146:21 (2023)- 2022
- [j10]Xia Zeng, Chuanchuan Yang, Bin Dai:
Utility-Privacy Trade-Off in Distributed Machine Learning Systems. Entropy 24(9): 1299 (2022) - [j9]Hengjun Zhao, Quanzhong Li, Xia Zeng, Zhiming Liu:
Safe Reinforcement Learning Algorithm and Its Application in Intelligent Control for CPS. Int. J. Softw. Informatics 12(4): 453-483 (2022) - [j8]Xia Zeng, Arkaitz Zubiaga:
Aggregating pairwise semantic differences for few-shot claim verification. PeerJ Comput. Sci. 8: e1137 (2022) - 2021
- [j7]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning safe neural network controllers with barrier certificates. Formal Aspects Comput. 33(3): 437-455 (2021) - [j6]Lei Ding, Xia Zeng:
Application of Decision Tree Model Based on C4.5 Algorithm in Nursing Quality Management Evaluation. J. Medical Imaging Health Informatics 11(9): 2359-2366 (2021) - [j5]Xia Zeng, Amani S. Abumansour, Arkaitz Zubiaga:
Automated fact-checking: A survey. Lang. Linguistics Compass 15(10) (2021) - 2020
- [j4]Changxia Sun, Yi Liu, Xia Zeng, Haiping Si:
Provable secure attribute-based proxy signature. J. Intell. Fuzzy Syst. 38(1): 337-343 (2020) - 2017
- [j3]Xia Zeng, Wang Lin, Zhengfeng Yang, Zhenbing Zeng:
Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation. Sci. China Inf. Sci. 60(3): 39102 (2017) - 2015
- [j2]Jian Liu, Min Tang, Xia Zeng, Zhenbing Zeng:
初等函数可验证赋值及误差分析 (Validated Evaluation and Error Analysis of Elementary Functions). 计算机科学 42(4): 25-30 (2015) - 1999
- [j1]Suchendra M. Bhandarkar, Xia Zeng:
Evolutionary Approaches to Figure-Ground Separation. Appl. Intell. 11(2): 187-212 (1999)
Conference and Workshop Papers
- 2024
- [c20]Hanrui Zhao, Niuniu Qi, Mengxin Ren, Xia Zeng, Zhenbing Zeng, Zhengfeng Yang:
Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning. DAC 2024: 70:1-70:6 - [c19]Xia Zeng, Banglong Liu, Zhenbing Zeng, Zhiming Liu, Zhengfeng Yang:
Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation. DAC 2024: 283:1-283:6 - [c18]Xia Zeng, Arkaitz Zubiaga:
MAPLE: Micro Analysis of Pairwise Language Evolution for Few-Shot Claim Verification. EACL (Findings) 2024: 1177-1196 - [c17]Xia Zeng, David La Barbera, Kevin Roitero, Arkaitz Zubiaga, Stefano Mizzaro:
Combining Large Language Models and Crowdsourcing for Hybrid Human-AI Misinformation Detection. SIGIR 2024: 2332-2336 - 2023
- [c16]Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu:
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers. AAAI 2023: 15278-15286 - [c15]Zhengfeng Yang, Li Zhang, Xia Zeng, Xiaochao Tang, Chao Peng, Zhenbing Zeng:
Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints. CAV (1) 2023: 304-325 - [c14]Hanrui Zhao, Xia Zeng, Niuniu Qi, Zhengfeng Yang, Zhenbing Zeng:
Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning. DAC 2023: 1-6 - [c13]Xia Zeng, Arkaitz Zubiaga:
Active PETs: Active Data Annotation Prioritisation for Few-Shot Claim Verification with Pattern Exploiting Training. EACL (Findings) 2023: 190-204 - 2022
- [c12]Hao Xue, Xia Zeng, Wang Lin, Zhengfeng Yang, Chao Peng, Zhenbing Zeng:
An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks. ACCV (1) 2022: 571-586 - 2021
- [c11]Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu:
An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation. CAV (1) 2021: 467-490 - [c10]Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, Xuandong Li:
GUIDER: GUI structure and vision co-guided test script repair for Android apps. ISSTA 2021: 191-203 - 2020
- [c9]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu:
Synthesizing barrier certificates using neural networks. HSCC 2020: 25:1-25:11 - [c8]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning Safe Neural Network Controllers with Barrier Certificates. SETTA 2020: 177-185 - [c7]Linyi Li, Zhenwen Li, Weijie Zhang, Jun Zhou, Pengcheng Wang, Jing Wu, Guanghua He, Xia Zeng, Yuetang Deng, Tao Xie:
Clustering test steps in natural language toward automating test automation. ESEC/SIGSOFT FSE 2020: 1285-1295 - 2017
- [c6]Haibing Zheng, Dengfeng Li, Beihai Liang, Xia Zeng, Wujie Zheng, Yuetang Deng, Wing Lam, Wei Yang, Tao Xie:
Automated Test Input Generation for Android: Towards Getting There in an Industrial Case. ICSE-SEIP 2017: 253-262 - 2016
- [c5]Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang:
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. EMSOFT 2016: 11:1-11:10 - [c4]Xia Zeng, Dengfeng Li, Wujie Zheng, Fan Xia, Yuetang Deng, Wing Lam, Wei Yang, Tao Xie:
Automated test input generation for Android: are we really there yet in an industrial case? SIGSOFT FSE 2016: 987-992 - 2013
- [c3]Min Tang, Xia Zeng, Kai Song, Jian Liu:
Error Analysis on Floating-Point Arithmetic in C Programming Language Library Functions. EIDWT 2013: 737-742 - 1997
- [c2]Suchendra M. Bhandarkar, Xia Zeng:
Figure-Ground Separation: A Case Study in Energy Minimization via Evolutionary Computing. EMMCVPR 1997: 375-390 - [c1]Suchendra M. Bhandarkar, Xia Zeng:
Evolutionary computation for figure-ground separation. ICNN 1997: 1673-1678
Informal and Other Publications
- 2024
- [i6]Xia Zeng, Arkaitz Zubiaga:
MAPLE: Micro Analysis of Pairwise Language Evolution for Few-Shot Claim Verification. CoRR abs/2401.16282 (2024) - 2022
- [i5]Xia Zeng, Arkaitz Zubiaga:
Aggregating Pairwise Semantic Differences for Few-Shot Claim Veracity Classification. CoRR abs/2205.05646 (2022) - [i4]Xia Zeng, Arkaitz Zubiaga:
Active PETs: Active Data Annotation Prioritisation for Few-Shot Claim Verification with Pattern Exploiting Training. CoRR abs/2208.08749 (2022) - 2021
- [i3]Xia Zeng, Arkaitz Zubiaga:
QMUL-SDS at SCIVER: Step-by-Step Binary Classification for Scientific Claim Verification. CoRR abs/2104.11572 (2021) - [i2]Xia Zeng, Amani S. Abumansour, Arkaitz Zubiaga:
Automated Fact-Checking: A Survey. CoRR abs/2109.11427 (2021) - 2020
- [i1]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning Safe Neural Network Controllers with Barrier Certificates. CoRR abs/2009.09826 (2020)
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-12-02 22:31 CET 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:
