选定出版物：
- 利用评价同态计算对数部分（与H.Du、Y.Gao和J.Guo一起）。在2023年符号和代数计算国际研讨会论文集，第242-250页，ACM出版社，2023年
- 对数塔及其上的加法分解（与H.Du、J.Guo和E.Wong一起）。在2020年符号和代数计算国际研讨会论文集第146-153页，ACM出版社，2020年
- D-有限系统的表观奇异性（与S.Chen、M.Kauers和Y.Zhang一起）。在符号计算杂志, 95:217-237, 2019.
- 本原扩张中的加法分解（与S.Chen和H.Du一起）。在2018年会议记录符号与代数国际研讨会计算，第135-142页，美国机械工程师协会出版社，2018
- 改良Abramov-Petkovsek约化的q模拟（与H.Du和H.Huang一起）。《计算机代数进展》，为纪念谢尔盖·阿布拉莫夫70岁生日，C.Schneider，E.Zima编辑，《Springer Proceedings in Mathematics and Statistics》226105-1292018年。
- 混合超几何项望远镜的存在性（与S.Chen、F.Chyzak、R.Feng和G.Fu一起）。符号计算杂志，68:1-26，2015
- 超几何项的修正Abramov-Petkovsek约化和创造性伸缩（与S.Chen、H.Huang和M.Kauers一起）。在2015年会议记录符号与代数国际研讨会计算第117-124页，ACM出版社，2015年
- 平行伸缩和参数化Picard-Vessiot理论（与S.Chen、R.Feng和M.F.Singer合作）。在2014年会议记录符号与代数国际研讨会计算，第99-106页，ACM出版社，2014年
- 超指数函数的Hermite约简和创造性伸缩（与A.Bostan、S.Chen、F.Chyzak和G.Xin合著）。在2013年会议记录符号与代数国际研讨会计算，第77-84页，ACM出版社，2013年
- 将线性函数系统转化为完全可积系统（与吴先生）。符号计算杂志，47:711-732，2012
- 线性常微分算子公共左倍数的快速计算（与A.Bostan、F.Chyzak和B.Salvy一起）。在2012年会议记录符号与代数国际研讨会计算，第99-106页，ACM出版社，2012年
- 关于相容有理函数的结构（与S.Chen、G.Fu和R.Feng一起）。在2011年会议记录符号与代数国际研讨会计算，第91-98页，ACM出版社，2011年
- 关于非线性控制理论中Kahler微分和常微分的几点注记（与G.Fu、M.Halas和U.Kotta一起）。在系统和控制信函第60卷，第699-703页，2011年
- 二元有理函数创造性伸缩的复杂性（与A.Bostan、S.Chen和F.Chyzak合著）。在2010年会议记录符号与代数国际研讨会计算，第203-210页，ACM出版社，2010年
- 淹没有理差分系统及其可达性（与M.Halas、U.Kotta、H.Wang和C.Yuan一起）。在2009年会议记录符号与代数国际研讨会计算，第175-182页，ACM出版社，2009年
- 超指数元素的线性相关性测试（吴先生和郑博士）。计算机代数中的ACM通信，41(1), 3-11, 2007.
- 确定Laurent-More模一维子模的递归方法（与M.F.Singer、M.Wu和D.Zheng）。在2006年会议记录符号与代数国际研讨会计算第220-227页，ACM出版社，2006年
- 单变量计算机代数中的Ore多项式环（与S.Abramov和H.Le）。数学科学杂志，131(5), 5885-5903, 2005.
- Picard-Vessiot扩展对于线性函数系统（与M.Bronstein和M.Wu）。在2005年会议记录符号与代数国际研讨会计算，第68-75页，ACM出版社，2005年
- 微分有理范式及其约简算法对于超指数函数（与K.Geddes和H.Le合著）。在会议记录2004符号与代数国际研讨会计算，第183-190页，ACM出版社，2004
- 正交有限秩理想的超指数解矿石环（与G.Labahn一起）。在2004年会议记录符号与代数国际研讨会计算，第213-220页，ACM出版社，2004
- 具有有限维解空间的线性偏微分方程因子分解系统（与F.Schwarz和S.Tsarev合作）。象征杂志计算。36（3-4），第443-471页，2003年。
- 线性偏微分算子的分解零维理想（与F.Schwarz和S.Tsarev合作）。在2002年会议记录符号与代数国际研讨会计算，第168-175页，ACM出版社，2002年
- 合理的解决方案类Riccati偏微分方程（与F.Schwarz合著）。符号计算杂志，31（6）：691-716，2001
- Ore多项式的次结式理论及其应用。在会议记录1998年符号与代数国际研讨会计算第132-139页，ACM出版社，1998年。
- 计算最大公权力的模块化算法Ore多项式的除数（与I.Nemes一起）。在会议记录1997符号与代数国际研讨会计算第282-289页，ACM出版社，1997年。
- 寻找团结的根源积分多项式根的商之间（带有K.Yokoyama和I.Nemes）。在1995年会议记录符号与代数国际研讨会计算，第85-89页，ACM出版社，1995年。
- 机械曲面局部理论的定理证明.的年鉴人工智能, 13, 25-46, 1995.
|
