李康杰
作品数： 4被引量：6H指数：2
  • 所属机构:南京大学计算机科学与技术系
  • 所在地区:江苏省 南京市
  • 研究方向:自动化与计算机技术
  • 发文基金:江苏省高校自然科学研究项目

相关作者

钱振江
作品数：87被引量：122H指数：5
供职机构：常熟理工学院
研究主题：操作系统 形式化验证 形式化设计 定理证明 形式化
宋方敏
作品数：53被引量：118H指数：6
供职机构：南京大学计算机科学与技术系
研究主题：量子计算 形式化设计 公理集合论 操作系统 量子算法
黄皓
作品数：215被引量：1,268H指数：19
供职机构：南京大学
研究主题：入侵检测 网络安全 访问控制 操作系统 计算机网络
唐洪英
作品数：3被引量：4H指数：1
供职机构：南京大学
研究主题：微内核架构 形式化设计 形式化 ISABELLE HOL
作品列表