基本情報
名前: Xianqi Zhao
機関: Beihang University
登記時間: 2014-09-08
スコア: 54
关注の会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
cab1MFCSInternational Symposium on Mathematical Foundations of Computer Science2024-04-262024-06-242024-08-26
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
baa2EMSOFTInternational Conference on Embedded Software 2024-03-242024-07-142024-09-29
出席の会議
CCFCOREQUALIS省略名完全な名前会議日場所
結果が得られませんでした。
完全な名前会議日場所
結果が得られませんでした。
关注の仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
bFormal Methods in System Design0.700Springer0925-9856
cJournal of Symbolic Logic Association for Symbolic Logic0022-4812
cJournal of Logic and Computation0.700Oxford University Press0955-792X
cThe Journal of Logic and Algebraic ProgrammingElsevier1567-8326
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
bFormal Aspects of Computing1.400ACM0934-5043
完全な名前インパクト ・ ファクター出版社
Formal Methods in System Design0.700Springer
Journal of Symbolic Logic Association for Symbolic Logic
Journal of Logic and Computation0.700Oxford University Press
The Journal of Logic and Algebraic ProgrammingElsevier
Logical Methods in Computer Science Logical Methods in Computer Science
Formal Aspects of Computing1.400ACM
关注の研究員
名前機関登記時間スコア
Xiaox LeeBeihang University2014-09-29542
Feng ZhangBeihang University2014-08-302320
Dou SunConference Partner2011-02-24136084
名前機関スコア
Xiaox LeeBeihang University542
Feng ZhangBeihang University2320
Dou SunConference Partner136084
フォロー中の仕事
役職雇用主勤務地
結果が得られませんでした。
役職雇用主勤務地
結果が得られませんでした。
表示された会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
結果が得られませんでした。
省略名完全な名前提出日会議日
結果が得られませんでした。
閲覧したジャーナル
CCF完全な名前インパクト ・ ファクター出版社ISSN
結果が得られませんでした。
完全な名前インパクト ・ ファクター出版社
結果が得られませんでした。