基本信息
姓名: Luca Di Stefano
科研机构: Gran Sasso Science Institute
注册时间: 2019-02-08
活跃度: 46
关注的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2024-04-192024-06-192024-10-21
ab1FMInternational Symposium on Formal Methods2024-04-052024-06-032024-09-09
baa1ICALPInternational Colloquium on Automata, Languages and Programming2024-02-142024-04-142024-07-08
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2024-01-172024-04-162024-08-03
aALIFEConference on Artificial Life2019-03-082019-04-242019-07-29
简称全称截稿日期会议日期
ATVAInternational Symposium on Automated Technology for Verification and Analysis2024-04-192024-10-21
FMInternational Symposium on Formal Methods2024-04-052024-09-09
ICALPInternational Colloquium on Automata, Languages and Programming2024-02-142024-07-08
IJCAIInternational Joint Conference on Artificial Intelligence2024-01-172024-08-03
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
没有找到数据.
全称影响因子出版商
没有找到数据.
关注的科研人员
姓名科研机构注册时间活跃度
没有找到数据.
姓名科研机构活跃度
没有找到数据.
关注的职位
职位名称雇主职位地点
没有找到数据.
职位名称雇主职位地点
没有找到数据.
浏览的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
没有找到数据.
简称全称截稿日期会议日期
没有找到数据.
浏览的期刊
CCF全称影响因子出版商ISSN
没有找到数据.
全称影响因子出版商
没有找到数据.