Conference Partner » Investigadores: Zy Ming
Información Básica
Nombre: Zy Ming
Institución: Guizhou University
Registro: 2022-07-18
Puntuación: 125
CV
Conferencias Seguidas
Mostrando 1-5 de 5 elementos.
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
bba2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102025-11-062026-01-11
ccb1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
aa*a1CAVInternational Conference on Computer Aided Verification2025-01-312025-04-022025-07-21
ab1ICLPInternational Conference on Logic Programming2022-01-142022-03-142022-07-31
Mostrando 1-5 de 5 elementos.
AbreviaciónNombre CompletoEntregaConferencia
VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102026-01-11
CSLConference on Computer Science Logic2025-07-152026-02-23
TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-07-14
CAVInternational Conference on Computer Aided Verification2025-01-312025-07-21
ICLPInternational Conference on Logic Programming2022-01-142022-07-31
Conferencias Asistidas
CCFCOREQUALISAbreviaciónNombre CompletoConferenciaUbicación
No se encontraron resultados.
Nombre CompletoConferenciaUbicación
No se encontraron resultados.
Revistas Seguidas
Mostrando 1-2 de 2 elementos.
CCFNombre CompletoFactor de ImpactoEditorISSN
bFormal Methods in System Design0.700Springer0925-9856
cLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
Mostrando 1-2 de 2 elementos.
Nombre CompletoFactor de ImpactoEditor
Formal Methods in System Design0.700Springer
Logical Methods in Computer ScienceLogical Methods in Computer Science
Investigadores Seguidos
NombreInstituciónRegistroScore
No se encontraron resultados.
NombreInstituciónScore
No se encontraron resultados.

Seguidores
No se encontraron resultados.
Publicidad