Basic Information
Name: Xianqi Zhao
Institution: ACT of Beihang University
Registration: 2014-09-08
Score: 54
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cbb1FSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2017-07-242017-09-182017-12-15
cbb3LOPSTRInternational Symposium on Logic-Based Program Synthesis and Transformation2017-06-062017-07-252017-10-10
cb1FMCADFormal Methods in Computer-Aided Design2017-05-082017-07-142017-10-02
cb1ICFEMInternational Conference on Formal Engineering Methods2017-05-072017-06-292017-11-13
cab1MFCSInternational Symposium on Mathematical Foundations of Computer 2017-04-242017-06-122017-08-21
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2017-04-212017-06-152017-10-03
baa2EMSOFTInternational Conference on Embedded Software 2017-03-31 2017-10-15
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2017-03-262017-05-212017-09-13
ccb1CSLConference on Computer Science Logic2017-03-242017-05-312017-08-14
aa*a2LICSIEEE Symposium on Logic in Computer Science2017-01-032017-03-212017-06-20
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
No results found.
Full NameConferenceLocation
No results found.
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
bFormal Methods in System Design0.875Springer0925-9856
bJournal of Symbolic Logic Association for Symbolic Logic0022-4812
cJournal of Logic and Computation0.586Oxford University Press0955-792X
The Journal of Logic and Algebraic Programming0.529ELSEVIER1567-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.875Springer
Journal of Symbolic Logic Association for Symbolic Logic
Journal of Logic and Computation0.586Oxford University Press
The Journal of Logic and Algebraic Programming0.529ELSEVIER
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-301055
Dou SunConference Partner2011-02-2428914
NameInstitutionScore
Xiaox LeeBeihang University542
Feng ZhangBeihang University1055
Dou SunConference Partner28914