基本信息
浏览量:126
职业迁徙
个人简介
中国计算机学会多值逻辑与模糊逻辑专委会副主任委员、中国电子学会云计算专家委员会委员、中国计算学会软件工程专委会委员,Frontiers of Computer Science杂志的理论计算科学领域编委。陈仪香教授是3个国际系列学术会议(ISDT,FICS,QL&QS)合作创始者。陈仪香教授主要研究领域为软件工程基础研究,包括软件形式化方法、程序设计语言语义理论、可信软件基础理论和混成系统。已主持多项包括863、973研究计划在内国家级科研项目和省市科研项目。完成并出版国家自然科学基金研究成果专著《形式语义的稳定论域理论》,与别人合作编辑出版国际学术会议论文集3部。陈仪香教授在《Theoretical Computer Science 》、《Information Science 》、《Fuzzy Sets and Systems》以及《Lecture Notes in Computer Science》等国内外重要学术期刊上发表学术论文70余篇。目前正在主持973计划《物联网基础理论和设计方法研究》项目中课题《软件物化理论研究 》(2011CB302802)。
研究兴趣
论文共 173 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Han Liu,Jian Zhang,Cen Zhang,Xiaohan Zhang, Kaixuan Li,Sen Chen,Shang-Wei Lin,Yixiang Chen, Xinhua Li,Yang Liu
arxiv(2024)
引用0浏览0引用
0
0
arxiv(2024)
引用0浏览0引用
0
0
Communications in computer and information sciencepp.61-74, (2023)
引用0浏览0引用
0
0
Jianxun Wang,Yixiang Chen
2023 IEEE International Conference on Medical Artificial Intelligence (MedAI)pp.284-289, (2023)
Inf. Comput. (2023): 105033-105033
引用0浏览0EI引用
0
0
PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023 (2023): 285-297
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn