default search action
Zhenbing Zeng
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
- [c50]Hanrui Zhao
, Niuniu Qi
Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning. DAC 2024: 70:1-70:6 - [c49]Xia Zeng
Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation. DAC 2024: 283:1-283:6 - [c48]Zhenbing Zeng, Jian Lu, Liangyu Chen:
A Quantum-Inspired Mechanical Method for Proving of Ramsey's Theorem by Symbolic Computation over the Finite Field GF(2). ICTAC 2024: 368-385 - [i5]Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Cheng Qin, Yang Li, Zhenbing Zeng, Tuo Leng:
FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network. CoRR abs/2402.11461 (2024) - 2023
- [j30]Yaochen Xu, Zhenbing Zeng
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5. Ann. Math. Artif. Intell. 91(6): 865-898 (2023) - [c47]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 - [c46]Zhengfeng Yang, Li Zhang, Xia Zeng
Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints. CAV (1) 2023: 304-325 - [c45]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 - [c44]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 - [c43]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 - [c42]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 - [c41]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 - [c40]Zhou Zhou
Enhancing Real-Time Super Resolution with Partial Convolution and Efficient Variance Attention. ACM Multimedia 2023: 5348-5357 - [i4]Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Qike Huang, Xiaoxiao Jin, Yanjun Guo, Chenyang Mao, Zhe Zhu, Dengfeng Yue, Fangzhen Zhu, Yang Li, Yifan Wang, Yiwen Huang, Runan Wang, Cheng Qin, Zhenbing Zeng, Shaorong Xie, Xiangfeng Luo, Tuo Leng:
FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning. CoRR abs/2310.18021 (2023) - 2022
- [j29]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) - [j28]Lydia Dehbi
Heilbronn's Problem of Eight Points in the Square. J. Syst. Sci. Complex. 35(6): 2452-2480 (2022) - [j27]Lydia Dehbi
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations. J. Symb. Comput. 108: 41-54 (2022) - [c39]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 - [c38]Zhenbing Zeng
A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions. CASC 2022: 377-396 - [c37]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 - [c36]Liangyu Chen, Jianjun Wei, Zhenbing Zeng, Min Zhang:
Optimized Computation for Determinant of Multivariate Polynomial Matrices on GPGPU. HPCC/DSS/SmartCity/DependSys 2022: 82-91 - [c35]Xuanming Fu, Zhengfeng Yang, Hao Xue, Jianlin Wang, Zhenbing Zeng:
Robust Training with Feature-Based Adversarial Example. ICPR 2022: 2957-2963 - [c34]Xiaochao Tang, Zhengfeng Yang, Xuanming Fu, Jianlin Wang, Zhenbing Zeng:
Improving Adversarial Robustness of Deep Neural Networks via Linear Programming. TASE 2022: 326-343 - [i3]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
- [c33]Zhenbing Zeng
On Geometric Property of Fermat-Torricelli Points on Sphere. CASC 2021: 442-462 - [c32]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 - [c31]Cheng Chen, Liangyu Chen, Zhenbing Zeng, Dang Lin:
A Branch-and-Bound Algorithm for Computing the Reliable Isolated Zeros of Multivariate Polynomial Functions Systems. HPCC/DSS/SmartCity/DependSys 2021: 713-720 - [c30]Zhenbing Zeng, Jian Lu, Yaochen Xu, Yuzheng Wang:
Maximizing the Sum of the Distances between Four Points on the Unit Hemisphere. ADG 2021: 27-40 - 2020
- [c29]Zhenbing Zeng
A Maple Exploration of Problem 6 of the IMO 88. MC 2020: 429-437 - [c28]Zhenbing Zeng
An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension. MC 2020: 438-457 - [c27]Jianlin Wang, Chao Peng, Zhenbing Zeng:
A Formal Proof of the Soundness of the Hybrid CPS Clock Theory. TASE 2020: 97-104
2010 – 2019
- 2019
- [c26]Mingyan Chen, Zhenbing Zeng:
A Probabilistic Algorithm for Verification of Geometric Theorems. AAIM 2019: 29-41 - [c25]Andreas W. M. Dress, Hiroshi Maehara, Sabrina Xing Mei Pang, Zhenbing Zeng
On the Structure of Discrete Metric Spaces Isometric to Circles. AAIM 2019: 83-94 - [c24]Zhenbing Zeng
Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation. CASC 2019: 458-477 - [c23]Zhenbing Zeng, Lu Yang, Lydia Dehbi
On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas. ISSAC 2019: 363-370 - [c22]Xiaofeng Guo, Tuo Leng, Zhenbing Zeng
The Fermat-Torricelli Problem of Triangles on the Sphere with Euclidean Metric: A Symbolic Solution with Maple. MC 2019: 263-278 - [c21]Zhenbing Zeng
A Heilbronn Type Inequality for Plane Nonagons. MC 2019: 307-323 - [c20]Zhenbing Zeng, Jianlin Wang, Zhengfeng Yang:
Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study. TASE 2019: 73-80 - 2018
- [j26]Min Tang, Bingyu Li, Zhenbing Zeng:
Computing Sparse GCD of Multivariate Polynomials via Polynomial Interpolation. J. Syst. Sci. Complex. 31(2): 552-568 (2018) - 2017
- [j25]Xia Zeng
Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation. Sci. China Inf. Sci. 60(3): 39102 (2017) - [j24]Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Verification for Non-polynomial Hybrid Systems Using Rational Invariants. Comput. J. 60(5): 675-689 (2017) - [j23]Liangyu Chen, Yaochen Xu, Zhenbing Zeng:
Searching approximate global optimal Heilbronn configurations of nine points in the unit square via GPGPU computing. J. Glob. Optim. 68(1): 147-167 (2017) - 2016
- [j22]Min Tang, Zhengfeng Yang, Zhenbing Zeng:
Resultant elimination via implicit equation interpolation. J. Syst. Sci. Complex. 29(5): 1411-1435 (2016) - [j21]Ming Xu
Analyzing ultimate positivity for solvable systems. Theor. Comput. Sci. 609: 395-412 (2016) - 2015
- [j20]Lei Chen, Changhong Lu, Zhenbing Zeng:
Graphs with unique minimum paired-dominating set. Ars Comb. 119: 177-192 (2015) - [j19]Jian Liu, Min Tang, Xia Zeng, Zhenbing Zeng:
初等函数可验证赋值及误差分析 (Validated Evaluation and Error Analysis of Elementary Functions). 计算机科学 42(4): 25-30 (2015) - 2014
- [j18]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) - [j17]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) - [j16]Liangyu Chen, Zhenbing Zeng, Wei Zhou:
An upper bound of Heilbronn number for eight points in triangles. J. Comb. Optim. 28(4): 854-874 (2014) - [c19]Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Safety verification of nonlinear systems based on rational invariants. SNC 2014: 107-108 - 2013
- [j15]Liangyu Chen, Zhenbing Zeng:
Parallel computation of determinants of matrices with multivariate polynomial entries. Sci. China Inf. Sci. 56(11): 1-16 (2013) - [j14]Liyong Shen
Generating exact nonlinear ranking functions by symbolic-numeric hybrid method. J. Syst. Sci. Complex. 26(2): 291-301 (2013) - 2012
- [j13]Lu Yang, Zhenbing Zeng, Weinian Zhang:
Differential elimination with Dixon resultants. Appl. Math. Comput. 218(21): 10679-10690 (2012) - [j12]Lei Chen
Vertices in all minimum paired-dominating sets of block graphs. J. Comb. Optim. 24(3): 176-191 (2012) - [c18]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 - 2011
- [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
- [j11]Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li:
Termination Analysis of Linear Loops. Int. J. Found. Comput. Sci. 21(6): 1005-1019 (2010) - [j10]Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li:
Reachability analysis of rational eigenvalue linear systems. Int. J. Syst. Sci. 41(12): 1411-1419 (2010) - [j9]Lei Chen
Labelling algorithms for paired-domination problems in block and interval graphs. J. Comb. Optim. 19(4): 457-470 (2010) - [j8]Ming Xu, Chuandong Mu, Zhenbing Zeng, Zhi-bin Li:
A Heuristic Approach to Positive Root Isolation for Multiple Power Sums. J. Univers. Comput. Sci. 16(14): 1912-1926 (2010) - [c17]Bin Wu, Liyong Shen, Zhongqin Bi
Termination of Loop Programs with Polynomial Guards. ICCSA (4) 2010: 482-496 - [c16]Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li:
Real Root Isolation of Multi-Exponential Polynomials with Application. WALCOM 2010: 263-268
2000 – 2009
- 2009
- [j7]Lei Chen
A linear-time algorithm for paired-domination problem in strongly chordal graphs. Inf. Process. Lett. 110(1): 20-23 (2009) - [j6]Lei Chen
Multiple classifier integration for the prediction of protein structural classes. J. Comput. Chem. 30(14): 2248-2254 (2009) - [j5]Lei Chen
Hardness results and approximation algorithms for (weighted) paired-domination in graphs. Theor. Comput. Sci. 410(47-49): 5063-5071 (2009) - [j4]Lei Chen
Distance paired-domination problems on subclasses of chordal graphs. Theor. Comput. Sci. 410(47-49): 5072-5081 (2009) - [c15]Zhenbing Zeng, Liangyu Chen:
On the Best Bezier Approximation of Ellipses. CSO (2) 2009: 1021-1026 - [c14]Liyong Shen
Finding positively invariant sets of a class of nonlinear loops via curve fitting. SNC 2009: 185-190 - 2008
- [c13]Zhenbing Zeng, Liangyu Chen:
On the Heilbronn Optimal Configuration of Seven Points in the Square. Automated Deduction in Geometry 2008: 196-224 - [c12]Weiming Wang, Yezhi Lin, Zhenbing Zeng:
A New Mechanical Algorithm for Solving System of Fredholm Integral Equation Using Resolvent Method. ICIC (1) 2008: 744-754 - 2007
- [j3]Qiang Guan, Long Wang
Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems. Sci. China Ser. F Inf. Sci. 50(5): 719-731 (2007) - [c11]Liangyu Chen, Zhenbing Zeng:
Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?. ASCM 2007: 57-71 - [c10]Guangxi Chen, Zhenbing Zeng, Zhongqin Bi:
Machine Cognition and Learning Based on Interactive Symbolic Computation. IPC 2007: 456-461 - [c9]Zhenbing Zeng, Meijing Shan:
Semi-mechanization method for a unsolved optimization problem in combinatorial geometry. SAC 2007: 762-766 - [c8]Weiming Wang, Zhenbing Zeng, Lu Yang:
A new mechanical algorithm for solving system of Volterra integral equation. SNPD (3) 2007: 67-72 - 2006
- [j2]Hongguang Fu, Xiuqin Zhong, Zhenbing Zeng:
Automated and readable simplification of trigonometric expressions. Math. Comput. Model. 44(11-12): 1169-1177 (2006) - [c7]Lu Yang, Zhenbing Zeng:
Constructing a Tetrahedron with Prescribed Heights and Widths. Automated Deduction in Geometry 2006: 203-211 - 2005
- [c6]Jinzhao Wu, Wenyin Zhang, Zhenbing Zeng:
Automatic Generation of Mathematical Expressions of Printed Chinese Characters. Computational Intelligence 2005: 404-408 - [c5]Lu Yang, Zhenbing Zeng:
An open problem on metric invariants of tetrahedra. ISSAC 2005: 362-364 - [c4]Wenyin Zhang, Zhenli Nie, Zhenbing Zeng:
Image Retrieval Based on Salient Points from DCT Domain. MICAI 2005: 386-395 - 2004
- [c3]Lu Yang, Zhenbing Zeng:
Symbolic Solution of a Piano Movers' Problem with Four Parameters. Automated Deduction in Geometry 2004: 59-69 - 2003
- [j1]Zhiwei Xu, Wei Li, Hongguang Fu, Zhenbing Zeng:
Mathematics Education over the Internet Based on Vega Grid Technology. Int. J. Distance Educ. Technol. 1(3): 1-13 (2003) - 2002
- [c2]Zhiwei Xu, Wei Li, Hongguang Fu, Zhenbing Zeng:
The Vega Grid and Grid-Based Education. ICWL 2002: 228-240
1990 – 1999
- 1997
- [c1]Lu Yang, Hongguang Fu, Zhenbing Zeng:
A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry. CADE 1997: 73-86
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-08 01:29 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: