Basic Information
Name: Shengxin Dai
Institution: Sichuan University
Registration: 2015-04-17
Score: 381
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cb1FMCADFormal Methods in Computer-Aided Design2017-05-012017-07-142017-10-02
cb1ICFEMInternational Conference on Formal Engineering Methods2017-04-302017-06-292017-11-13
b1FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2017-04-182017-06-102017-09-05
aa*a1ICSEInternational Conference on Software Engineering2016-08-262016-12-122017-05-14
ShortFull NameSubmissionConference
FMCADFormal Methods in Computer-Aided Design2017-05-012017-10-02
ICFEMInternational Conference on Formal Engineering Methods2017-04-302017-11-13
FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2017-04-182017-09-05
ICSEInternational Conference on Software Engineering2016-08-262017-05-14
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
No results found.
Full NameConferenceLocation
No results found.
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
IEEE Transactions on Emerging Topics in ComputingIEEE2168-6750
Integration, the VLSI Journal0.703ELSEVIER0167-9260
Frontiers of Computer Science0.434Springer2095-2228
bJournal of Systems and Software1.424ELSEVIER0164-1212
bJournal of Parallel and Distributed Computing1.32ELSEVIER0743-7315
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.