Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Zhenbing Zeng
2010 – today
- 2012
[j13]Lu Yang, Zhenbing Zeng, Weinian Zhang: Differential elimination with Dixon resultants. Applied Mathematics and Computation 218(21): 10679-10690 (2012)- [j12]Lei Chen, Changhong Lu, Zhenbing Zeng: Vertices in all minimum paired-dominating sets of block graphs. J. Comb. Optim. 24(3): 176-191 (2012)
- 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. Systems Science 41(12): 1411-1419 (2010)
- [j9]Lei Chen, Changhong Lu, Zhenbing Zeng: 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. UCS 16(14): 1912-1926 (2010)
- [c16]Bin Wu, Liyong Shen, Zhongqin Bi, Zhenbing Zeng: Termination of Loop Programs with Polynomial Guards. ICCSA (4) 2010: 482-496
- [c15]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, Changhong Lu, Zhenbing Zeng: A linear-time algorithm for paired-domination problem in strongly chordal graphs. Inf. Process. Lett. 110(1): 20-23 (2009)
- [j6]Lei Chen, Lin Lu, Kairui Feng, Wenjin Li, Jie Song, Lulu Zheng, Youlang Yuan, Zhenbing Zeng, Kai-Yan Feng, Wen-Cong Lu, Yu-Dong Cai: Multiple classifier integration for the prediction of protein structural classes. Journal of Computational Chemistry 30(14): 2248-2254 (2009)
- [j5]Lei Chen, Changhong Lu, Zhenbing Zeng: Hardness results and approximation algorithms for (weighted) paired-domination in graphs. Theor. Comput. Sci. 410(47-49): 5063-5071 (2009)
- [j4]Lei Chen, Changhong Lu, Zhenbing Zeng: Distance paired-domination problems on subclasses of chordal graphs. Theor. Comput. Sci. 410(47-49): 5072-5081 (2009)
- [c14]
- 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, Bican Xia, Lu Yang, Wensheng Yu, Zhenbing Zeng: Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems. Science in China Series F: Information Sciences 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. Mathematical and Computer Modelling 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]
- [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. IJDET 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:26 CET by the dblp team