科研进展 更多>>
- 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-15计算机科学基础理论与形式化方法
- 2019-07-15软件系统原理及开发方法
- 2019-07-15图形图像与人机交互
- 2019-07-15并行与分布计算及可信计算
- 2019-07-12大数据及智能信息处理
学术论文 更多>>
- 2021-01-13TR 2019-2020
- 2019-08-19TR 2018
- 2019-07-19TR 2017
- 2019-07-19Conference 2018
- 2019-07-19Conference 2017
- 2019-07-19Journal 2018
- 2019-07-19Journal 2017
- 2019-07-14Journal 2016
- 2019-07-14Journal 2015
- 2019-07-14Journal 2014
会议论文 更多>>
- 2019-07-19Conference 2018
- 2019-07-19Conference 2017
- 2019-07-14Conference 2016
- 2019-07-14Conference 2015
- 2019-07-14Conference 2014
- 2019-07-14Conference 2013
- 2019-07-14Conference 2012
- 2019-07-14Conference 2011
- 2019-07-14Conference 2010
- 2019-07-14Conference 2009
期刊论文 更多>>
- 2019-07-19Journal 2018
- 2019-07-19Journal 2017
- 2019-07-14Journal 2016
- 2019-07-14Journal 2015
- 2019-07-14Journal 2014
- 2019-07-14Journal 2013
- 2019-07-14Journal 2012
- 2019-07-14Journal 2011
- 2019-07-14Journal 2010
- 2019-07-14Journal 2009