기본 정보
이름: Fu Teresa
소속 기관: Zhejiang University
가입일: 2014-08-27
점수: 1030
연구 관심 프로필 시스템 자동 생성

조회한 학회와 저널로 볼 때, 이 연구자는 주로 소프트웨어 공학, 네트워크·통신, 시스템·아키텍처, 보안·프라이버시에 관심이 있는 것으로 보입니다. 자주 조회하는 학회·저널로는 FORTE, FSTTCS, VMCAI, SEFM, ICCSM 등이 있습니다.

이력서
팔로우한 학회
모두 22 개
CCFICOREQUALIS약칭정식 명칭투고 마감통보일개최일
CBA2WCNCIEEE Wireless Communications and Networking Conference2026-09-152027-04-05
CMSNInternational Conference on Mobility, Sensing and Networking2026-08-202026-10-162026-12-18
CAB1MSWiMInternational Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems2026-06-012026-07-312026-10-26
CB1ICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
ICCSMInternational Conference on Computer, Software and Modeling2026-05-152026-05-302026-07-03
B4FMICSInternational Conference on Formal Methods for Industrial Critical Systems2026-04-102026-06-012026-09-02
CB1FORTEInternational Conference on Formal Techniques for Distributed Systems2026-02-212026-06-08
CSPINInternational SPIN Symposium on Model Checking of Software2026-01-152026-03-052026-04-15
AA*A2LICSIEEE Symposium on Logic in Computer Science2026-01-152026-04-162026-07-20
CAB2ICSTInternational Conference on Software Testing, Verification and Validation2025-12-152026-02-202026-05-18
ABB1FMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
BBA2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102025-11-062026-01-11
B2PDCATInternational Conference on Parallel and Distributed Computing, Applications and Technologies2025-08-012025-09-152025-11-22
CB1FSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2025-07-042025-09-152025-12-17
BBB1FMCADFormal Methods in Computer-Aided Design2025-04-202025-07-012025-10-06
BB1WiOptInternational Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks2025-01-262025-03-152025-05-26
ICSAIInternational Conference on Systems and Informatics2024-11-302024-12-072024-12-14
SSSInternational Symposium on Stabilization, Safety, and Security of Distributed Systems2022-08-052022-09-232022-11-15
BB1SEFMInternational Conference on Software Engineering and Formal Methods2022-06-202022-08-072022-09-28
BB1iFMInternational Conference on integrated Formal Methods2022-02-112022-03-182022-06-07
CMSAMInternational Conference on Computational Modeling, Simulation and Applied Mathematics2017-10-122017-10-22
BA2AINAInternational Conference on Advanced Information Networking and Applications2016-10-282016-12-202017-03-27
참가한 학회
CCFICOREQUALIS약칭정식 명칭개최일개최지
결과가 없습니다.
팔로우한 저널
모두 7 개
CCF정식 명칭영향력 지수출판사ISSN
CInternational Journal on Software Tools for Technology Transfer1.4Springer1433-2779
BJournal of Systems and Software4.1Elsevier0164-1212
BJournal of Computer and System Sciences0.9Elsevier0022-0000
AIEEE Transactions on Dependable and Secure Computing7.5IEEE1545-5971
AIEEE Transactions on Mobile Computing9.2IEEE1536-1233
BFormal Methods in System Design0.8Springer0925-9856
BFormal Aspects of Computing1.4ACM0934-5043
팔로우한 연구자
이름소속 기관가입일점수
결과가 없습니다.