Basic Information
Name: Xianqi Zhao
Institution: Beihang University
Registration: 2014-09-08
Score: 54
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
baa2EMSOFTInternational Conference on Embedded Software 2022-03-312022-05-102022-10-07
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2022-02-272022-04-102022-07-08
aa*a1ICSEInternational Conference on Software Engineering2021-08-272021-11-102022-05-21
ccb1CSLConference on Computer Science Logic2021-07-052021-09-302022-02-14
ShortFull NameSubmissionConference
EMSOFTInternational Conference on Embedded Software 2022-03-312022-10-07
TASEInternational Symposium on Theoretical Aspects of Software Engineering2022-02-272022-07-08
ICSEInternational Conference on Software Engineering2021-08-272022-05-21
CSLConference on Computer Science Logic2021-07-052022-02-14
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
No results found.
Full NameConferenceLocation
No results found.
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
bFormal Methods in System Design0.442Springer0925-9856
cJournal of Symbolic Logic Association for Symbolic Logic0022-4812
cJournal of Logic and Computation0.586Oxford 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.226Springer0934-5043
Full NameImpact FactorPublisher
Formal Methods in System Design0.442Springer
Journal of Symbolic Logic Association for Symbolic Logic
Journal of Logic and Computation0.586Oxford University Press
The Journal of Logic and Algebraic ProgrammingElsevier
Logical Methods in Computer Science Logical Methods in Computer Science
Formal Aspects of Computing1.226Springer
Followed Researchers
NameInstitutionRegistrationScore
Xiaox LeeBeihang University2014-09-29542
Feng ZhangBeihang University2014-08-302275
Dou SunConference Partner2011-02-24113913
NameInstitutionScore
Xiaox LeeBeihang University542
Feng ZhangBeihang University2275
Dou SunConference Partner113913
Tracked Jobs
Job TitleEmployerJob Location
No results found.
Job TitleEmployerJob Location
No results found.
Viewed Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
No results found.
ShortFull NameSubmissionConference
No results found.
Viewed Journals
CCFFull NameImpact FactorPublisherISSN
No results found.
Full NameImpact FactorPublisher
No results found.