基本信息
姓名: Tengfei Li
科研机构: East China Normal University
注册时间: 2016-10-24
活跃度: 5182
CV
关注的会议
总计15条数据。
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
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
cbAPSECAsia-Pacific Software Engineering Conference2025-07-062025-09-132025-12-02
cb3ICTACInternational Colloquium on Theoretical Aspects of Computing2025-06-142025-08-302025-11-24
cb1ICFEMInternational Conference on Formal Engineering Methods2025-05-252025-08-012025-11-10
cbb1SEKEInternational Conference on Software Engineering and Knowledge Engineering2025-05-012025-06-202025-09-29
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
baa1ICCADInternational Conference on Computer-Aided Design2024-04-282024-06-302024-10-29
baa2MODELSInternational Conference on Model Driven Engineering Languages and Systems2026-10-04
参加的会议
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.700Springer0925-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
没有找到数据。