基本信息
姓名: Tengfei Li
科研机构: East China Normal University
注册时间: 2016-10-24
活跃度: 5182
简历
关注的会议
总计15条数据。
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
cbAPSECAsia-Pacific Software Engineering Conference2026-06-302026-12-07
cb1ICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
cbb1SEKEInternational Conference on Software Engineering and Knowledge Engineering2026-05-012026-06-202026-10-01
baa1ICCADInternational Conference on Computer-Aided Design2026-04-072026-07-112026-11-08
baa2MODELSInternational Conference on Model Driven Engineering Languages and Systems2026-03-202026-06-172026-10-04
cbb1FORTEInternational Conference on Formal Techniques for Distributed Systems2026-02-212026-06-08
cba2COMPSACInternational Computer Software and Applications Conference2026-01-312026-04-012026-07-07
cb1CFInternational Conference on Computing Frontiers2026-01-262026-03-092026-05-19
ab1FMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
aaa1DACDesign Automation Conference2025-11-112026-03-092026-07-26
caTrustComInternational Conference on Trust, Security and Privacy in Computing and Communications2025-08-012025-10-012025-11-14
cb3ICTACInternational Colloquium on Theoretical Aspects of Computing2025-06-142025-08-302025-11-24
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2025-04-252025-07-042025-10-27
cb1FMCADFormal Methods in Computer-Aided Design2025-04-202025-07-012025-10-06
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
参加的会议
CCFCOREQUALIS简称全称会议日期会议地点
没有找到数据。
关注的期刊
总计9条数据。
CCF全称影响因子出版商ISSN
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
关注的科研人员
姓名科研机构注册时间Score
没有找到数据。