Información Básica
Nombre: Chenyang Zhu
Institución: University of Southampton
Fecha de registro: 2018-03-13
Puntuación: 93
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, Sistemas y arquitectura, Teoría y algoritmos. Los lugares consultados con frecuencia incluyen TASE, ABZ, FORMATS, FMCAD, FM.

Currículum
Conferencias Seguidas
Total 6 elementos.
CCFICOREAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
BBFMCADFormal Methods in Computer-Aided Design2026-05-042026-07-192026-09-14
FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2026-04-132026-06-032026-09-02
ABFMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
CTASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
BiFMInternational Conference on integrated Formal Methods2022-02-112022-03-182022-06-07
CABZASM, Alloy, B and Z2021-02-152021-03-292021-06-07
Conferencias Asistidas
Total 2 elementos.
CCFICOREAbreviaciónNombre CompletoFecha de conferenciaUbicación
CTASEInternational Symposium on Theoretical Aspects of Software Engineering2018-08-29Guangzhou, China
CABZASM, Alloy, B and Z2018-06-05Southampton, UK
Revistas Seguidas
Total 3 elementos.
CCFNombre CompletoFactor de ImpactoEditorISSN
BFormal Methods in System Design0.8Springer0925-9856
CFuture Generation Computer Systems5.9Elsevier0167-739X
BThe Journal of Systems Architecture: Embedded Software Design5.3Elsevier1383-7621
Investigadores Seguidos
NombreInstituciónFecha de registroPuntuación
No se encontraron resultados.