Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Zhenbing Zeng
@article{DBLP:journals/corr/abs-2402-11461,
author = {Xiaokai Zhang and
Na Zhu and
Yiming He and
Jia Zou and
Cheng Qin and
Yang Li and
Zhenbing Zeng and
Tuo Leng},
title = {FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic
System and Hypergraph Neural Network},
journal = {CoRR},
volume = {abs/2402.11461},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.11461},
doi = {10.48550/ARXIV.2402.11461},
eprinttype = {arXiv},
eprint = {2402.11461},
timestamp = {Mon, 26 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-11461.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/XuZLWC23,
author = {Yaochen Xu and
Zhenbing Zeng and
Jian Lu and
Yuzheng Wang and
Liangyu Chen},
title = {Local critical analysis of inequalities related to the sum of distances
between n points on the unit hemisphere for n=4,5},
journal = {Ann. Math. Artif. Intell.},
volume = {91},
number = {6},
pages = {865--898},
year = {2023},
url = {https://doi.org/10.1007/s10472-023-09880-z},
doi = {10.1007/S10472-023-09880-Z},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/XuZLWC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZengYZTZ023,
author = {Xia Zeng and
Zhengfeng Yang and
Li Zhang and
Xiaochao Tang and
Zhenbing Zeng and
Zhiming Liu},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Safety Verification of Nonlinear Systems with Bayesian Neural Network
Controllers},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {15278--15286},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i12.26782},
doi = {10.1609/AAAI.V37I12.26782},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZengYZTZ023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YangZZTPZ23,
author = {Zhengfeng Yang and
Li Zhang and
Xia Zeng and
Xiaochao Tang and
Chao Peng and
Zhenbing Zeng},
editor = {Constantin Enea and
Akash Lal},
title = {Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid
Constraints},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13964},
pages = {304--325},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37706-8\_16},
doi = {10.1007/978-3-031-37706-8\_16},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/YangZZTPZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/CondeZTMLZPLGZCLHYZLSKBPDTABLZFSSLGLYX23,
author = {Marcos V. Conde and
Eduard Zamfir and
Radu Timofte and
Daniel Motilla and
Cen Liu and
Zexin Zhang and
Yunbo Peng and
Yue Lin and
Jiaming Guo and
Xueyi Zou and
Yuyi Chen and
Yi Liu and
Jia Hao and
Youliang Yan and
Yuanfan Zhang and
Gen Li and
Lei Sun and
Lingshun Kong and
Haoran Bai and
Jinshan Pan and
Jiangxin Dong and
Jinhui Tang and
Mustafa Ayazoglu and
Bahri Batuhan Bilecen and
Mingxi Li and
Yuhang Zhang and
Xianjun Fan and
Yankai Sheng and
Long Sun and
Zibin Liu and
Weiran Gou and
Shaoqing Li and
Ziyao Yi and
Yan Xiang and
Dehui Kong and
Ke Xu and
Ganzorig Gankhuyag and
Kihwan Yoon and
Jin Zhang and
Gaocheng Yu and
Feng Zhang and
Hongbin Wang and
Zhou Zhou and
Jiahao Chao and
Hongfan Gao and
Jiali Gong and
Zhengfeng Yang and
Zhenbing Zeng and
Chengpeng Chen and
Zichao Guo and
Anjin Park and
Yuqing Liu and
Qi Jia and
Hongyuan Yu and
Xuanwu Yin and
Dongyang Zhang and
Ting Fu and
Zhengxue Cheng and
Shiai Zhu and
Dajiang Zhou and
Weichen Yu and
Lin Ge and
Jiahua Dong and
Yajun Zou and
Zhuoyuan Wu and
Binnan Han and
Xiaolin Zhang and
Heng Zhang and
Ben Shao and
Shaolong Zheng and
Daheng Yin and
Baijun Chen and
Mengyang Liu and
Marian{-}Sergiu Nistor and
Yi{-}Chung Chen and
Zhi{-}Kai Huang and
Yuan{-}Chun Chiang and
Wei{-}Ting Chen and
Hao{-}Hsiang Yang and
Hua{-}En Chang and
I{-}Hsiang Chen and
Chia{-}Hsuan Hsieh and
Sy{-}Yen Kuo and
Tu Vo and
Qingsen Yan and
Yun Zhu and
Jinqiu Su and
Yanning Zhang and
Cheng Zhang and
Jiaying Luo and
Youngsun Cho and
Nakyung Lee and
Kunlong Zuo},
title = {Efficient Deep Models for Real-Time 4K Image Super-Resolution. {NTIRE}
2023 Benchmark and Report},
booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
{CVPR} 2023 - Workshops, Vancouver, BC, Canada, June 17-24, 2023},
pages = {1495--1521},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CVPRW59228.2023.00154},
doi = {10.1109/CVPRW59228.2023.00154},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cvpr/CondeZTMLZPLGZCLHYZLSKBPDTABLZFSSLGLYX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/ChaoZGGYZD23,
author = {Jiahao Chao and
Zhou Zhou and
Hongfan Gao and
Jiali Gong and
Zhengfeng Yang and
Zhenbing Zeng and
Lydia Dehbi},
title = {Equivalent Transformation and Dual Stream Network Construction for
Mobile Image Super-Resolution},
booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
{CVPR} 2023, Vancouver, BC, Canada, June 17-24, 2023},
pages = {14102--14111},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CVPR52729.2023.01355},
doi = {10.1109/CVPR52729.2023.01355},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cvpr/ChaoZGGYZD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ZhaoZQYZ23,
author = {Hanrui Zhao and
Xia Zeng and
Niuniu Qi and
Zhengfeng Yang and
Zhenbing Zeng},
title = {Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta
Reinforcement Learning},
booktitle = {60th {ACM/IEEE} Design Automation Conference, {DAC} 2023, San Francisco,
CA, USA, July 9-13, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DAC56929.2023.10247837},
doi = {10.1109/DAC56929.2023.10247837},
timestamp = {Sun, 24 Sep 2023 13:31:06 +0200},
biburl = {https://dblp.org/rec/conf/dac/ZhaoZQYZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/GongGCZYZ23,
author = {Jiali Gong and
Hongfan Gao and
Jiahao Chao and
Zhou Zhou and
Zhengfeng Yang and
Zhenbing Zeng},
title = {Kernel Estimation and Deconvolution for Blind Image Super-Resolution},
booktitle = {{IEEE} International Conference on Acoustics, Speech and Signal Processing
{ICASSP} 2023, Rhodes Island, Greece, June 4-10, 2023},
pages = {1--5},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICASSP49357.2023.10094753},
doi = {10.1109/ICASSP49357.2023.10094753},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/GongGCZYZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChaoZGGZY23,
author = {Jiahao Chao and
Zhou Zhou and
Hongfan Gao and
Jiali Gong and
Zhenbing Zeng and
Zhengfeng Yang},
title = {A Novel Learnable Interpolation Approach for Scale-Arbitrary Image
Super-Resolution},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {564--572},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/63},
doi = {10.24963/IJCAI.2023/63},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/ChaoZGGZY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/ZhouCGGZY23,
author = {Zhou Zhou and
Jiahao Chao and
Jiali Gong and
Hongfan Gao and
Zhenbing Zeng and
Zhengfeng Yang},
editor = {Abdulmotaleb El{-}Saddik and
Tao Mei and
Rita Cucchiara and
Marco Bertini and
Diana Patricia Tobon Vallejo and
Pradeep K. Atrey and
M. Shamim Hossain},
title = {Enhancing Real-Time Super Resolution with Partial Convolution and
Efficient Variance Attention},
booktitle = {Proceedings of the 31st {ACM} International Conference on Multimedia,
{MM} 2023, Ottawa, ON, Canada, 29 October 2023- 3 November 2023},
pages = {5348--5357},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3581783.3611729},
doi = {10.1145/3581783.3611729},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mm/ZhouCGGZY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-18021,
author = {Xiaokai Zhang and
Na Zhu and
Yiming He and
Jia Zou and
Qike Huang and
Xiaoxiao Jin and
Yanjun Guo and
Chenyang Mao and
Zhe Zhu and
Dengfeng Yue and
Fangzhen Zhu and
Yang Li and
Yifan Wang and
Yiwen Huang and
Runan Wang and
Cheng Qin and
Zhenbing Zeng and
Shaorong Xie and
Xiangfeng Luo and
Tuo Leng},
title = {FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated
Reasoning},
journal = {CoRR},
volume = {abs/2310.18021},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.18021},
doi = {10.48550/ARXIV.2310.18021},
eprinttype = {arXiv},
eprint = {2310.18021},
timestamp = {Fri, 17 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-18021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgi/FuYZZZ22,
author = {Xuanming Fu and
Zhengfeng Yang and
Zhenbing Zeng and
Yidan Zhang and
Qianting Zhou},
title = {Improvement of Oracle Bone Inscription Recognition Accuracy: {A} Deep
Learning Perspective},
journal = {{ISPRS} Int. J. Geo Inf.},
volume = {11},
number = {1},
pages = {45},
year = {2022},
url = {https://doi.org/10.3390/ijgi11010045},
doi = {10.3390/IJGI11010045},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijgi/FuYZZZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jossac/DehbiZ22,
author = {Lydia Dehbi and
Zhenbing Zeng},
title = {Heilbronn's Problem of Eight Points in the Square},
journal = {J. Syst. Sci. Complex.},
volume = {35},
number = {6},
pages = {2452--2480},
year = {2022},
url = {https://doi.org/10.1007/s11424-022-1220-7},
doi = {10.1007/S11424-022-1220-7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jossac/DehbiZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DehbiZY22,
author = {Lydia Dehbi and
Zhenbing Zeng and
Lu Yang},
title = {The number of tetrahedra sharing the same metric invariants via symbolic
and numerical computations},
journal = {J. Symb. Comput.},
volume = {108},
pages = {41--54},
year = {2022},
url = {https://doi.org/10.1016/j.jsc.2021.06.002},
doi = {10.1016/J.JSC.2021.06.002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/DehbiZY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/accv/XueZLYPZ22,
author = {Hao Xue and
Xia Zeng and
Wang Lin and
Zhengfeng Yang and
Chao Peng and
Zhenbing Zeng},
editor = {Lei Wang and
Juergen Gall and
Tat{-}Jun Chin and
Imari Sato and
Rama Chellappa},
title = {An RNN-Based Framework for the {MILP} Problem in Robustness Verification
of Neural Networks},
booktitle = {Computer Vision - {ACCV} 2022 - 16th Asian Conference on Computer
Vision, Macao, China, December 4-8, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13841},
pages = {571--586},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26319-4\_34},
doi = {10.1007/978-3-031-26319-4\_34},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/accv/XueZLYPZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ZengXCY22,
author = {Zhenbing Zeng and
Yaochen Xu and
Yu Chen and
Zhengfeng Yang},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {A Mechanical Method for Isolating Locally Optimal Points of Certain
Radical Functions},
booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13366},
pages = {377--396},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14788-3\_21},
doi = {10.1007/978-3-031-14788-3\_21},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/casc/ZengXCY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/IgnatovTDYGHKYMLCJKSLKSMCZGYZZLZSDGKSL22,
author = {Andrey Ignatov and
Radu Timofte and
Maurizio Denna and
Abdel Younes and
Ganzorig Gankhuyag and
Jingang Huh and
Myeong Kyun Kim and
Kihwan Yoon and
Hyeon{-}Cheol Moon and
Seungho Lee and
Yoonsik Choe and
Jinwoo Jeong and
Sungjei Kim and
Maciej Smyl and
Tomasz Latkowski and
Pawel Kubik and
Michal Sokolski and
Yujie Ma and
Jiahao Chao and
Zhou Zhou and
Hongfan Gao and
Zhengfeng Yang and
Zhenbing Zeng and
Zhengyang Zhuge and
Chenghua Li and
Dan Zhu and
Mengdi Sun and
Ran Duan and
Yan Gao and
Lingshun Kong and
Long Sun and
Xiang Li and
Xingdong Zhang and
Jiawei Zhang and
Yaqi Wu and
Jinshan Pan and
Gaocheng Yu and
Jin Zhang and
Feng Zhang and
Zhe Ma and
Hongbin Wang and
Hojin Cho and
Steve Kim and
Huaen Li and
Yanbo Ma and
Ziwei Luo and
Youwei Li and
Lei Yu and
Zhihong Wen and
Qi Wu and
Haoqiang Fan and
Shuaicheng Liu and
Lize Zhang and
Zhikai Zong and
Jeremy Kwon and
Junxi Zhang and
Mengyuan Li and
Nianxiang Fu and
Guanchen Ding and
Han Zhu and
Zhenzhong Chen and
Gen Li and
Yuanfan Zhang and
Lei Sun and
Dafeng Zhang and
Neo Yang and
Fitz Liu and
Jerry Zhao and
Mustafa Ayazoglu and
Bahri Batuhan Bilecen and
Shota Hirose and
Kasidis Arunruangsirilert and
Luo Ao and
Ho Chun Leung and
Andrew Wei and
Jie Liu and
Qiang Liu and
Dahai Yu and
Ao Li and
Lei Luo and
Ce Zhu and
Seongmin Hong and
Dongwon Park and
Joonhee Lee and
Byeong Hyun Lee and
Seunggyu Lee and
Se Young Chun and
Ruiyuan He and
Xuhao Jiang and
Haihang Ruan and
Xinjian Zhang and
Jing Liu and
Garas Gendy and
Nabil Sabor and
Jingchao Hou and
Guanghui He},
editor = {Leonid Karlinsky and
Tomer Michaeli and
Ko Nishino},
title = {Efficient and Accurate Quantized Image Super-Resolution on Mobile
NPUs, Mobile {AI} {\&} {AIM} 2022 Challenge: Report},
booktitle = {Computer Vision - {ECCV} 2022 Workshops - Tel Aviv, Israel, October
23-27, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13803},
pages = {92--129},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25066-8\_5},
doi = {10.1007/978-3-031-25066-8\_5},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eccv/IgnatovTDYGHKYMLCJKSLKSMCZGYZZLZSDGKSL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/ChenWZZ22,
author = {Liangyu Chen and
Jianjun Wei and
Zhenbing Zeng and
Min Zhang},
title = {Optimized Computation for Determinant of Multivariate Polynomial Matrices
on {GPGPU}},
booktitle = {24th {IEEE} Int Conf on High Performance Computing {\&} Communications;
8th Int Conf on Data Science {\&} Systems; 20th Int Conf on Smart
City; 8th Int Conf on Dependability in Sensor, Cloud {\&} Big
Data Systems {\&} Application, HPCC/DSS/SmartCity/DependSys 2022,
Hainan, China, December 18-20, 2022},
pages = {82--91},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/HPCC-DSS-SmartCity-DependSys57074.2022.00045},
doi = {10.1109/HPCC-DSS-SMARTCITY-DEPENDSYS57074.2022.00045},
timestamp = {Thu, 06 Apr 2023 11:34:00 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/ChenWZZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpr/FuYXWZ22,
author = {Xuanming Fu and
Zhengfeng Yang and
Hao Xue and
Jianlin Wang and
Zhenbing Zeng},
title = {Robust Training with Feature-Based Adversarial Example},
booktitle = {26th International Conference on Pattern Recognition, {ICPR} 2022,
Montreal, QC, Canada, August 21-25, 2022},
pages = {2957--2963},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICPR56361.2022.9956608},
doi = {10.1109/ICPR56361.2022.9956608},
timestamp = {Thu, 01 Dec 2022 13:56:03 +0100},
biburl = {https://dblp.org/rec/conf/icpr/FuYXWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/TangYFWZ22,
author = {Xiaochao Tang and
Zhengfeng Yang and
Xuanming Fu and
Jianlin Wang and
Zhenbing Zeng},
editor = {Yamine A{\"{\i}}t Ameur and
Florin Craciun},
title = {Improving Adversarial Robustness of Deep Neural Networks via Linear
Programming},
booktitle = {Theoretical Aspects of Software Engineering - 16th International Symposium,
{TASE} 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13299},
pages = {326--343},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10363-6\_22},
doi = {10.1007/978-3-031-10363-6\_22},
timestamp = {Thu, 07 Jul 2022 17:05:51 +0200},
biburl = {https://dblp.org/rec/conf/tase/TangYFWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-05910,
author = {Andrey Ignatov and
Radu Timofte and
Maurizio Denna and
Abdel Younes and
Ganzorig Gankhuyag and
Jingang Huh and
Myeong Kyun Kim and
Kihwan Yoon and
Hyeon{-}Cheol Moon and
Seungho Lee and
Yoonsik Choe and
Jinwoo Jeong and
Sungjei Kim and
Maciej Smyl and
Tomasz Latkowski and
Pawel Kubik and
Michal Sokolski and
Yujie Ma and
Jiahao Chao and
Zhou Zhou and
Hongfan Gao and
Zhengfeng Yang and
Zhenbing Zeng and
Zhengyang Zhuge and
Chenghua Li and
Dan Zhu and
Mengdi Sun and
Ran Duan and
Yan Gao and
Lingshun Kong and
Long Sun and
Xiang Li and
Xingdong Zhang and
Jiawei Zhang and
Yaqi Wu and
Jinshan Pan and
Gaocheng Yu and
Jin Zhang and
Feng Zhang and
Zhe Ma and
Hongbin Wang and
Hojin Cho and
Steve Kim and
Huaen Li and
Yanbo Ma and
Ziwei Luo and
Youwei Li and
Lei Yu and
Zhihong Wen and
Qi Wu and
Haoqiang Fan and
Shuaicheng Liu and
Lize Zhang and
Zhikai Zong and
Jeremy Kwon and
Junxi Zhang and
Mengyuan Li and
Nianxiang Fu and
Guanchen Ding and
Han Zhu and
Zhenzhong Chen and
Gen Li and
Yuanfan Zhang and
et al.},
title = {Efficient and Accurate Quantized Image Super-Resolution on Mobile
NPUs, Mobile {AI} {\&} {AIM} 2022 challenge: Report},
journal = {CoRR},
volume = {abs/2211.05910},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.05910},
doi = {10.48550/ARXIV.2211.05910},
eprinttype = {arXiv},
eprint = {2211.05910},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-05910.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ZengCSW21,
author = {Zhenbing Zeng and
Yu Chen and
Xiang Sun and
Yuzheng Wang},
editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
title = {On Geometric Property of Fermat-Torricelli Points on Sphere},
booktitle = {Computer Algebra in Scientific Computing - 23rd International Workshop,
{CASC} 2021, Sochi, Russia, September 13-17, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12865},
pages = {442--462},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85165-1\_25},
doi = {10.1007/978-3-030-85165-1\_25},
timestamp = {Mon, 31 Jan 2022 07:36:54 +0100},
biburl = {https://dblp.org/rec/conf/casc/ZengCSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YangZLZTZL21,
author = {Zhengfeng Yang and
Yidan Zhang and
Wang Lin and
Xia Zeng and
Xiaochao Tang and
Zhenbing Zeng and
Zhiming Liu},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems
via Barrier Certificate Generation},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {467--490},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_22},
doi = {10.1007/978-3-030-81685-8\_22},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/YangZLZTZL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/ChenCZL21,
author = {Cheng Chen and
Liangyu Chen and
Zhenbing Zeng and
Dang Lin},
title = {A Branch-and-Bound Algorithm for Computing the Reliable Isolated Zeros
of Multivariate Polynomial Functions Systems},
booktitle = {2021 {IEEE} 23rd Int Conf on High Performance Computing {\&} Communications;
7th Int Conf on Data Science {\&} Systems; 19th Int Conf on Smart
City; 7th Int Conf on Dependability in Sensor, Cloud {\&} Big
Data Systems {\&} Application (HPCC/DSS/SmartCity/DependSys),
Haikou, Hainan, China, December 20-22, 2021},
pages = {713--720},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/HPCC-DSS-SmartCity-DependSys53884.2021.00117},
doi = {10.1109/HPCC-DSS-SMARTCITY-DEPENDSYS53884.2021.00117},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpcc/ChenCZL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-00535,
author = {Zhenbing Zeng and
Jian Lu and
Yaochen Xu and
Yuzheng Wang},
editor = {Predrag Janicic and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Maximizing the Sum of the Distances between Four Points on the Unit
Hemisphere},
booktitle = {Proceedings of the 13th International Conference on Automated Deduction
in Geometry, {ADG} 2021, Hagenberg, Austria/virtual, September 15-17,
2021},
series = {{EPTCS}},
volume = {352},
pages = {27--40},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.352.4},
doi = {10.4204/EPTCS.352.4},
timestamp = {Thu, 17 Mar 2022 15:48:39 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00535.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mc2/ZengSHXCY20,
author = {Zhenbing Zeng and
Xiang Sun and
Yong Huang and
Yaochen Xu and
Xiaoru Chen and
Lu Yang},
editor = {Robert M. Corless and
J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
title = {A Maple Exploration of Problem 6 of the {IMO} 88},
booktitle = {Maple in Mathematics Education and Research - 4th Maple Conference,
{MC} 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1414},
pages = {429--437},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-81698-8\_28},
doi = {10.1007/978-3-030-81698-8\_28},
timestamp = {Thu, 07 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mc2/ZengSHXCY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mc2/ZengXY020,
author = {Zhenbing Zeng and
Yaochen Xu and
Zhengfeng Yang and
Zhi{-}Bin Li},
editor = {Robert M. Corless and
J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
title = {An Isometric Embedding of the Impossible Triangle into the Euclidean
Space of Lowest Dimension},
booktitle = {Maple in Mathematics Education and Research - 4th Maple Conference,
{MC} 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1414},
pages = {438--457},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-81698-8\_29},
doi = {10.1007/978-3-030-81698-8\_29},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mc2/ZengXY020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/WangPZ20,
author = {Jianlin Wang and
Chao Peng and
Zhenbing Zeng},
editor = {Toshiaki Aoki and
Qin Li},
title = {A Formal Proof of the Soundness of the Hybrid {CPS} Clock Theory},
booktitle = {International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2020, Hangzhou, China, December 11-13, 2020},
pages = {97--104},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/TASE49443.2020.00022},
doi = {10.1109/TASE49443.2020.00022},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/WangPZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaim/ChenZ19,
author = {Mingyan Chen and
Zhenbing Zeng},
editor = {Ding{-}Zhu Du and
Lian Li and
Xiaoming Sun and
Jialin Zhang},
title = {A Probabilistic Algorithm for Verification of Geometric Theorems},
booktitle = {Algorithmic Aspects in Information and Management - 13th International
Conference, {AAIM} 2019, Beijing, China, August 6-8, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11640},
pages = {29--41},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-27195-4\_3},
doi = {10.1007/978-3-030-27195-4\_3},
timestamp = {Wed, 26 Apr 2023 14:16:14 +0200},
biburl = {https://dblp.org/rec/conf/aaim/ChenZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaim/DressMPZ19,
author = {Andreas W. M. Dress and
Hiroshi Maehara and
Sabrina Xing Mei Pang and
Zhenbing Zeng},
editor = {Ding{-}Zhu Du and
Lian Li and
Xiaoming Sun and
Jialin Zhang},
title = {On the Structure of Discrete Metric Spaces Isometric to Circles},
booktitle = {Algorithmic Aspects in Information and Management - 13th International
Conference, {AAIM} 2019, Beijing, China, August 6-8, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11640},
pages = {83--94},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-27195-4\_8},
doi = {10.1007/978-3-030-27195-4\_8},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaim/DressMPZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ZengC19,
author = {Zhenbing Zeng and
Liangyu Chen},
editor = {Matthew England and
Wolfram Koepf and
Timur M. Sadykov and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
title = {Determining the Heilbronn Configuration of Seven Points in Triangles
via Symbolic Computation},
booktitle = {Computer Algebra in Scientific Computing - 21st International Workshop,
{CASC} 2019, Moscow, Russia, August 26-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11661},
pages = {458--477},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26831-2\_30},
doi = {10.1007/978-3-030-26831-2\_30},
timestamp = {Mon, 31 Jan 2022 07:36:55 +0100},
biburl = {https://dblp.org/rec/conf/casc/ZengC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ZengYD19,
author = {Zhenbing Zeng and
Lu Yang and
Lydia Dehbi},
editor = {James H. Davenport and
Dongming Wang and
Manuel Kauers and
Russell J. Bradford},
title = {On the Number of Congruent Classes of the Tetrahedra Determined by
Given Volume, Circumradius and Face Areas},
booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and
Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019},
pages = {363--370},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3326229.3326264},
doi = {10.1145/3326229.3326264},
timestamp = {Wed, 31 Jan 2024 21:56:28 +0100},
biburl = {https://dblp.org/rec/conf/issac/ZengYD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mc2/GuoLZ19,
author = {Xiaofeng Guo and
Tuo Leng and
Zhenbing Zeng},
editor = {J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
title = {The Fermat-Torricelli Problem of Triangles on the Sphere with Euclidean
Metric: {A} Symbolic Solution with Maple},
booktitle = {Maple in Mathematics Education and Research - Third Maple Conference,
{MC} 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1125},
pages = {263--278},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41258-6\_20},
doi = {10.1007/978-3-030-41258-6\_20},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mc2/GuoLZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mc2/ZengLDCW19,
author = {Zhenbing Zeng and
Jian Lu and
Lydia Dehbi and
Liangyu Chen and
Jianlin Wang},
editor = {J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
title = {A Heilbronn Type Inequality for Plane Nonagons},
booktitle = {Maple in Mathematics Education and Research - Third Maple Conference,
{MC} 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1125},
pages = {307--323},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41258-6\_23},
doi = {10.1007/978-3-030-41258-6\_23},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mc2/ZengLDCW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZengWY19,
author = {Zhenbing Zeng and
Jianlin Wang and
Zhengfeng Yang},
editor = {Dominique M{\'{e}}ry and
Shengchao Qin},
title = {Multi-Agent Automated Reasoning Toward Machine Self-Awareness: {A}
Case Study},
booktitle = {2019 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2019, Guilin, China, July 29-31, 2019},
pages = {73--80},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/TASE.2019.00-17},
doi = {10.1109/TASE.2019.00-17},
timestamp = {Mon, 09 Dec 2019 18:38:09 +0100},
biburl = {https://dblp.org/rec/conf/tase/ZengWY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jossac/TangLZ18,
author = {Min Tang and
Bingyu Li and
Zhenbing Zeng},
title = {Computing Sparse {GCD} of Multivariate Polynomials via Polynomial
Interpolation},
journal = {J. Syst. Sci. Complex.},
volume = {31},
number = {2},
pages = {552--568},
year = {2018},
url = {https://doi.org/10.1007/s11424-017-6332-0},
doi = {10.1007/S11424-017-6332-0},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jossac/TangLZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/ZengLYZ17,
author = {Xia Zeng and
Wang Lin and
Zhengfeng Yang and
Zhenbing Zeng},
title = {Linear invariant generation for verification of nonlinear hybrid systems
via conservative approximation},
journal = {Sci. China Inf. Sci.},
volume = {60},
number = {3},
pages = {39102},
year = {2017},
url = {https://doi.org/10.1007/s11432-015-0980-7},
doi = {10.1007/S11432-015-0980-7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chinaf/ZengLYZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LinWYZ17,
author = {Wang Lin and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
title = {Verification for Non-polynomial Hybrid Systems Using Rational Invariants},
journal = {Comput. J.},
volume = {60},
number = {5},
pages = {675--689},
year = {2017},
url = {https://doi.org/10.1093/comjnl/bxw090},
doi = {10.1093/COMJNL/BXW090},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/LinWYZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgo/ChenXZ17,
author = {Liangyu Chen and
Yaochen Xu and
Zhenbing Zeng},
title = {Searching approximate global optimal Heilbronn configurations of nine
points in the unit square via {GPGPU} computing},
journal = {J. Glob. Optim.},
volume = {68},
number = {1},
pages = {147--167},
year = {2017},
url = {https://doi.org/10.1007/s10898-016-0453-1},
doi = {10.1007/S10898-016-0453-1},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jgo/ChenXZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jossac/TangYZ16,
author = {Min Tang and
Zhengfeng Yang and
Zhenbing Zeng},
title = {Resultant elimination via implicit equation interpolation},
journal = {J. Syst. Sci. Complex.},
volume = {29},
number = {5},
pages = {1411--1435},
year = {2016},
url = {https://doi.org/10.1007/s11424-016-4159-8},
doi = {10.1007/S11424-016-4159-8},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jossac/TangYZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/XuHLZ16,
author = {Ming Xu and
Cheng{-}Chao Huang and
Zhi{-}Bin Li and
Zhenbing Zeng},
title = {Analyzing ultimate positivity for solvable systems},
journal = {Theor. Comput. Sci.},
volume = {609},
pages = {395--412},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.10.023},
doi = {10.1016/J.TCS.2015.10.023},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/XuHLZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arscom/0007LZ15,
author = {Lei Chen and
Changhong Lu and
Zhenbing Zeng},
title = {Graphs with unique minimum paired-dominating set},
journal = {Ars Comb.},
volume = {119},
pages = {177--192},
year = {2015},
timestamp = {Thu, 12 Mar 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/arscom/0007LZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/LiuTZZ18,
author = {Jian Liu and
Min Tang and
Xia Zeng and
Zhenbing Zeng},
title = {{\unicode{21021}}{\unicode{31561}}{\unicode{20989}}{\unicode{25968}}{\unicode{21487}}{\unicode{39564}}{\unicode{35777}}{\unicode{36171}}{\unicode{20540}}{\unicode{21450}}{\unicode{35823}}{\unicode{24046}}{\unicode{20998}}{\unicode{26512}}
(Validated Evaluation and Error Analysis of Elementary Functions)},
journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
volume = {42},
number = {4},
pages = {25--30},
year = {2015},
url = {https://doi.org/10.11896/j.issn.1002-137X.2015.04.003},
doi = {10.11896/J.ISSN.1002-137X.2015.04.003},
timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsjkx/LiuTZZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/LinWYZ14,
author = {Wang Lin and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
title = {Exact safety verification of hybrid systems using sums-of-squares
representation},
journal = {Sci. China Inf. Sci.},
volume = {57},
number = {5},
pages = {1--13},
year = {2014},
url = {https://doi.org/10.1007/s11432-013-4961-z},
doi = {10.1007/S11432-013-4961-Z},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/LinWYZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/LinWYZ14,
author = {Wang Lin and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
title = {Proving total correctness and generating preconditions for loop programs
via symbolic-numeric computation methods},
journal = {Frontiers Comput. Sci.},
volume = {8},
number = {2},
pages = {192--202},
year = {2014},
url = {https://doi.org/10.1007/s11704-014-3150-6},
doi = {10.1007/S11704-014-3150-6},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/LinWYZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jco/ChenZZ14,
author = {Liangyu Chen and
Zhenbing Zeng and
Wei Zhou},
title = {An upper bound of Heilbronn number for eight points in triangles},
journal = {J. Comb. Optim.},
volume = {28},
number = {4},
pages = {854--874},
year = {2014},
url = {https://doi.org/10.1007/s10878-012-9585-5},
doi = {10.1007/S10878-012-9585-5},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jco/ChenZZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/LinWYZ14,
author = {Wang Lin and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
editor = {Lihong Zhi and
Stephen M. Watt},
title = {Safety verification of nonlinear systems based on rational invariants},
booktitle = {Symbolic-Numeric Computation 2014, {SNC} '14, Shanghai, China, July
28-31, 2014},
pages = {107--108},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2631948.2631967},
doi = {10.1145/2631948.2631967},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snc/LinWYZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/ChenZ13,
author = {Liangyu Chen and
Zhenbing Zeng},
title = {Parallel computation of determinants of matrices with multivariate
polynomial entries},
journal = {Sci. China Inf. Sci.},
volume = {56},
number = {11},
pages = {1--16},
year = {2013},
url = {https://doi.org/10.1007/s11432-012-4711-7},
doi = {10.1007/S11432-012-4711-7},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chinaf/ChenZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jossac/ShenWYZ13,
author = {Liyong Shen and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
title = {Generating exact nonlinear ranking functions by symbolic-numeric hybrid
method},
journal = {J. Syst. Sci. Complex.},
volume = {26},
number = {2},
pages = {291--301},
year = {2013},
url = {https://doi.org/10.1007/s11424-013-1004-1},
doi = {10.1007/S11424-013-1004-1},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jossac/ShenWYZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/YangZZ12,
author = {Lu Yang and
Zhenbing Zeng and
Weinian Zhang},
title = {Differential elimination with Dixon resultants},
journal = {Appl. Math. Comput.},
volume = {218},
number = {21},
pages = {10679--10690},
year = {2012},
url = {https://doi.org/10.1016/j.amc.2012.04.036},
doi = {10.1016/J.AMC.2012.04.036},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/YangZZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jco/ChenLZ12,
author = {Lei Chen and
Changhong Lu and
Zhenbing Zeng},
title = {Vertices in all minimum paired-dominating sets of block graphs},
journal = {J. Comb. Optim.},
volume = {24},
number = {3},
pages = {176--191},
year = {2012},
url = {https://doi.org/10.1007/s10878-011-9375-5},
doi = {10.1007/S10878-011-9375-5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jco/ChenLZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ascm/ChenLSWYZ12,
author = {Liangyu Chen and
Tuo Leng and
Liyong Shen and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
editor = {Ruyong Feng and
Wen{-}shin Lee and
Yosuke Sato},
title = {Finding the Symbolic Solution of a Geometric Problem Through Numerical
Computations},
booktitle = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
China, October 2012, Contributed Papers and Invited Talks},
pages = {223--241},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-662-43799-5\_18},
doi = {10.1007/978-3-662-43799-5\_18},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ascm/ChenLSWYZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-0732,
author = {Bin Wu and
Liyong Shen and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
title = {Generating Loop Invariants by Computing Vanishing Ideals of Sample
Points},
journal = {CoRR},
volume = {abs/1111.0732},
year = {2011},
url = {http://arxiv.org/abs/1111.0732},
eprinttype = {arXiv},
eprint = {1111.0732},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0732.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-2328,
author = {Wang Lin and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
title = {Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares
Representation},
journal = {CoRR},
volume = {abs/1112.2328},
year = {2011},
url = {http://arxiv.org/abs/1112.2328},
eprinttype = {arXiv},
eprint = {1112.2328},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-2328.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/XuCZL10,
author = {Ming Xu and
Liangyu Chen and
Zhenbing Zeng and
Zhi{-}Bin Li},
title = {Termination Analysis of Linear Loops},
journal = {Int. J. Found. Comput. Sci.},
volume = {21},
number = {6},
pages = {1005--1019},
year = {2010},
url = {https://doi.org/10.1142/S0129054110007696},
doi = {10.1142/S0129054110007696},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/XuCZL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsysc/XuCZL10,
author = {Ming Xu and
Liangyu Chen and
Zhenbing Zeng and
Zhi{-}bin Li},
title = {Reachability analysis of rational eigenvalue linear systems},
journal = {Int. J. Syst. Sci.},
volume = {41},
number = {12},
pages = {1411--1419},
year = {2010},
url = {https://doi.org/10.1080/00207720903480691},
doi = {10.1080/00207720903480691},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsysc/XuCZL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jco/ChenLZ10,
author = {Lei Chen and
Changhong Lu and
Zhenbing Zeng},
title = {Labelling algorithms for paired-domination problems in block and interval
graphs},
journal = {J. Comb. Optim.},
volume = {19},
number = {4},
pages = {457--470},
year = {2010},
url = {https://doi.org/10.1007/s10878-008-9177-6},
doi = {10.1007/S10878-008-9177-6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jco/ChenLZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/XuMZL10,
author = {Ming Xu and
Chuandong Mu and
Zhenbing Zeng and
Zhi{-}bin Li},
title = {A Heuristic Approach to Positive Root Isolation for Multiple Power
Sums},
journal = {J. Univers. Comput. Sci.},
volume = {16},
number = {14},
pages = {1912--1926},
year = {2010},
url = {https://doi.org/10.3217/jucs-016-14-1912},
doi = {10.3217/JUCS-016-14-1912},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/XuMZL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/WuSBZ10,
author = {Bin Wu and
Liyong Shen and
Zhongqin Bi and
Zhenbing Zeng},
editor = {David Taniar and
Osvaldo Gervasi and
Beniamino Murgante and
Eric Pardede and
Bernady O. Apduhan},
title = {Termination of Loop Programs with Polynomial Guards},
booktitle = {Computational Science and Its Applications - {ICCSA} 2010, International
Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {6019},
pages = {482--496},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12189-0\_42},
doi = {10.1007/978-3-642-12189-0\_42},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccsa/WuSBZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/walcom/XuCZL10,
author = {Ming Xu and
Liangyu Chen and
Zhenbing Zeng and
Zhi{-}bin Li},
editor = {Md. Saidur Rahman and
Satoshi Fujita},
title = {Real Root Isolation of Multi-Exponential Polynomials with Application},
booktitle = {{WALCOM:} Algorithms and Computation, 4th International Workshop,
{WALCOM} 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5942},
pages = {263--268},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11440-3\_24},
doi = {10.1007/978-3-642-11440-3\_24},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/walcom/XuCZL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ChenLZ09,
author = {Lei Chen and
Changhong Lu and
Zhenbing Zeng},
title = {A linear-time algorithm for paired-domination problem in strongly
chordal graphs},
journal = {Inf. Process. Lett.},
volume = {110},
number = {1},
pages = {20--23},
year = {2009},
url = {https://doi.org/10.1016/j.ipl.2009.09.014},
doi = {10.1016/J.IPL.2009.09.014},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ChenLZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcc/ChenLFLSZYZFLC09,
author = {Lei Chen and
Lin Lu and
Kairui Feng and
Wenjin Li and
Jie Song and
Lulu Zheng and
Youlang Yuan and
Zhenbing Zeng and
Kai{-}Yan Feng and
Wen{-}Cong Lu and
Yudong Cai},
title = {Multiple classifier integration for the prediction of protein structural
classes},
journal = {J. Comput. Chem.},
volume = {30},
number = {14},
pages = {2248--2254},
year = {2009},
url = {https://doi.org/10.1002/jcc.21230},
doi = {10.1002/JCC.21230},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcc/ChenLFLSZYZFLC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChenLZ09,
author = {Lei Chen and
Changhong Lu and
Zhenbing Zeng},
title = {Hardness results and approximation algorithms for (weighted) paired-domination
in graphs},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {47-49},
pages = {5063--5071},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.08.004},
doi = {10.1016/J.TCS.2009.08.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ChenLZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChenLZ09a,
author = {Lei Chen and
Changhong Lu and
Zhenbing Zeng},
title = {Distance paired-domination problems on subclasses of chordal graphs},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {47-49},
pages = {5072--5081},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.08.005},
doi = {10.1016/J.TCS.2009.08.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ChenLZ09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cso/ZengC09,
author = {Zhenbing Zeng and
Liangyu Chen},
editor = {Lean Yu and
Kin Keung Lai and
Shashi Kant Mishra},
title = {On the Best Bezier Approximation of Ellipses},
booktitle = {Proceedings of the Second International Joint Conference on Computational
Sciences and Optimization, {CSO} 2009, Sanya, Hainan, China, 24-26
April 2009, Volume 2},
pages = {1021--1026},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CSO.2009.175},
doi = {10.1109/CSO.2009.175},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cso/ZengC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/ShenWYZ09,
author = {Liyong Shen and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
editor = {Hiroshi Kai and
Hiroshi Sekigawa and
Tateaki Sasaki and
Kiyoshi Shirayanagi and
Ilias S. Kotsireas},
title = {Finding positively invariant sets of a class of nonlinear loops via
curve fitting},
booktitle = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
- 05, 2009},
pages = {185--190},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1577190.1577218},
doi = {10.1145/1577190.1577218},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snc/ShenWYZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/ZengC08,
author = {Zhenbing Zeng and
Liangyu Chen},
editor = {Thomas Sturm and
Christoph Zengler},
title = {On the Heilbronn Optimal Configuration of Seven Points in the Square},
booktitle = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
2008, Shanghai, China, September 22-24, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6301},
pages = {196--224},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-21046-4\_11},
doi = {10.1007/978-3-642-21046-4\_11},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adg/ZengC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icic/WangLZ08a,
author = {Weiming Wang and
Yezhi Lin and
Zhenbing Zeng},
editor = {De{-}Shuang Huang and
Donald C. Wunsch II and
Daniel S. Levine and
Kang{-}Hyun Jo},
title = {A New Mechanical Algorithm for Solving System of Fredholm Integral
Equation Using Resolvent Method},
booktitle = {Advanced Intelligent Computing Theories and Applications. With Aspects
of Theoretical and Methodological Issues, 4th International Conference
on Intelligent Computing, {ICIC} 2008, Shanghai, China, September
15-18, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5226},
pages = {744--754},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87442-3\_92},
doi = {10.1007/978-3-540-87442-3\_92},
timestamp = {Sun, 26 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icic/WangLZ08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/GuanWXYYZ07,
author = {Qiang Guan and
Long Wang and
Bican Xia and
Lu Yang and
Wensheng Yu and
Zhenbing Zeng},
title = {Solution to the Generalized Champagne Problem on simultaneous stabilization
of linear systems},
journal = {Sci. China Ser. {F} Inf. Sci.},
volume = {50},
number = {5},
pages = {719--731},
year = {2007},
url = {https://doi.org/10.1007/s11432-007-0053-2},
doi = {10.1007/S11432-007-0053-2},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chinaf/GuanWXYYZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ascm/ChenZ07,
author = {Liangyu Chen and
Zhenbing Zeng},
editor = {Deepak Kapur},
title = {Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite
by Difference Substitution Method?},
booktitle = {Computer Mathematics, 8th Asian Symposium, {ASCM} 2007, Singapore,
December 15-17, 2007. Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5081},
pages = {57--71},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-87827-8\_5},
doi = {10.1007/978-3-540-87827-8\_5},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ascm/ChenZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipc/ChenZB07,
author = {Guangxi Chen and
Zhenbing Zeng and
Zhongqin Bi},
title = {Machine Cognition and Learning Based on Interactive Symbolic Computation},
booktitle = {The 2007 International Conference on Intelligent Pervasive Computing,
{IPC} 2007, Jeju Island, Korea, 11-13 October 2007},
pages = {456--461},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/IPC.2007.122},
doi = {10.1109/IPC.2007.122},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipc/ChenZB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ZengS07,
author = {Zhenbing Zeng and
Meijing Shan},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {Semi-mechanization method for a unsolved optimization problem in combinatorial
geometry},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {762--766},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244172},
doi = {10.1145/1244002.1244172},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/ZengS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/WangZY07,
author = {Weiming Wang and
Zhenbing Zeng and
Lu Yang},
editor = {Wenying Feng and
Feng Gao},
title = {A new mechanical algorithm for solving system of Volterra integral
equation},
booktitle = {Proceedings of the 8th {ACIS} International Conference on Software
Engineering, Artificial Intelligence, Networking and Parallel/Distributed
Computing, {SNPD} 2007, July 30 - August 1, 2007, Qingdao, China},
pages = {67--72},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SNPD.2007.38},
doi = {10.1109/SNPD.2007.38},
timestamp = {Sun, 26 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/WangZY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mcm/FuZZ06,
author = {Hongguang Fu and
Xiuqin Zhong and
Zhenbing Zeng},
title = {Automated and readable simplification of trigonometric expressions},
journal = {Math. Comput. Model.},
volume = {44},
number = {11-12},
pages = {1169--1177},
year = {2006},
url = {https://doi.org/10.1016/j.mcm.2006.04.002},
doi = {10.1016/J.MCM.2006.04.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mcm/FuZZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/YangZ06,
author = {Lu Yang and
Zhenbing Zeng},
editor = {Francisco Botana and
Tom{\'{a}}s Recio},
title = {Constructing a Tetrahedron with Prescribed Heights and Widths},
booktitle = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4869},
pages = {203--211},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77356-6\_13},
doi = {10.1007/978-3-540-77356-6\_13},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/adg/YangZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedCI/WuZZ05,
author = {Jinzhao Wu and
Wenyin Zhang and
Zhenbing Zeng},
editor = {M. H. Hamza},
title = {Automatic Generation of Mathematical Expressions of Printed Chinese
Characters},
booktitle = {{IASTED} International Conference on Computational Intelligence, Calgary,
Alberta, Canada, July 4-6, 2005},
pages = {404--408},
publisher = {{IASTED/ACTA} Press},
year = {2005},
timestamp = {Thu, 27 Oct 2005 10:20:01 +0200},
biburl = {https://dblp.org/rec/conf/iastedCI/WuZZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/YangZ05,
author = {Lu Yang and
Zhenbing Zeng},
editor = {Manuel Kauers},
title = {An open problem on metric invariants of tetrahedra},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2005, Beijing, China, July 24-27, 2005, Proceedings},
pages = {362--364},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1073884.1073934},
doi = {10.1145/1073884.1073934},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/YangZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/ZhangNZ05,
author = {Wenyin Zhang and
Zhenli Nie and
Zhenbing Zeng},
editor = {Alexander F. Gelbukh and
Alvaro de Albornoz and
Hugo Terashima{-}Mar{\'{\i}}n},
title = {Image Retrieval Based on Salient Points from {DCT} Domain},
booktitle = {{MICAI} 2005: Advances in Artificial Intelligence, 4th Mexican International
Conference on Artificial Intelligence, Monterrey, Mexico, November
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3789},
pages = {386--395},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11579427\_39},
doi = {10.1007/11579427\_39},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/micai/ZhangNZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/YangZ04,
author = {Lu Yang and
Zhenbing Zeng},
editor = {Hoon Hong and
Dongming Wang},
title = {Symbolic Solution of a Piano Movers' Problem with Four Parameters},
booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG}
2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3763},
pages = {59--69},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11615798\_5},
doi = {10.1007/11615798\_5},
timestamp = {Tue, 19 Nov 2019 15:07:32 +0100},
biburl = {https://dblp.org/rec/conf/adg/YangZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdet/XuLFZ03,
author = {Zhiwei Xu and
Wei Li and
Hongguang Fu and
Zhenbing Zeng},
title = {Mathematics Education over the Internet Based on Vega Grid Technology},
journal = {Int. J. Distance Educ. Technol.},
volume = {1},
number = {3},
pages = {1--13},
year = {2003},
url = {https://doi.org/10.4018/jdet.2003070101},
doi = {10.4018/JDET.2003070101},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijdet/XuLFZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwl/XuLFZ02,
author = {Zhiwei Xu and
Wei Li and
Hongguang Fu and
Zhenbing Zeng},
editor = {Joseph Fong and
Ronnie Chu Ting Cheung and
Hong Va Leong and
Qing Li},
title = {The Vega Grid and Grid-Based Education},
booktitle = {Advances in Web-Based Learning, First International Conference, {ICWL}
2002, Hong Kong, China, August 17-19, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2436},
pages = {228--240},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45689-9\_19},
doi = {10.1007/3-540-45689-9\_19},
timestamp = {Mon, 06 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icwl/XuLFZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/YangFZ97,
author = {Lu Yang and
Hongguang Fu and
Zhenbing Zeng},
editor = {William McCune},
title = {A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators
with Simple Geometry},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {73--86},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_11},
doi = {10.1007/3-540-63104-6\_11},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/YangFZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-02-27 23:39 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:
