기본 정보
이름: Xianqi Zhao
소속 기관: Beihang University
가입일: 2014-09-08
점수: 54
이력서
팔로우한 학회
모두 14 개
CCFICOREQUALIS약칭정식 명칭투고 마감통보일개최일
AA*A1ICSEInternational Conference on Software Engineering2026-06-232026-10-202027-04-25
CB1ICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
CB3LOPSTRInternational Symposium on Logic-Based Program Synthesis and Transformation2026-05-302026-06-262026-08-24
BA2EMSOFTInternational 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
CB1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
CB1FSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2025-07-042025-09-152025-12-17
CB1ATVAInternational Symposium on Automated Technology for Verification and Analysis2025-04-252025-07-042025-10-27
BB1FMCADFormal Methods in Computer-Aided Design2025-04-202025-07-012025-10-06
CB3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
CB1MFCSInternational Symposium on Mathematical Foundations of Computer Science2024-04-262024-06-242024-08-26
참가한 학회
CCFICOREQUALIS약칭정식 명칭개최일개최지
결과가 없습니다.
팔로우한 저널
모두 6 개
CCF정식 명칭영향력 지수출판사ISSN
BFormal Methods in System Design0.8Springer0925-9856
CThe Journal of Symbolic LogicCambridge University Press0022-4812
CJournal of Logic and Computation0.7Oxford University Press0955-792X
The Journal of Logic and Algebraic ProgrammingElsevier1567-8326
CLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
BFormal Aspects of Computing1.4ACM0934-5043
팔로우한 연구자
모두 3 개
이름소속 기관가입일점수
Xiaox LeeBeihang University2014-09-29542
Feng ZhangBeihang University2014-08-302320
Dou SunConference Partner2011-02-24156806

광고