Información Básica
Nombre: Chenyang Zhu
Institución: University of Southampton
Registro: 2018-03-13
Puntuación: 93
Conferencias Seguidas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
bb1FMInternational Symposium on Formal Methods2022-09-042022-11-152023-03-06
cb1FMCADFormal Methods in Computer-Aided Design2022-05-082022-07-012022-10-17
b1FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2022-05-042022-06-172022-09-12
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2022-02-272022-04-102022-07-08
bb1iFMInternational Conference on integrated Formal Methods2022-02-112022-03-182022-06-07
cb2ABZASM, Alloy, B and Z2021-02-152021-03-292021-06-07
AbreviaciónNombre CompletoEntregaConferencia
FMInternational Symposium on Formal Methods2022-09-042023-03-06
FMCADFormal Methods in Computer-Aided Design2022-05-082022-10-17
FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2022-05-042022-09-12
TASEInternational Symposium on Theoretical Aspects of Software Engineering2022-02-272022-07-08
iFMInternational Conference on integrated Formal Methods2022-02-112022-06-07
ABZASM, Alloy, B and Z2021-02-152021-06-07
Conferencias Asistidas
CCFCOREQUALISAbreviaciónNombre CompletoConferenciaUbicación
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2018-08-29Guangzhou, China
cb2ABZASM, Alloy, B and Z2018-06-05Southampton, UK
Nombre CompletoConferenciaUbicación
International Symposium on Theoretical Aspects of Software Engineering2018-08-29Guangzhou, China
ASM, Alloy, B and Z2018-06-05Southampton, UK
Revistas Seguidas
CCFNombre CompletoFactor de ImpactoEditorISSN
bFormal Methods in System Design0.442Springer0925-9856
cFuture Generation Computer Systems7.307Elsevier0167-739X
bThe Journal of Systems Architecture: Embedded Software Design5.836Elsevier1383-7621
Nombre CompletoFactor de ImpactoEditor
Formal Methods in System Design0.442Springer
Future Generation Computer Systems7.307Elsevier
The Journal of Systems Architecture: Embedded Software Design5.836Elsevier
Investigadores Seguidos
NombreInstituciónRegistroPuntuación
No se encontraron resultados.
NombreInstituciónPuntuación
No se encontraron resultados.
Trabajos rastreados
Título profesionalEmpleadoralocación de trabajo
No se encontraron resultados.
Título profesionalEmpleadoralocación de trabajo
No se encontraron resultados.
Conferencias vistas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
No se encontraron resultados.
AbreviaciónNombre CompletoEntregaConferencia
No se encontraron resultados.
Revistas vistos
CCFNombre CompletoFactor de ImpactoEditorISSN
No se encontraron resultados.
Nombre CompletoFactor de ImpactoEditor
No se encontraron resultados.