基本信息
姓名: Luca Di Stefano
科研机构: Gran Sasso Science Institute
注册时间: 2019-02-08
活跃度: 46
关注的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
baa1ICALPInternational Colloquium on Automata, Languages and Programming2020-02-122020-04-152020-07-08
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2020-01-152020-04-192020-07-11
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2019-04-262019-06-162019-10-28
bb1FMInternational Symposium on Formal Methods2019-03-282019-06-112019-10-07
aALIFEConference on Artificial Life2019-03-082019-04-242019-07-29
简称全称截稿日期会议日期
ICALPInternational Colloquium on Automata, Languages and Programming2020-02-122020-07-08
IJCAIInternational Joint Conference on Artificial Intelligence2020-01-152020-07-11
ATVAInternational Symposium on Automated Technology for Verification and Analysis2019-04-262019-10-28
FMInternational Symposium on Formal Methods2019-03-282019-10-07
ALIFEConference on Artificial Life2019-03-082019-07-29
参加的会议
CCFCOREQUALIS简称全称会议日期会议地点
bb1SEFMInternational Conference on Software Engineering and Formal Methods2018-06-27Toulouse, France
全称会议日期会议地点
International Conference on Software Engineering and Formal Methods2018-06-27Toulouse, France
关注的期刊
CCF全称影响因子出版商ISSN
没有找到数据.
全称影响因子出版商
没有找到数据.
关注的科研人员
姓名科研机构注册时间活跃度
没有找到数据.
姓名科研机构活跃度
没有找到数据.