Información Básica
Nombre: Fu Teresa
Institución: Zhejiang University
Fecha de registro: 2014-08-27
Puntuación: 1030
Perfil de intereses de investigación Generado automáticamente por el sistema

Según los congresos y revistas consultados, este investigador parece más interesado en Ingeniería de software, Redes y comunicaciones, Sistemas y arquitectura, Teoría y algoritmos. Los lugares consultados con frecuencia incluyen FORTE, FSTTCS, VMCAI, SEFM, ICCSM.

Currículum
Conferencias Seguidas
Total 22 elementos.
CCFICOREAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
ICCSMInternational Conference on Computer, Software and Modeling2027-01-202027-02-202027-07-01
CAICSTInternational Conference on Software Testing, Verification and Validation2026-11-022027-02-202027-05-17
BBVMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2026-09-162026-11-062027-01-11
CBWCNCIEEE Wireless Communications and Networking Conference2026-09-152027-04-05
CMSNInternational Conference on Mobility, Sensing and Networking2026-08-202026-10-162026-12-18
CSSSInternational Symposium on Stabilization, Safety, and Security of Distributed Systems2026-07-152026-08-302026-10-09
CFSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2026-07-042026-09-152026-12-16
CCICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
CAMSWiMInternational Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems2026-06-012026-07-312026-10-26
BBFMCADFormal Methods in Computer-Aided Design2026-05-042026-07-192026-09-14
CFMICSInternational Conference on Formal Methods for Industrial Critical Systems2026-04-102026-06-012026-09-02
CCFORTEInternational 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*LICSIEEE Symposium on Logic in Computer Science2026-01-152026-04-162026-07-20
ABFMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
CPDCATInternational Conference on Parallel and Distributed Computing, Applications and Technologies2025-08-012025-09-152025-11-22
BWiOptInternational 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
BSEFMInternational Conference on Software Engineering and Formal Methods2022-06-202022-08-072022-09-28
BiFMInternational Conference on integrated Formal Methods2022-02-112022-03-182022-06-07
CMSAMInternational Conference on Computational Modeling, Simulation and Applied Mathematics2017-10-122017-10-22
BAINAInternational Conference on Advanced Information Networking and Applications2016-10-282016-12-202017-03-27
Conferencias Asistidas
CCFICOREAbreviaciónNombre CompletoFecha de conferenciaUbicación
No se encontraron resultados.
Revistas Seguidas
Total 7 elementos.
CCFNombre CompletoFactor de ImpactoEditorISSN
CInternational Journal on Software Tools for Technology Transfer1.4Springer1433-2779
BJournal of Systems and Software3.8Elsevier0164-1212
BJournal of Computer and System Sciences1.4Elsevier0022-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
Investigadores Seguidos
NombreInstituciónFecha de registroPuntuación
No se encontraron resultados.