×
Compute Distance To:
Author ID: guan.yong Recent zbMATH articles by "Guan, Yong"
Published as: Guan, Yong
Documents Indexed: 30 Publications since 2003, including 1 Book
Co-Authors: 48 Co-Authors with 30 Joint Publications
1,207 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 23 times in 17 Documents Cited by Year
Dependable handling of uncertainty. Zbl 1140.62301
Berleant, Daniel; Cheong, Mei-Peng; Chu, Chris; Guan, Yong; Kamal, Ahmed; Sheblé, Gerald; Ferson, Scott; Peters, James F.
4
2003
Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm. Zbl 1367.65032
Ma, Sha; Shi, Zhiping; Shao, Zhenzhou; Guan, Yong; Li, Liming; Li, Yongdong
4
2016
Formal analysis of the kinematic Jacobian in screw theory. Zbl 1426.70008
Shi, Zhiping; Wu, Aixuan; Yang, Xiumei; Guan, Yong; Li, Yongdong; Song, Xiaoyu
2
2018
The gauge integral theory in HOL4. Zbl 1268.65033
Shi, Zhiping; Gu, Weiqing; Li, Xiaojuan; Guan, Yong; Ye, Shiwei; Zhang, Jie; Wei, Hongxing
2
2013
Formalization of linear space theory in the higher-order logic proving system. Zbl 1315.03021
Zhang, Jie; Mao, Danwen; Guan, Yong
2
2013
Formalization of geometric algebra in HOL Light. Zbl 1468.68329
Li, Li-Ming; Shi, Zhi-Ping; Guan, Yong; Zhang, Qian-Ying; Li, Yong-Dong
2
2019
Formal kinematic analysis of a general 6R manipulator using the screw theory. Zbl 1394.70010
Wu, Aixuan; Shi, Zhiping; Li, Yongdong; Wu, Minhua; Guan, Yong; Zhang, Jie; Wei, Hongxing
1
2015
The formalization of discrete Fourier transform in HOL. Zbl 1394.68353
Shi, Zhiping; Zhang, Yupeng; Guan, Yong; Li, Liming; Zhang, Jie
1
2015
Multiple parallel cracks in a magnetoelectroelastic strip under in-plane magnetic/electric field and clamping-induced antiplane pre-deformation. Zbl 1344.74039
Li, Yong-Dong; Guan, Yong; Shao, Zhen-Zhou
1
2016
On-demand block-level address mapping in large-scale NAND flash storage systems. Zbl 1360.68404
Chen, Renhai; Qin, Zhiwei; Wang, Yi; Liu, Duo; Shao, Zili; Guan, Yong
1
2015
Delegation of computation with verification outsourcing: curious verifiers. Zbl 1323.68284
Xu, Gang; Amariucai, George; Guan, Yong
1
2013
Formalization of functional variation in HOL Light. Zbl 1423.68427
Zhang, Jingzhi; Wang, Guohui; Shi, Zhiping; Guan, Yong; Li, Yongdong
1
2019
Formalization of camera pose estimation algorithm based on Rodrigues formula. Zbl 1458.68226
Chen, Shanyan; Wang, Guohui; Li, Ximeng; Zhang, Qianying; Shi, Zhiping; Guan, Yong
1
2020
Formalization of camera pose estimation algorithm based on Rodrigues formula. Zbl 1458.68226
Chen, Shanyan; Wang, Guohui; Li, Ximeng; Zhang, Qianying; Shi, Zhiping; Guan, Yong
1
2020
Formalization of geometric algebra in HOL Light. Zbl 1468.68329
Li, Li-Ming; Shi, Zhi-Ping; Guan, Yong; Zhang, Qian-Ying; Li, Yong-Dong
2
2019
Formalization of functional variation in HOL Light. Zbl 1423.68427
Zhang, Jingzhi; Wang, Guohui; Shi, Zhiping; Guan, Yong; Li, Yongdong
1
2019
Formal analysis of the kinematic Jacobian in screw theory. Zbl 1426.70008
Shi, Zhiping; Wu, Aixuan; Yang, Xiumei; Guan, Yong; Li, Yongdong; Song, Xiaoyu
2
2018
Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm. Zbl 1367.65032
Ma, Sha; Shi, Zhiping; Shao, Zhenzhou; Guan, Yong; Li, Liming; Li, Yongdong
4
2016
Multiple parallel cracks in a magnetoelectroelastic strip under in-plane magnetic/electric field and clamping-induced antiplane pre-deformation. Zbl 1344.74039
Li, Yong-Dong; Guan, Yong; Shao, Zhen-Zhou
1
2016
Formal kinematic analysis of a general 6R manipulator using the screw theory. Zbl 1394.70010
Wu, Aixuan; Shi, Zhiping; Li, Yongdong; Wu, Minhua; Guan, Yong; Zhang, Jie; Wei, Hongxing
1
2015
The formalization of discrete Fourier transform in HOL. Zbl 1394.68353
Shi, Zhiping; Zhang, Yupeng; Guan, Yong; Li, Liming; Zhang, Jie
1
2015
On-demand block-level address mapping in large-scale NAND flash storage systems. Zbl 1360.68404
Chen, Renhai; Qin, Zhiwei; Wang, Yi; Liu, Duo; Shao, Zili; Guan, Yong
1
2015
The gauge integral theory in HOL4. Zbl 1268.65033
Shi, Zhiping; Gu, Weiqing; Li, Xiaojuan; Guan, Yong; Ye, Shiwei; Zhang, Jie; Wei, Hongxing
2
2013
Formalization of linear space theory in the higher-order logic proving system. Zbl 1315.03021
Zhang, Jie; Mao, Danwen; Guan, Yong
2
2013
Delegation of computation with verification outsourcing: curious verifiers. Zbl 1323.68284
Xu, Gang; Amariucai, George; Guan, Yong
1
2013
Dependable handling of uncertainty. Zbl 1140.62301
Berleant, Daniel; Cheong, Mei-Peng; Chu, Chris; Guan, Yong; Kamal, Ahmed; Sheblé, Gerald; Ferson, Scott; Peters, James F.
4
2003

Citations by Year