基本信息
浏览量:155

个人简介
From Model to Test Case, Formal Verification for Safety-critical system
研究兴趣
论文共 275 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Maria Angelica Freitas-Cortez,Fatemeh Masrorpour,Hong Jiang,Iqbal Mahmud,Yue Lu,Ailing Huang,Lisa K. Duong,Qi Wang,Tiffany A. Voss,Claudia S. Kettlun Leyton,Bo Wei, Wai-Kin Chan, Kevin Lin,Jie Zhang,Efrosini Tsouko,Shonik Ganjoo,Hampartsoum B. Barsoumian,Thomas S. Riad, Yun Hu,Carola Leuschner,Nahum Puebla-Osorio,Jing Wang, Jian Hu,Michael A. Davies, Vinay K. Puduvalli,Cyrielle Billon, Thomas P. Burris,Philip L. Lorenzi,Boyi Gan,James W. Welsh
Molecular Cancerno. 1 (2025): 1-26
Iqbal Mahmud,Bo Wei,Lucas Veillon,Lin Tan, Sara Martinez, Bao Tran,Alexander Raskind,Felice de Jong, Yiwei Liu, Jibin Ding, Yun Xiong, Wai-kin Chan,Rehan Akbani, John N. Weinstein,Chris Beecher,Philip L. Lorenzi
Nature Communicationsno. 1 (2025): 1-14
Science China Information Sciencesno. 4 (2025): 1-10
AIP ADVANCESno. 4 (2024)
Research square (2024)
Journal of Physics Conference Seriesno. 1 (2024)
Biomedicine & Pharmacotherapy (2024): 116819-116819
Acta Physica Sinicano. 13 (2024): 137502-137502
Fei-Fei Yang,Jing-Jing Liu,Xue-Li Xu,Ting Hu,Jian-Quan Liu,Zhang-Xu He, Guang-Yuan Zhao,Bo Wei,Li-Ying Ma
Journal of Medicinal Chemistryno. 16 (2024): 14345-14369
加载更多
作者统计
#Papers: 275
#Citation: 4432
H-Index: 29
G-Index: 59
Sociability: 7
Diversity: 4
Activity: 70
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn