基本信息
浏览量:447

个人简介
科研项目
基本科研业务费:面向信息-物理系统的设计及验证,2012-03-21--2015-03-20,8.0万元,参加
校科技基金:嵌入式系统的可重构体系结构及其设计方法学的研究,2007-12-01--2010-12-30,2.0万元,主持
校科技基金:可重构系统的几个关键问题及其基于SAT的解决方法,2008-01-01--2010-12-31,2.0万元,主持
国家自然科学基金“面上”:RTL电路的混合可满足性求解和模型检验,2007-01-01--2009-12-30,25.0万元,主持
国家自然科学基金“面上”:面向RT级电路的分级模型判别技术,2003-01-01-2005-12-30, 25.0万
基本科研业务费:面向信息-物理系统的设计及验证,2012-03-21--2015-03-20,8.0万元,参加
校科技基金:嵌入式系统的可重构体系结构及其设计方法学的研究,2007-12-01--2010-12-30,2.0万元,主持
校科技基金:可重构系统的几个关键问题及其基于SAT的解决方法,2008-01-01--2010-12-31,2.0万元,主持
国家自然科学基金“面上”:RTL电路的混合可满足性求解和模型检验,2007-01-01--2009-12-30,25.0万元,主持
国家自然科学基金“面上”:面向RT级电路的分级模型判别技术,2003-01-01-2005-12-30, 25.0万
研究兴趣
论文共 163 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
IEEE TRANSACTIONS ON MOBILE COMPUTINGno. 3 (2025): 2151-2165
crossref(2025)
IEEE Transactions on Automatic Controlno. 99 (2024): 1-8
INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMSno. 9 (2023): 3006-3021
SSRN Electronic Journal (2022)
2022 4th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC)pp.1-5, (2022)
ICNSCpp.1-6, (2021)
ICNSCpp.1-6, (2021)
加载更多
作者统计
#Papers: 164
#Citation: 2681
H-Index: 25
G-Index: 48
Sociability: 5
Diversity: 4
Activity: 0
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn