基本情報
名前: Frank Xu
機関: School of Computer Science and Engineering
登記時間: 2017-10-15
スコア: 2123
关注の会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
NFMNASA Formal Methods Symposium2022-12-092023-02-202023-05-16
cSSSInternational Symposium on Stabilization, Safety, and Security of Distributed Systems2022-08-052022-09-232022-11-15
bb1SEFMInternational Conference on Software Engineering and Formal Methods2022-06-202022-08-072022-09-28
aa*a2ESECEuropean Software Engineering Conference2022-03-102022-06-142022-11-14
bb1iFMInternational Conference on integrated Formal Methods2022-02-112022-03-182022-06-07
cb1SEAAEuromicro Conference on Software Engineering and Advanced Applications2021-04-202021-05-252021-09-01
b2ICSCInternational Conference on Semantic Computing2020-10-122020-11-252021-01-27
bb1KESInternational Conference on Knowledge-Based and Intelligent Information & Engineering Systems2020-05-152020-06-052020-09-16
bb1ARESInternational Conference on Availability, Reliability and Security2020-04-152020-06-032020-08-24
SCSSSScandinavian Conference System and Software Safety2017-11-08 2018-05-21
出席の会議
CCFCOREQUALIS省略名完全な名前会議日場所
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
ab1FMInternational Symposium on Formal Methods2018-07-15Oxford, UK
完全な名前会議日場所
International Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
International Symposium on Formal Methods2018-07-15Oxford, UK
关注の仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
bJournal of Systems and Software3.700Elsevier0164-1212
cIEEE Transactions on Industrial Informatics11.70IEEE1551-3203
aIEEE Transactions on Dependable and Secure Computing7.000IEEE1545-5971
完全な名前インパクト ・ ファクター出版社
Journal of Systems and Software3.700Elsevier
IEEE Transactions on Industrial Informatics11.70IEEE
IEEE Transactions on Dependable and Secure Computing7.000IEEE
关注の研究員
名前機関登記時間スコア
結果が得られませんでした。
名前機関スコア
結果が得られませんでした。
フォロー中の仕事
役職雇用主勤務地
結果が得られませんでした。
役職雇用主勤務地
結果が得られませんでした。
表示された会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
結果が得られませんでした。
省略名完全な名前提出日会議日
結果が得られませんでした。
閲覧したジャーナル
CCF完全な名前インパクト ・ ファクター出版社ISSN
結果が得られませんでした。
完全な名前インパクト ・ ファクター出版社
結果が得られませんでした。