Get started
Author

Zhengfeng Yang

Observed names: Yang Zhengfeng, Yang, Zhengfeng, ZhengFeng Yang, Zhengfeng Yang -
Observed institutions: North Carolina State University, Chinese Academy of Sciences, University of Würzburg, Academy of Mathematics and Systems Science, Shanghai Key Laboratory of Trustworthy Computing, Imperial College London, East China Normal University
ORCID: 0000-0003-1209-8191
Observed ORCIDs: 0000-0003-1209-8191, 0000-0001-6316-1723
OpenAlex ID: A5103026076
Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients
2011 · Erich L. Kaltofen, Bin Li, et al. · Journal of Symbolic Computation · 88
PDF
Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials
2006 · Erich Kaltofen, Zhengfeng Yang, et al. · International Symposium on Symbolic and Algebraic Computation · 84
Structured Low Rank Approximation of a Sylvester Matrix
2007 · Erich Kaltofen, Zhengfeng Yang, et al. · Birkhäuser Basel eBooks · 78
Approximate factorization of multivariate polynomials via differential equations
2004 · Shuhong Gao, Erich Kaltofen, et al. · International Symposium on Symbolic and Algebraic Computation · 69
Approximate factorization of multivariate polynomials using singular value decomposition
2007 · Erich Kaltofen, John P. May, et al. · Journal of Symbolic Computation · 66
PDF
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates
2017 · Chao Huang, Xin Chen, et al. · ACM Transactions on Embedded Computing Systems · 62
Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars
2008 · Erich Kaltofen, Bin Li, et al. · International Symposium on Symbolic and Algebraic Computation · 57
Exact safety verification of hybrid systems using sums-of-squares representation
2013 · Wang Lin, Min Wu, et al. · Science China Information Sciences · 48
PDF
Robustness Verification of Classification Deep Neural Networks via Linear Programming
2019 · Wang Lin, Zhengfeng Yang, et al. · IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · 44
Improvement of Oracle Bone Inscription Recognition Accuracy: A Deep Learning Perspective
2022 · Xuanming Fu, Zhengfeng Yang, et al. · ISPRS International Journal of Geo-Information · 38
PDF
Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation
2015 · Zhengfeng Yang, Wang Lin, et al. · ACM Transactions on Embedded Computing Systems · 34
PDF
Fast Low Rank Approximation of a Sylvester Matrix by Structured Total Least Norm
2005 · Bingyu Li, Zhengfeng Yang, et al. · 34
On exact and approximate interpolation of sparse rational functions
2007 · Erich Kaltofen, Zhengfeng Yang · International Symposium on Symbolic and Algebraic Computation · 33
On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms
2007 · Erich Kaltofen, Zhengfeng Yang, et al. · Symbolic Numeric Computation · 31
PDF
Efficient Deep Models for Real-Time 4K Image Super-Resolution. NTIRE 2023 Benchmark and Report
2023 · Marcos V. Conde, Eduard Zamfir, et al. · IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) · 29
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems
2016 · Xia Zeng, Wang Lin, et al. · ACM International Conference on Embedded Software (EMSOFT) · 29
A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems
2016 · Zhengfeng Yang, Chao Huang, et al. · Lecture notes in computer science · 28
Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution
2023 · Jiahao Chao, Zhou Zhou, et al. · IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · 22
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems
2021 · Qingye Zhao, Xin Chen, et al. · International Conference on Hybrid Systems: computation and control · 22
Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 Challenge: Report
2023 · Andrey Ignatov, Radu Timofte, et al. · Lecture notes in computer science · 18
PDF
Domain-of-attraction estimation for uncertain non-polynomial systems
2013 · Min Wu, Zhengfeng Yang, et al. · Communications in Nonlinear Science and Numerical Simulation · 18
PDF
Blind image deconvolution via fast approximate GCD
2010 · Zijia Li, Zhengfeng Yang, et al. · International Symposium on Symbolic and Algebraic Computation · 18
Sparse multivariate function recovery from values with noise and outlier errors
2013 · Erich L. Kaltofen, Zhengfeng Yang · International Symposium on Symbolic and Algebraic Computation · 17
Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation
2012 · Erich L. Kaltofen, Wen-shin Lee, et al. · Symbolic Numeric Computation · 16
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations
2021 · Meng Sha, Xin Chen, et al. · ACM/IEEE Design Automation Conference (DAC) · 15
Works count: 118
Citation count: 1,241
H-index: 19
I10-index: 35
Year
Topic
Type