您的位置： 专家智库 > >

李文明

作品数：6 被引量：12H指数：2
供职机构：南京航空航天大学更多>>
发文基金：国家自然科学基金中国博士后科学基金江苏省博士后科研资助计划项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 4个自动化与计算...
  • 3个电子电信
  • 2个经济管理
  • 2个机械工程
  • 2个文化科学
  • 2个理学
  • 1个电气工程
  • 1个建筑科学
  • 1个交通运输工程
  • 1个航空宇航科学...
  • 1个一般工业技术
  • 1个自然科学总论

主题

  • 4个形式化
  • 3个代码
  • 3个对象技术
  • 3个形式化方法
  • 3个形式化验证
  • 2个代码段
  • 2个代码生成
  • 2个调度
  • 2个定理
  • 2个定理证明
  • 1个代理
  • 1个代理模型
  • 1个代码分析
  • 1个代码复用
  • 1个代码结构
  • 1个代码库
  • 1个代码模式
  • 1个代码数据库
  • 1个代码信息
  • 1个代码转换

机构

  • 4个南京航空航天...
  • 1个东南大学
  • 1个天津工业大学
  • 1个南京航空学院

资助

  • 4个国家自然科学...
  • 4个中国博士后科...
  • 4个江苏省博士后...
  • 3个国家高技术研...
  • 3个国家重点基础...
  • 3个教育部留学回...
  • 3个中央高校基本...
  • 2个江苏省自然科...
  • 2个中央级公益性...
  • 2个国家重点实验...
  • 2个江苏省普通高...
  • 1个安徽省自然科...
  • 1个湖南省自然科...
  • 1个上海市高校选...
  • 1个湖南省教育厅...
  • 1个宁波市自然科...
  • 1个南京信息工程...
  • 1个安徽省高校省...
  • 1个电子信息产业...
  • 1个国家教育部博...

传媒

  • 4个小型微型计算...
  • 3个计算机学报
  • 3个计算机应用研...
  • 3个计算机工程与...
  • 3个计算机与数字...
  • 3个计算机与现代...
  • 3个计算机科学
  • 3个计算机技术与...
  • 3个第十一届全国...
  • 2个计算机集成制...
  • 2个计算机研究与...
  • 2个计算机工程与...
  • 2个计算机工程
  • 2个软件学报
  • 2个计算机系统应...
  • 2个四川大学学报...
  • 2个解放军理工大...
  • 1个系统工程与电...
  • 1个电子科技
  • 1个中国科学技术...

地区

  • 4个江苏省
共 4 条 记 录，以下是 1-4
陈哲
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：源代码 抽象语法树 插桩 内存 词法分析
发表作品相关人物供职机构所获资助研究领域
黄志球
供职机构：南京航空航天大学
研究主题：WEB服务 抽象语法树 隐私 代码 本体
发表作品相关人物供职机构所获资助研究领域
李绪蓉
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：构件库 资源池 云计算 信息集成 并行工程
发表作品相关人物供职机构所获资助研究领域
马银雪
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：路由协议 SPIN 形式化方法 自动化验证 C程序
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0