Basic Information
Name: Shengxin Dai
Institution: Sichuan University
Registration: 2015-04-17
Score: 382
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa*a1ICSEInternational Conference on Software Engineering2017-08-252017-12-152018-05-27
cb1FMCADFormal Methods in Computer-Aided Design2017-05-082017-07-142017-10-02
cb1ICFEMInternational Conference on Formal Engineering Methods2017-05-072017-06-292017-11-13
b1FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2017-05-032017-06-102017-09-05
ShortFull NameSubmissionConference
ICSEInternational Conference on Software Engineering2017-08-252018-05-27
FMCADFormal Methods in Computer-Aided Design2017-05-082017-10-02
ICFEMInternational Conference on Formal Engineering Methods2017-05-072017-11-13
FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2017-05-032017-09-05
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 Journal1.000ELSEVIER0167-9260
Frontiers of Computer Science0.434Springer2095-2228
bJournal of Systems and Software2.444ELSEVIER0164-1212
bJournal of Parallel and Distributed Computing1.93ELSEVIER0743-7315
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.