基本信息
姓名: Jie Luo
科研机构: Beihang University
注册时间: 2018-03-10
活跃度: 454
CV
关注的会议
21-21条,共21条数据.
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
ab1FMInternational Symposium on Formal Methods2024-04-052024-06-032024-09-09
21-21条,共21条数据.
简称全称截稿日期会议日期
FMInternational Symposium on Formal Methods2024-04-052024-09-09
参加的会议
CCFCOREQUALIS简称全称会议日期会议地点
没有找到数据。
全称会议日期会议地点
没有找到数据。
关注的期刊
11-13条,共13条数据.
CCF全称影响因子出版商ISSN
cAnnals of Pure and Applied Logic0.600Elsevier0168-0072
bJournal of Systems and Software4.1Elsevier0164-1212
bIET Software1.500IET1751-8806
11-13条,共13条数据.
全称影响因子出版商
Annals of Pure and Applied Logic0.600Elsevier
Journal of Systems and Software4.1Elsevier
IET Software1.500IET
关注的科研人员
姓名科研机构注册时间Score
没有找到数据。
姓名科研机构Score
没有找到数据。