位置：立项数据库 > 立项详情页
计算机科学技术的基础理论
  • 项目名称：计算机科学技术的基础理论
  • 项目类别：国家杰出青年科学基金
  • 批准号：60725207
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：苏开乐
  • 依托单位：北京大学
  • 批准年度：2007
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 7
  • 0
  • 0
  • 0
  • 0
期刊论文
基于BDD的增量启发式搜索
有界模型检测的优化
一种基于认知模型检测的Web服务组合验证方法
有界模型检测和串空间模型相结合的安全协议验证
一种求解认知难题的模型检测方法
一个高效犅犇犇的简洁实现
实例化空间逻辑下的SET支付协议验证及改进
苏开乐的项目
数值计算的算法基础研究
计算机科学的数学基础
期刊论文 1
科学计算的算法基础研究