Basic Information
Name: Tengfei Li
Institution: East China Normal University
Registration: 2016-10-24
Score: 5182
Research Interest Profile Auto-generated by system

Based on the conferences and journals browsed, this researcher appears most interested in Software Engineering, Systems & Architecture, Networks & Communications. Frequently viewed venues include COMPSAC, TASE, ICFEM, STACS, ETAPS.

My CV
Tracked Conferences
Total 15 items.
CCFICOREShortFull NameSubmissionNotificationConference
CCAPSECAsia-Pacific Software Engineering Conference2026-07-202026-09-142026-12-07
CCICTACInternational Colloquium on Theoretical Aspects of Computing2026-06-082026-08-102026-11-09
CCICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
CBATVAInternational Symposium on Automated Technology for Verification and Analysis2026-05-192026-07-232026-12-01
BBFMCADFormal Methods in Computer-Aided Design2026-05-042026-07-192026-09-14
CCSEKEInternational Conference on Software Engineering and Knowledge Engineering2026-05-012026-06-202026-10-01
BAICCADInternational Conference on Computer-Aided Design2026-04-072026-07-112026-11-08
BAMODELSInternational Conference on Model Driven Engineering Languages and Systems2026-03-202026-06-172026-10-04
CCFORTEInternational Conference on Formal Techniques for Distributed Systems2026-02-212026-06-08
CBCOMPSACInternational Computer Software and Applications Conference2026-01-312026-04-012026-07-07
CCFInternational Conference on Computing Frontiers2026-01-262026-03-092026-05-19
ABFMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
A*DACDesign Automation Conference2025-11-112026-03-092026-07-26
CBTrustComInternational Conference on Trust, Security and Privacy in Computing and Communications2025-08-012025-10-012025-11-14
CTASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
Attend Conferences
CCFICOREShortFull NameConferenceLocation
No results found.
Tracked Journals
Total 9 items.
CCFFull NameImpact FactorPublisherISSN
BInformation and Software Technology4.3Elsevier0950-5849
AScience China Information Sciences7.6Springer1674-733X
AACM Transactions on Software Engineering and Methodology6.2ACM1049-331x
AIEEE Transactions on Software Engineering5.6IEEE0098-5589
BFormal Methods in System Design0.8Springer0925-9856
BACM Transactions on Computational Logic0.700ACM1529-3785
BAutomated Software Engineering3.1Springer0928-8910
BThe Journal of Systems Architecture: Embedded Software Design4.1Elsevier1383-7621
CLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
Followed Researchers
NameInstitutionRegistrationScore
No results found.