基本情報
名前: 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
結果が得られませんでした。
完全な名前インパクト ・ ファクター出版社
結果が得られませんでした。
关注の研究員
名前機関登記時間スコア
結果が得られませんでした。
名前機関スコア
結果が得られませんでした。