Basic Information
Name: Tengfei Li
Institution: East China Normal University
Registration: 2016-10-24
Score: 3225
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cab1SCCInternational Conference on Service Computing2020-06-052020-07-202020-08-12
baa1ICCADInternational Conference on Computer-Aided Design2020-05-212020-07-212020-11-02
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2020-05-062020-06-242020-10-26
cbb1SEKEInternational Conference on Software Engineering and Knowledge Engineering2020-03-012020-04-202020-07-09
cba2COMPSACInternational Computer Software and Applications Conference2020-02-182020-04-032020-07-13
cbb1FORTEInternational Conference on Formal Techniques for Distributed Systems2020-02-172020-04-102020-06-15
cb1CFInternational Conference on Computing Frontiers2020-02-112020-03-292020-05-11
aaa1DACDesign Automation Conference2019-11-20 2020-07-19
bb1FMInternational Symposium on Formal Methods2019-03-282019-06-112019-10-07
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
No results found.
Full NameConferenceLocation
No results found.
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
aACM Transactions on Software Engineering and Methodology ACM1049-331x
aIEEE Transactions on Software Engineering4.778IEEE0098-5589
IEEE Access4.098IEEE2169-3536
bFormal Methods in System Design0.875Springer0925-9856
bACM Transactions on Computational Logic ACM1529-3785
bAutomated Software Engineering0.806Springer0928-8910
bThe Journal of Systems Architecture: Embedded Software Design1.159Elsevier1383-7621
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.
Tracked Jobs
Job TitleEmployerJob Location
No results found.
Job TitleEmployerJob Location
No results found.
Viewed Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cb1FMCADFormal Methods in Computer-Aided Design2020-05-092020-07-022020-09-21
cb3ICTACInternational Colloquium on Theoretical Aspects of Computing2020-06-222020-09-142020-11-30
cbb1ILPInternational Conference on Inductive Logic Programming2020-05-252020-07-032020-09-09
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2020-05-062020-06-242020-10-26
ba2CODES+ISSSInternational Conference on Hardware/Software Codesign and System Synthesis2020-04-032020-07-062020-10-11
bb1QRSInternational Conference on Software Quality, Reliability and Security2020-04-102020-07-012020-07-27
cb1ICFEMInternational Conference on Formal Engineering Methods2020-05-012020-06-192020-11-02