default search action
Zhengfeng Yang
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c45]Shuo Shi, Chao Peng, Chenyang Xu, Zhengfeng Yang:
A Context-Enhanced Framework for Sequential Graph Reasoning. IJCAI 2024: 4902-4910 - [i7]Changfeng Xu, Chao Peng, Chenyang Xu, Zhengfeng Yang:
Sponsored Search Auction Design Beyond Single Utility Maximization. CoRR abs/2406.05988 (2024) - 2023
- [j18]Zhengfeng Yang, Hanrui Zhao, Lihong Zhi:
VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities. J. Syst. Sci. Complex. 36(2): 866-883 (2023) - [j17]Hanrui Zhao
, Niuniu Qi
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) - [c44]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 - [c43]Zhengfeng Yang, Li Zhang, Xia Zeng
Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints. CAV (1) 2023: 304-325 - [c42]Marcos V. Conde, Eduard Zamfir, Radu Timofte
Efficient Deep Models for Real-Time 4K Image Super-Resolution. NTIRE 2023 Benchmark and Report. CVPR Workshops 2023: 1495-1521 - [c41]Jiahao Chao, Zhou Zhou, Hongfan Gao, Jiali Gong, Zhengfeng Yang, Zhenbing Zeng, Lydia Dehbi
Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution. CVPR 2023: 14102-14111 - [c40]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 - [c39]Chao Peng, Yiming Guo, Yao Chen, Qilin Rui, Zhengfeng Yang, Chenyang Xu:
FedGM: Heterogeneous Federated Learning via Generative Learning and Mutual Distillation. Euro-Par 2023: 339-351 - [c38]Jiali Gong, Hongfan Gao, Jiahao Chao, Zhou Zhou, Zhengfeng Yang, Zhenbing Zeng:
Kernel Estimation and Deconvolution for Blind Image Super-Resolution. ICASSP 2023: 1-5 - [c37]Jiahao Chao, Zhou Zhou, Hongfan Gao, Jiali Gong, Zhenbing Zeng, Zhengfeng Yang:
A Novel Learnable Interpolation Approach for Scale-Arbitrary Image Super-Resolution. IJCAI 2023: 564-572 - [c36]Zhou Zhou
Enhancing Real-Time Super Resolution with Partial Convolution and Efficient Variance Attention. ACM Multimedia 2023: 5348-5357 - 2022
- [j16]Xuanming Fu, Zhengfeng Yang, Zhenbing Zeng
Improvement of Oracle Bone Inscription Recognition Accuracy: A Deep Learning Perspective. ISPRS Int. J. Geo Inf. 11(1): 45 (2022) - [j15]Wang Lin, Zhengfeng Yang, Zuohua Ding:
Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming. J. Syst. Sci. Complex. 35(3): 1154-1172 (2022) - [c35]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 - [c34]Zhenbing Zeng
A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions. CASC 2022: 377-396 - [c33]Andrey Ignatov, Radu Timofte
Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 Challenge: Report. ECCV Workshops (3) 2022: 92-129 - [c32]Xuanming Fu, Zhengfeng Yang, Hao Xue, Jianlin Wang, Zhenbing Zeng:
Robust Training with Feature-Based Adversarial Example. ICPR 2022: 2957-2963 - [c31]Xiaochao Tang, Zhengfeng Yang, Xuanming Fu, Jianlin Wang, Zhenbing Zeng:
Improving Adversarial Robustness of Deep Neural Networks via Linear Programming. TASE 2022: 326-343 - [i6]Andrey Ignatov, Radu Timofte, Maurizio Denna, Abdel Younes, Ganzorig Gankhuyag, Jingang Huh
Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report. CoRR abs/2211.05910 (2022) - 2021
- [c30]Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng
An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation. CAV (1) 2021: 467-490 - [c29]Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li:
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. DAC 2021: 631-636 - [c28]Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li:
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. HSCC 2021: 17:1-17:11 - 2020
- [c27]Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, Xuandong Li:
A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation. CAV (1) 2020: 582-603 - [c26]Chang Liu
Generating Adversarial Texts for Recurrent Neural Networks. ICANN (1) 2020: 39-51 - [c25]Cheng He, Chao Peng, Na Li, Xiang Chen
CIFEF: Combining Implicit and Explicit Features for Friendship Inference in Location-Based Social Networks. KSEM (2) 2020: 168-180 - [c24]Zhenbing Zeng
An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension. MC 2020: 438-457
2010 – 2019
- 2019
- [j14]Li-Yong Shen
Numerical Proper Reparametrization of Space Curves and Surfaces. Comput. Aided Des. 116 (2019) - [c23]Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He:
Robustness Verification of Classification Deep Neural Networks via Linear Programming. CVPR 2019: 11418-11427 - [c22]Zhenbing Zeng, Jianlin Wang, Zhengfeng Yang:
Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study. TASE 2019: 73-80 - 2018
- [j13]Yifan Zhang
Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2768-2778 (2018) - [c21]Erdal Imamoglu
Sparse Polynomial Interpolation With Arbitrary Orthogonal Polynomial Bases. ISSAC 2018: 223-230 - [c20]Wenjun Du, Zhengfeng Yang, Huibiao Zhu:
A Fully Abstract Encoding for Sub Asynchronous Pi Calculus. TASE 2018: 17-27 - 2017
- [j12]Xia Zeng
Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation. Sci. China Inf. Sci. 60(3): 39102 (2017) - [j11]Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Verification for Non-polynomial Hybrid Systems Using Rational Invariants. Comput. J. 60(5): 675-689 (2017) - [j10]Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, Xuandong Li:
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates. ACM Trans. Embed. Comput. Syst. 16(5s): 186:1-186:19 (2017) - 2016
- [j9]Min Tang, Zhengfeng Yang, Zhenbing Zeng:
Resultant elimination via implicit equation interpolation. J. Syst. Sci. Complex. 29(5): 1411-1435 (2016) - [j8]Erich L. Kaltofen
Sparse multivariate function recovery with a small number of evaluations. J. Symb. Comput. 75: 209-218 (2016) - [c19]Xia Zeng
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. EMSOFT 2016: 11:1-11:10 - [c18]Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu:
A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. FM 2016: 721-738 - 2015
- [j7]Zhengfeng Yang, Wang Lin, Min Wu:
Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation. ACM Trans. Embed. Comput. Syst. 14(1): 16:1-16:19 (2015) - 2014
- [j6]Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Exact safety verification of hybrid systems using sums-of-squares representation. Sci. China Inf. Sci. 57(5): 1-13 (2014) - [j5]Min Wu, Zhengfeng Yang, Wang Lin:
Domain-of-attraction estimation for uncertain non-polynomial systems. Commun. Nonlinear Sci. Numer. Simul. 19(9): 3044-3052 (2014) - [j4]Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods. Frontiers Comput. Sci. 8(2): 192-202 (2014) - [c17]Erich L. Kaltofen
Sparse multivariate function recovery with a high error rate in the evaluations. ISSAC 2014: 280-287 - [c16]Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Safety verification of nonlinear systems based on rational invariants. SNC 2014: 107-108 - 2013
- [j3]Liyong Shen
Generating exact nonlinear ranking functions by symbolic-numeric hybrid method. J. Syst. Sci. Complex. 26(2): 291-301 (2013) - [c15]Erich L. Kaltofen
Sparse multivariate function recovery from values with noise and outlier errors. ISSAC 2013: 219-226 - [c14]Zhengfeng Yang, Lihong Zhi, Yijun Zhu:
Verified error bounds for real solutions of positive-dimensional polynomial systems. ISSAC 2013: 371-378 - [i5]Zhengfeng Yang, Min Wu, Wang Lin:
Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation. CoRR abs/1302.5974 (2013) - [i4]Min Wu, Zhengfeng Yang, Wang Lin:
Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems. CoRR abs/1303.0452 (2013) - 2012
- [j2]Erich L. Kaltofen
Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients. J. Symb. Comput. 47(1): 1-15 (2012) - [c13]Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations. ASCM 2012: 223-241 - [i3]Zhengfeng Yang, Min Wu, Wang Lin:
Exact Verification of Hybrid Systems Based on Bilinear SOS Representation. CoRR abs/1201.4219 (2012) - 2011
- [c12]Min Wu, Zhengfeng Yang:
Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients. SNC 2011: 104-111 - [c11]Erich L. Kaltofen
Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation. SNC 2011: 130-136 - [i2]Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Generating Loop Invariants by Computing Vanishing Ideals of Sample Points. CoRR abs/1111.0732 (2011) - [i1]Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation. CoRR abs/1112.2328 (2011) - 2010
- [c10]Zijia Li
Blind image deconvolution via fast approximate GCD. ISSAC 2010: 155-162
2000 – 2009
- 2009
- [c9]Liyong Shen
Simplification of Numerical Rational Surfaces. CSO (1) 2009: 617-621 - [c8]Erich L. Kaltofen
A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions. SNC 2009: 65-70 - [c7]Liyong Shen
Finding positively invariant sets of a class of nonlinear loops via curve fitting. SNC 2009: 185-190 - 2008
- [j1]Erich L. Kaltofen
Approximate factorization of multivariate polynomials using singular value decomposition. J. Symb. Comput. 43(5): 359-376 (2008) - [c6]Erich L. Kaltofen
Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars. ISSAC 2008: 155-164 - 2007
- [c5]Erich L. Kaltofen
On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms. SNC 2007: 11-17 - [c4]Erich L. Kaltofen
Lower bounds for approximate factorizations via semidefinite programming: (extended abstract). SNC 2007: 203-204 - [c3]Erich L. Kaltofen
On exact and approximate interpolation of sparse rational functions. ISSAC 2007: 203-210 - 2006
- [c2]Erich L. Kaltofen
Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials. ISSAC 2006: 169-176 - 2004
- [c1]Shuhong Gao, Erich L. Kaltofen
Approximate factorization of multivariate polynomials via differential equations. ISSAC 2004: 167-174
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-21 21:30 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: