Tengfei Li

基本情報

名前: Tengfei Li

機関: East China Normal University

登記時間: 2016-10-24

スコア: 5158

关注の会議

CCF	CORE	QUALIS	省略名	完全な名前	提出日	通知日	会議日
c		b1	FMCAD	Formal Methods in Computer-Aided Design	2025-04-20	2025-07-01	2025-10-06
c	c	b3	TASE	International Symposium on Theoretical Aspects of Software Engineering	2025-03-01	2025-04-01	2025-07-14
c	b	b1	FORTE	International Conference on Formal Techniques for Distributed Systems	2025-02-21	2025-04-04	2025-06-16
c	b	a2	COMPSAC	International Computer Software and Applications Conference	2025-01-31	2025-04-07	2025-07-08
c		b1	CF	International Conference on Computing Frontiers	2025-01-20	2025-03-03	2025-05-28
a	a	a1	DAC	Design Automation Conference	2024-11-12		2025-06-22
c	a		TrustCom	International Conference on Trust, Security and Privacy in Computing and Communications	2024-10-01	2024-10-30	2024-12-17
c	b		APSEC	Asia-Pacific Software Engineering Conference	2024-07-06	2024-09-13	2024-12-03
c		b1	ICFEM	International Conference on Formal Engineering Methods	2024-06-24	2024-09-09	2024-12-02
c		b3	ICTAC	International Colloquium on Theoretical Aspects of Computing	2024-06-14	2024-09-01	2024-11-25

省略名	完全な名前	提出日	会議日
FMCAD	Formal Methods in Computer-Aided Design	2025-04-20	2025-10-06
TASE	International Symposium on Theoretical Aspects of Software Engineering	2025-03-01	2025-07-14
FORTE	International Conference on Formal Techniques for Distributed Systems	2025-02-21	2025-06-16
COMPSAC	International Computer Software and Applications Conference	2025-01-31	2025-07-08
CF	International Conference on Computing Frontiers	2025-01-20	2025-05-28
DAC	Design Automation Conference	2024-11-12	2025-06-22
TrustCom	International Conference on Trust, Security and Privacy in Computing and Communications	2024-10-01	2024-12-17
APSEC	Asia-Pacific Software Engineering Conference	2024-07-06	2024-12-03
ICFEM	International Conference on Formal Engineering Methods	2024-06-24	2024-12-02
ICTAC	International Colloquium on Theoretical Aspects of Computing	2024-06-14	2024-11-25

出席の会議

CCF	CORE	QUALIS	省略名	完全な名前	会議日	場所
結果が得られませんでした。

完全な名前	会議日	場所
結果が得られませんでした。

关注の仕訳帳

CCF	完全な名前	インパクト・ファクター	出版社	ISSN
b	Information and Software Technology	3.800	Elsevier	0950-5849
a	Science China Information Sciences	7.300	Springer	1674-733X
a	ACM Transactions on Software Engineering and Methodology	6.600	ACM	1049-331x
a	IEEE Transactions on Software Engineering	6.500	IEEE	0098-5589
b	Formal Methods in System Design	0.700	Springer	0925-9856
b	ACM Transactions on Computational Logic	0.700	ACM	1529-3785
b	Automated Software Engineering	2.000	Springer	0928-8910
b	The Journal of Systems Architecture: Embedded Software Design	3.800	Elsevier	1383-7621
c	Logical Methods in Computer Science		Logical Methods in Computer Science	1860-5974

完全な名前	インパクト・ファクター	出版社
Information and Software Technology	3.800	Elsevier
Science China Information Sciences	7.300	Springer
ACM Transactions on Software Engineering and Methodology	6.600	ACM
IEEE Transactions on Software Engineering	6.500	IEEE
Formal Methods in System Design	0.700	Springer
ACM Transactions on Computational Logic	0.700	ACM
Automated Software Engineering	2.000	Springer
The Journal of Systems Architecture: Embedded Software Design	3.800	Elsevier
Logical Methods in Computer Science		Logical Methods in Computer Science

关注の研究員

名前	機関	登記時間	スコア
結果が得られませんでした。

名前	機関	スコア
結果が得られませんでした。

フォロー中の仕事

役職	雇用主	勤務地
結果が得られませんでした。

役職	雇用主	勤務地
結果が得られませんでした。

表示された会議

CCF	CORE	QUALIS	省略名	完全な名前	提出日	通知日	会議日
結果が得られませんでした。

省略名	完全な名前	提出日	会議日
結果が得られませんでした。

閲覧したジャーナル

CCF	完全な名前	インパクト・ファクター	出版社	ISSN
結果が得られませんでした。

完全な名前	インパクト・ファクター	出版社
結果が得られませんでした。