□	一种新型形式化验证方法——理论与工具 [学位论文, 2019-04]

□	基于证件照的人脸比对方法研究 [研究报告, 2019-02]

□	面向相似性比较的图像特征学习和表示 [研究报告, 2019-02]

□	椭圆曲线密码体制的故障攻击方法研究 [学位论文, 2019-01]

□	基于联盟链的数字版权登记系统的设计与实现 [学位论文, 2019-01]

□	分批次主动学习方法研究 [学位论文, 2019-01]

□	使用增量Voronoi点集的实时点画 [学位论文, 2019-01]

□	一种基于图像结构特征的实时点画生成算法 [会议论文, 2019-01]

□	基于增量Voronoi 序列的即时彩色点画算法 [会议论文, 2019-01]

□	Instant Stippling on 3D Scenes [期刊论文, 2019-01]