您的位置： 专家智库 > >

林惠民

作品数：29 被引量：344H指数：6
供职机构：中国科学院更多>>
发文基金：国家自然科学基金中国科学院知识创新工程中国科学院院长基金更多>>
相关领域：自动化与计算机技术理学文化科学经济管理更多>>

合作作者

领域

  • 30个自动化与计算...
  • 11个电子电信
  • 11个文化科学
  • 10个理学
  • 8个经济管理
  • 8个机械工程
  • 7个自然科学总论
  • 6个交通运输工程
  • 6个环境科学与工...
  • 6个医药卫生
  • 6个农业科学
  • 6个政治法律
  • 5个生物学
  • 5个天文地球
  • 5个建筑科学
  • 4个金属学及工艺
  • 4个轻工技术与工...
  • 3个哲学宗教
  • 3个化学工程
  • 3个一般工业技术

主题

  • 14个计算机
  • 13个形式化
  • 12个网络
  • 10个英文
  • 9个院士
  • 9个责任感
  • 9个中国工程院院...
  • 8个形式化方法
  • 7个语义
  • 6个代码
  • 6个硬件
  • 5个迭代
  • 5个信息安全
  • 4个递归
  • 4个电路
  • 4个调度
  • 4个形式化验证
  • 4个虚拟化
  • 4个软件开发
  • 3个形式化分析

机构

  • 20个中国科学院软...
  • 7个中国科学院
  • 3个中国工程院
  • 3个中国科学院大...
  • 2个复旦大学
  • 2个南京大学
  • 2个军事医学科学...
  • 2个中国科学院研...
  • 1个贵州大学
  • 1个河北师范大学
  • 1个安徽大学
  • 1个福建师范大学
  • 1个北京大学
  • 1个福州大学
  • 1个第四军医大学
  • 1个湖南大学
  • 1个湖南农业大学
  • 1个南京航空航天...
  • 1个南京师范大学
  • 1个南京铁道医学...

资助

  • 29个国家自然科学...
  • 16个国家高技术研...
  • 16个国家重点基础...
  • 9个国家科技重大...
  • 5个国家科技支撑...
  • 5个中国博士后科...
  • 5个国家杰出青年...
  • 5个中国科学院知...
  • 5个中央高校基本...
  • 4个“九五”国家...
  • 4个国家教育部博...
  • 4个国家重点实验...
  • 4个中国科学院战...
  • 3个北京市自然科...
  • 3个福建省自然科...
  • 3个国家科技攻关...
  • 3个国家软科学研...
  • 3个山东省自然科...
  • 3个上海市自然科...
  • 3个浙江省自然科...

传媒

  • 19个软件学报
  • 9个科学中国人
  • 9个计算机学报
  • 7个计算机研究与...
  • 6个电子学报
  • 6个计算机应用与...
  • 6个中国科学院院...
  • 6个计算机科学
  • 5个计算机应用
  • 5个计算机系统应...
  • 5个计算机工程与...
  • 4个电子与信息学...
  • 4个通信学报
  • 4个科技导报
  • 4个中国教育网络
  • 3个世界科技研究...
  • 3个科学通报
  • 3个物理
  • 3个自然杂志
  • 3个小型微型计算...

地区

  • 24个北京市
  • 2个上海市
  • 1个安徽省
  • 1个湖南省
  • 1个吉林省
  • 1个江苏省
  • 1个山东省
共 31 条 记 录，以下是 1-10
方海
供职机构：中国科学院软件研究所
研究主题：Π-演算 计算机 互模拟 进程代数 传值进程
发表作品相关人物供职机构所获资助研究领域
张文辉
供职机构：中国科学院软件研究所
研究主题：英文 计算机网络资源 字符串 资源定位 中文域名
发表作品相关人物供职机构所获资助研究领域
许文
供职机构：中国科学院软件研究所
研究主题：Π-演算 互模拟 进程代数 计算机 传值进程
发表作品相关人物供职机构所获资助研究领域
刘剑
供职机构：中国科学院软件研究所
研究主题：初始化 ANDROID 漏洞分析 系统代码 传值进程
发表作品相关人物供职机构所获资助研究领域
薛锐
供职机构：中国科学院信息工程研究所
研究主题：安全协议 密码学 密文 密钥交换 串空间模型
发表作品相关人物供职机构所获资助研究领域
管华诗
供职机构：中国海洋大学
研究主题：寡糖 海洋药物 藻酸双酯钠 褐藻胶 抗肿瘤活性
发表作品相关人物供职机构所获资助研究领域
柳欣欣
供职机构：中国科学院软件研究所
研究主题：MODEL FISHER CPS CONTINUATION CANONICAL
发表作品相关人物供职机构所获资助研究领域
庄丽华
供职机构：中国科学院软件研究所
研究主题：移动进程演算 Π-演算 互模拟 递归
发表作品相关人物供职机构所获资助研究领域
王家骐
供职机构：中国科学院长春光学精密机械与物理研究所
研究主题：成像 空间相机 空间光学遥感器 遥感图像 DWT
发表作品相关人物供职机构所获资助研究领域
刘大光
供职机构：中国科学院软件研究所
研究主题：测试用例生成 并发系统 时序逻辑
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共4页<1234>
聚类工具0