![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Zhengfeng Yang
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [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
, 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) - [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
, Xiaochao Tang, Chao Peng, Zhenbing 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
, Daniel Motilla, Cen Liu, Zexin Zhang, Yunbo Peng, Yue Lin, Jiaming Guo, Xueyi Zou, Yuyi Chen, Yi Liu, Jia Hao, Youliang Yan, Yuanfan Zhang, Gen Li, Lei Sun, Lingshun Kong, Haoran Bai, Jinshan Pan, Jiangxin Dong, Jinhui Tang, Mustafa Ayazoglu, Bahri Batuhan Bilecen, Mingxi Li, Yuhang Zhang, Xianjun Fan, Yankai Sheng, Long Sun, Zibin Liu, Weiran Gou, Shaoqing Li, Ziyao Yi, Yan Xiang, Dehui Kong, Ke Xu, Ganzorig Gankhuyag, Kihwan Yoon, Jin Zhang, Gaocheng Yu, Feng Zhang, Hongbin Wang, Zhou Zhou, Jiahao Chao, Hongfan Gao, Jiali Gong, Zhengfeng Yang, Zhenbing Zeng, Chengpeng Chen, Zichao Guo, Anjin Park, Yuqing Liu, Qi Jia, Hongyuan Yu, Xuanwu Yin, Dongyang Zhang, Ting Fu, Zhengxue Cheng, Shiai Zhu, Dajiang Zhou, Weichen Yu, Lin Ge, Jiahua Dong, Yajun Zou, Zhuoyuan Wu, Binnan Han, Xiaolin Zhang, Heng Zhang, Ben Shao, Shaolong Zheng, Daheng Yin, Baijun Chen, Mengyang Liu, Marian-Sergiu Nistor, Yi-Chung Chen, Zhi-Kai Huang, Yuan-Chun Chiang, Wei-Ting Chen, Hao-Hsiang Yang, Hua-En Chang, I-Hsiang Chen, Chia-Hsuan Hsieh, Sy-Yen Kuo, Tu Vo, Qingsen Yan, Yun Zhu, Jinqiu Su, Yanning Zhang, Cheng Zhang, Jiaying Luo, Youngsun Cho, Nakyung Lee, Kunlong Zuo:
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
, Jiahao Chao
, Jiali Gong
, Hongfan Gao
, Zhenbing Zeng
, Zhengfeng Yang
:
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
, Yidan Zhang, Qianting Zhou:
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
, Yaochen Xu
, Yu Chen
, Zhengfeng Yang:
A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions. CASC 2022: 377-396 - [c33]Andrey Ignatov, Radu Timofte
, Maurizio Denna, Abdel Younes, Ganzorig Gankhuyag, Jingang Huh
, Myeong Kyun Kim, Kihwan Yoon, Hyeon-Cheol Moon, Seungho Lee, Yoonsik Choe, Jinwoo Jeong, Sungjei Kim, Maciej Smyl, Tomasz Latkowski, Pawel Kubik, Michal Sokolski, Yujie Ma, Jiahao Chao, Zhou Zhou, Hongfan Gao, Zhengfeng Yang, Zhenbing Zeng, Zhengyang Zhuge, Chenghua Li, Dan Zhu, Mengdi Sun, Ran Duan, Yan Gao, Lingshun Kong, Long Sun, Xiang Li, Xingdong Zhang, Jiawei Zhang, Yaqi Wu, Jinshan Pan, Gaocheng Yu, Jin Zhang, Feng Zhang, Zhe Ma, Hongbin Wang, Hojin Cho, Steve Kim, Huaen Li, Yanbo Ma, Ziwei Luo, Youwei Li, Lei Yu, Zhihong Wen, Qi Wu, Haoqiang Fan, Shuaicheng Liu
, Lize Zhang, Zhikai Zong, Jeremy Kwon, Junxi Zhang, Mengyuan Li, Nianxiang Fu, Guanchen Ding, Han Zhu, Zhenzhong Chen, Gen Li, Yuanfan Zhang, Lei Sun, Dafeng Zhang, Neo Yang, Fitz Liu, Jerry Zhao, Mustafa Ayazoglu, Bahri Batuhan Bilecen, Shota Hirose, Kasidis Arunruangsirilert
, Luo Ao, Ho Chun Leung, Andrew Wei, Jie Liu, Qiang Liu, Dahai Yu, Ao Li
, Lei Luo, Ce Zhu, Seongmin Hong, Dongwon Park, Joonhee Lee, Byeong Hyun Lee, Seunggyu Lee, Se Young Chun, Ruiyuan He, Xuhao Jiang, Haihang Ruan, Xinjian Zhang, Jing Liu, Garas Gendy
, Nabil Sabor, Jingchao Hou, Guanghui He:
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
, Myeong Kyun Kim, Kihwan Yoon, Hyeon-Cheol Moon, Seungho Lee, Yoonsik Choe, Jinwoo Jeong, Sungjei Kim, Maciej Smyl, Tomasz Latkowski
, Pawel Kubik, Michal Sokolski, Yujie Ma, Jiahao Chao, Zhou Zhou, Hongfan Gao, Zhengfeng Yang, Zhenbing Zeng, Zhengyang Zhuge, Chenghua Li, Dan Zhu, Mengdi Sun, Ran Duan, Yan Gao, Lingshun Kong, Long Sun, Xiang Li
, Xingdong Zhang, Jiawei Zhang, Yaqi Wu, Jinshan Pan, Gaocheng Yu, Jin Zhang, Feng Zhang, Zhe Ma, Hongbin Wang, Hojin Cho, Steve Kim, Huaen Li, Yanbo Ma, Ziwei Luo, Youwei Li, Lei Yu, Zhihong Wen, Qi Wu, Haoqiang Fan, Shuaicheng Liu, Lize Zhang, Zhikai Zong, Jeremy Kwon, Junxi Zhang, Mengyuan Li, Nianxiang Fu, Guanchen Ding, Han Zhu, Zhenzhong Chen, Gen Li, Yuanfan Zhang, et al.:
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
, 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 - [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
, Wang Lin, Zhengfeng Yang:
Generating Adversarial Texts for Recurrent Neural Networks. ICANN (1) 2020: 39-51 - [c25]Cheng He, Chao Peng, Na Li, Xiang Chen
, Zhengfeng Yang, Zhenhao Hu:
CIFEF: Combining Implicit and Explicit Features for Friendship Inference in Location-Based Social Networks. KSEM (2) 2020: 168-180 - [c24]Zhenbing Zeng
, Yaochen Xu, Zhengfeng Yang, Zhi-Bin Li:
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
, Sonia Pérez-Díaz
, Zhengfeng Yang:
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
, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li:
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
, Erich L. Kaltofen
, Zhengfeng Yang:
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
, 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) - [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
, Zhengfeng Yang:
Sparse multivariate function recovery with a small number of evaluations. J. Symb. Comput. 75: 209-218 (2016) - [c19]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 - [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
, Zhengfeng Yang:
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
, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Generating exact nonlinear ranking functions by symbolic-numeric hybrid method. J. Syst. Sci. Complex. 26(2): 291-301 (2013) - [c15]Erich L. Kaltofen
, Zhengfeng Yang:
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
, Bin Li, Zhengfeng Yang, Lihong Zhi:
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
, Wen-shin Lee, Zhengfeng Yang:
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
, Zhengfeng Yang, Lihong Zhi:
Blind image deconvolution via fast approximate GCD. ISSAC 2010: 155-162
2000 – 2009
- 2009
- [c9]Liyong Shen
, Min Wu, Zhengfeng Yang:
Simplification of Numerical Rational Surfaces. CSO (1) 2009: 617-621 - [c8]Erich L. Kaltofen
, Zhengfeng Yang, Lihong Zhi:
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
, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Finding positively invariant sets of a class of nonlinear loops via curve fitting. SNC 2009: 185-190 - 2008
- [j1]Erich L. Kaltofen
, John P. May
, Zhengfeng Yang, Lihong Zhi:
Approximate factorization of multivariate polynomials using singular value decomposition. J. Symb. Comput. 43(5): 359-376 (2008) - [c6]Erich L. Kaltofen
, Bin Li, Zhengfeng Yang, Lihong Zhi:
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
, Zhengfeng Yang, Lihong Zhi:
On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms. SNC 2007: 11-17 - [c4]Erich L. Kaltofen
, Bin Li, Kartik Sivaramakrishnan, Zhengfeng Yang, Lihong Zhi:
Lower bounds for approximate factorizations via semidefinite programming: (extended abstract). SNC 2007: 203-204 - [c3]Erich L. Kaltofen
, Zhengfeng Yang:
On exact and approximate interpolation of sparse rational functions. ISSAC 2007: 203-210 - 2006
- [c2]Erich L. Kaltofen
, Zhengfeng Yang, Lihong Zhi:
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
, John P. May
, Zhengfeng Yang, Lihong Zhi:
Approximate factorization of multivariate polynomials via differential equations. ISSAC 2004: 167-174
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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-08-15 23:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint