基本信息
浏览量:30
职业迁徙
个人简介
贾仰理, CCF、ACM会员,主要研究方向为形式化方法与技术、高可信软件理论与技术。在《计算机研究与发展》、《计算机科学》、APTC、ECSESS等学术刊物和国际学术会议发表论文30余篇。担任的ICSCA 2012 ,ICCCV 2012等多个国际会议的Technical Chair和《计算机科学》等国内外期刊的审稿人。
参与课题:国家自然科学基金重点项目“面向性质的可信软件建模与时序性质验证及支持工具(编号90718017)”、教育部博士点基金“基于模型检验方法的缓冲区溢出漏洞自动检测技术(编号20070006055)”、国家密码发展基金 “‘十一五’大型实用安全协议形式化分析方法及支持工具(编号200706039)”及军口863、中国人民解放军总装备部武器预研基金、115科研基金及中国信息安全产品测评中心等涉密课题。
目前承担山东省自然科学基金,山东省软科学和山东省经信委等多项课题。
研究兴趣
论文共 56 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
IEEE transactions on reliabilityno. 1 (2024): 650-663
ICCPR '23 Proceedings of the 2023 12th International Conference on Computing and Pattern Recognitionpp.491-495, (2024)
crossref(2024)
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICSno. 2 (2024): 2444-2454
International Journal of Production Researchpp.1-24, (2024)
IEEE Access (2023): 45761-45773
CMC-COMPUTERS MATERIALS & CONTINUAno. 1 (2023): 97-114
JOURNAL OF INFORMATION SCIENCEno. 4 (2023): 855-870
International journal of industrial engineering computationsno. 4 (2023): 767-784
加载更多
作者统计
#Papers: 56
#Citation: 118
H-Index: 5
G-Index: 9
Sociability: 4
Diversity: 2
Activity: 2
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn