Conference Partner » 研究員: Xianqi Zhao
基本情報
名前: Xianqi Zhao
機関: Beihang University
登記時間: 2014-09-08
スコア: 54
CV
关注の会議
合計 14 件。
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
baa2EMSOFTInternational Conference on Embedded Software 2026-03-232026-07-172026-10-04
aa*a2LICSIEEE Symposium on Logic in Computer Science2026-01-152026-04-162026-07-20
cab2ICSTInternational Conference on Software Testing, Verification and Validation2025-12-152026-02-202026-05-18
ab1FMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
caa2STACSInternational Symposium on Theoretical Aspects of Computer Science2025-09-252025-12-122026-03-10
ccb1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
aa*a1ICSEInternational Conference on Software Engineering2025-07-112025-10-172026-04-12
cbb1FSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2025-07-042025-09-152025-12-17
cb1ICFEMInternational Conference on Formal Engineering Methods2025-05-252025-08-012025-11-10
cbb3LOPSTRInternational Symposium on Logic-Based Program Synthesis and Transformation2025-05-092025-06-272025-09-09
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2025-04-252025-07-042025-10-27
cb1FMCADFormal Methods in Computer-Aided Design2025-04-202025-07-012025-10-06
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
cab1MFCSInternational Symposium on Mathematical Foundations of Computer Science2024-04-262024-06-242024-08-26
出席の会議
CCFCOREQUALIS省略名完全な名前会議日場所
結果が得られませんでした。
关注の仕訳帳
合計 6 件。
CCF完全な名前インパクト ・ ファクター出版社ISSN
bFormal Methods in System Design0.700Springer0925-9856
cJournal of Symbolic LogicAssociation 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 ScienceLogical Methods in Computer Science1860-5974
bFormal Aspects of Computing1.400ACM0934-5043
关注の研究員
合計 3 件。
名前機関登記時間Score
Xiaox LeeBeihang University2014-09-29542
Feng ZhangBeihang University2014-08-302320
Dou SunConference Partner2011-02-24150269

サプライズ