基本信息
浏览量:192
职业迁徙
个人简介
专业领域
计算机科学与技术;软件理论与方法;形式化方法;高可信/安全攸关软件
研究方向
软件建模、分析、设计、证明与验证的相关理论、技术和工具;物联网、信息物理融合系统、智慧城市、数据中心等系统与应用软件相关的模型驱动软件设计理论、方法,及基于构件与系统之系统体系结构的分析验证。
应用领域
工作流管理、健康医疗、环境管理、自然灾害危险管理、设计自动化、工业自动化等领域的基于网络的复杂系统的软件支持。
研究兴趣
论文共 401 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING (2024): 100921-100921
IEEE Trans. Knowl. Data Eng.no. 4 (2024): 1683-1697
Hao Cheng, Hao Liu,Chao Huang, Jialu Xu,Haoran Tian, Jikun Yang,Ping Wang,Jingju Cai,Min Cheng,Zhiming Liu
SEPARATION AND PURIFICATION TECHNOLOGY (2024): 125311-125311
EXPERT SYSTEMS WITH APPLICATIONS (2024): 122596-122596
SCIENCE OF THE TOTAL ENVIRONMENT (2024): 167219-167219
J. Syst. Archit. (2023): 102922-102922
引用0浏览0EI引用
0
0
FORESTSno. 9 (2023)
引用0浏览0引用
0
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn