公共文化服务平台

2025年4月28日星期一

|

欢迎来到青海省图书馆•公共文化服务平台

登录 | 注册 | 进入后台

[APP下载]

[APP下载]

扫一扫,既下载

全民阅读
职业技能
专家智库
参考咨询

您的位置： 专家智库 > >

史建琦: 作品数：151 被引量：8H指数：2; 供职机构：华东师范大学更多>>; 相关领域：自动化与计算机技术文化科学交通运输工程更多>>

合作作者

黄滟鸿华东师范大学
李昂华东师范大学
何积丰华东师范大学
郭欣华东师范大学
熊家文华东师范大学

作品列表
供职机构
相关作者
所获基金
研究领域

领域

31个自动化与计算...
23个文化科学
14个经济管理
9个电子电信
9个医药卫生
6个政治法律
6个语言文字
6个理学
5个哲学宗教
5个天文地球
5个建筑科学
5个交通运输工程
5个环境科学与工...
5个艺术
4个机械工程
4个历史地理
3个生物学
3个金属学及工艺
3个农业科学
3个一般工业技术

主题

21个网络
17个形式化
14个形式化验证
11个代码
10个调度
9个电器
9个信号
9个形式化验证方...
9个通信
8个语言
8个软件系统
7个映射
6个隐私
5个代数
5个多通道
4个代码段
4个刀具
4个等价
4个等价类
4个递归

机构

36个华东师范大学
2个北京大学
1个南京大学
1个湖州师范学院
1个北京工业大学
1个上海交通大学
1个深圳大学
1个浙江师范大学
1个江苏理工大学
1个中国科学院数...
1个中国科学院研...
1个联合国大学
1个英国诺丁汉大...

资助

14个国家自然科学...
6个国家重点基础...
6个上海市自然科...
3个国家高技术研...
3个中国博士后科...
3个上海市科学技...
2个国家教育部博...
2个上海市“科技...
2个上海市教育委...
2个上海市教育委...
2个上海市科委科...
2个中央高校基本...
1个国防基础科研...
1个国家社会科学...
1个江苏省自然科...
1个教育部科学技...
1个上海市科技兴...
1个国家教育部“...
1个国家杰出青年...
1个国家科技重大...

传媒

10个软件学报
5个华东师范大学...
4个计算机工程
4个计算机应用与...
4个计算机应用
3个计算机科学
3个第十一届全国...
2个理论观察
2个计算机与网络
2个计算机研究与...
2个计算机应用研...
2个计算机工程与...
2个环境监测管理...
2个计算机教育
2个航空工程进展
2个中国科学：信...
2个2015第十...
2个第八届全国体...
1个黑龙江科技信...
1个内蒙古科技与...

地区

36个上海市
1个广东省

共 37 条记录，以下是 1-10

全选清除导出

黄滟鸿: 供职机构：华东师范大学; 研究主题：目标代码反汇编形式化验证 L模型控制流图; 发表作品相关人物供职机构所获资助研究领域

李昂: 供职机构：华东师范大学; 研究主题：目标代码反汇编控制流图自适应程序模型; 发表作品相关人物供职机构所获资助研究领域

何积丰: 供职机构：华东师范大学; 研究主题：目标代码反汇编高级语言控制流图自适应; 发表作品相关人物供职机构所获资助研究领域

郭欣: 供职机构：华东师范大学; 研究主题：形式化验证机载软件规约形式化描述目标代码; 发表作品相关人物供职机构所获资助研究领域

熊家文: 供职机构：华东师范大学; 研究主题：反汇编目标代码程序模型封装格式翻译; 发表作品相关人物供职机构所获资助研究领域

杨洋: 供职机构：华东师范大学; 研究主题：机载软件目标代码源代码分子动力学下肢; 发表作品相关人物供职机构所获资助研究领域

李钦: 供职机构：华东师范大学; 研究主题：安全性质 EVENT-B 形式化验证形式化建模建模语言; 发表作品相关人物供职机构所获资助研究领域

李新: 供职机构：华东师范大学; 研究主题：层次化形式化验证方法形式化验证交互行为集中式控制; 发表作品相关人物供职机构所获资助研究领域

陈铭松: 供职机构：华东师范大学; 研究主题：物联网云计算规约语言描述信物; 发表作品相关人物供职机构所获资助研究领域

曹桂涛: 供职机构：华东师范大学; 研究主题：规约形式化验证形式化描述计算机辅助诊断数学; 发表作品相关人物供职机构所获资助研究领域

全选清除导出

共4页<1 2 3 4>

执行隐藏清空

用户登录

用户反馈

标题：

*标题长度不超过50

邮箱：

*

反馈意见：

反馈意见字数长度不超过255

验证码：

看不清楚？点击换一张