Basic Information
Name: Shengxin Dai
Institution: Sichuan University
Registration: 2015-04-17
Score: 382
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cb1FMCADFormal Methods in Computer-Aided Design2019-05-172019-07-032019-10-22
cb1ICFEMInternational Conference on Formal Engineering Methods2019-05-142019-07-062019-11-05
b1FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2019-04-212019-06-122019-08-26
aa*a1ICSEInternational Conference on Software Engineering2018-08-242018-11-142019-05-25
ShortFull NameSubmissionConference
FMCADFormal Methods in Computer-Aided Design2019-05-172019-10-22
ICFEMInternational Conference on Formal Engineering Methods2019-05-142019-11-05
FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2019-04-212019-08-26
ICSEInternational Conference on Software Engineering2018-08-242019-05-25
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
cIntegration, the VLSI Journal0.906ELSEVIER0167-9260
cFrontiers of Computer Science0.434Springer2095-2228
bJournal of Systems and Software2.278ELSEVIER0164-1212
bJournal of Parallel and Distributed Computing1.815ELSEVIER0743-7315
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.