您的位置： 专家智库 > >

屈婉玲

作品数：23 被引量：148H指数：4
供职机构：北京大学信息科学技术学院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术理学文化科学电子电信更多>>

合作作者

领域

  • 16个自动化与计算...
  • 8个理学
  • 7个文化科学
  • 4个电子电信
  • 3个经济管理
  • 3个医药卫生
  • 1个哲学宗教
  • 1个生物学
  • 1个天文地球
  • 1个电气工程
  • 1个交通运输工程
  • 1个军事
  • 1个语言文字
  • 1个文学

主题

  • 7个形式化
  • 7个网络
  • 7个工作流
  • 6个形式化方法
  • 6个语义
  • 6个课程
  • 5个面向对象
  • 4个英文
  • 4个软件工程
  • 4个软件开发
  • 4个同步网
  • 3个虚拟主干网
  • 3个有色
  • 3个支配
  • 3个软件设计
  • 3个全图
  • 3个人工智能
  • 3个主干网
  • 3个向量
  • 3个连接器

机构

  • 15个北京大学
  • 7个教育部
  • 1个北京林业大学
  • 1个电子科技大学
  • 1个华东师范大学
  • 1个解放军理工大...
  • 1个青岛大学
  • 1个天津工业大学
  • 1个武汉大学
  • 1个中国科学院
  • 1个徐州工程学院
  • 1个中国科学院数...
  • 1个华为技术有限...

资助

  • 13个国家自然科学...
  • 12个国家重点基础...
  • 11个国家高技术研...
  • 4个国家教育部博...
  • 2个国家科技攻关...
  • 2个博士科研启动...
  • 2个中央高校基本...
  • 1个甘肃省自然科...
  • 1个高等学校骨干...
  • 1个湖北省自然科...
  • 1个教育部留学回...
  • 1个四川省科技攻...
  • 1个四川省应用基...
  • 1个中国博士后科...
  • 1个云南省应用基...
  • 1个天津市自然科...
  • 1个天津市科技支...
  • 1个四川省科技支...
  • 1个高等学校学科...
  • 1个高等学校科技...

传媒

  • 10个计算机研究与...
  • 9个北京大学学报...
  • 8个系统仿真学报
  • 8个计算机科学
  • 6个计算机工程与...
  • 6个软件学报
  • 6个2006年全...
  • 6个2007全国...
  • 5个中国大学教学
  • 5个计算机学报
  • 4个南京大学学报...
  • 3个计算机教育
  • 3个2005年全...
  • 3个第九届全国P...
  • 2个科学通报
  • 2个电子学报
  • 2个武汉大学学报...
  • 2个计算机工程
  • 2个计算机应用与...
  • 2个广西师范大学...

地区

  • 12个北京市
  • 1个湖北省
  • 1个湖南省
  • 1个江苏省
  • 1个四川省
  • 1个天津市
共 17 条 记 录，以下是 1-10
袁崇义
供职机构：北京大学信息科学技术学院软件研究所
研究主题：PETRI网 工作流 英文 UNINET 计算机网络
发表作品相关人物供职机构所获资助研究领域
王捍贫
供职机构：北京大学
研究主题：保持性 模型论 Q 形式化方法 MARTE
发表作品相关人物供职机构所获资助研究领域
霍金健
供职机构：北京大学信息科学技术学院
研究主题：PETRI网 库所 有色 因果 PNML
发表作品相关人物供职机构所获资助研究领域
徐春香
供职机构：教育部
研究主题：WEB服务组合 同步网 BPEL IC WS-BPEL
发表作品相关人物供职机构所获资助研究领域
余鹏
供职机构：北京大学
研究主题：PETRI网 工作流模式 工作流 UNINET 连接器
发表作品相关人物供职机构所获资助研究领域
周国富
供职机构：武汉大学计算机学院
研究主题：PETRI网 UNINET UNITY 人工智能技术 人工智能
发表作品相关人物供职机构所获资助研究领域
朱嘉奇
供职机构：北京大学
研究主题：时段演算 CTL MAXIMUM LOWER_BOUND KRIPKE结构
发表作品相关人物供职机构所获资助研究领域
黄雨
供职机构：北京大学
研究主题：计算机设备 PETRI网 存储介质 数据包 控制方法
发表作品相关人物供职机构所获资助研究领域
张乃孝
供职机构：北京大学数学科学学院
研究主题：程序设计语言 程序语言 程序设计 数据结构 语言
发表作品相关人物供职机构所获资助研究领域
梁爱丽
供职机构：北京大学信息科学技术学院软件研究所
研究主题：CTL 时段演算 KRIPKE结构 NP完全问题 逻辑运算符
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0