• 2019-07-18计算复杂性问题
• 2019-07-18量子程序终止性算法分析
• 2019-07-18基于自动机的程序终止性检验
• 2019-07-18Android 堆栈机模型
• 2019-07-18大规模分布式系统的失效恢复缺陷分析与检测
• 2019-07-18带边缘感知的改进的纹理滤波
• 2019-07-17实时自动机的不透明性
• 2019-07-17密钥封装机制的抗量子安全性设计理论
• 2019-07-17学习数据和概率分布的等价性及其应用
• 2019-07-17大规模Partial MaxSAT问题的高效求解
• 2019-07-17笔式人机交互关键技术及应用
• 2019-07-17主持我国SM2和SM9数字签名算法写入ISO/IEC 14888-3标准正文正式发布