Información Básica
Nombre: Zy Ming
Institución: Guizhou University
Fecha de registro: 2022-07-18
Puntuación: 125
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, Seguridad y privacidad. Los lugares consultados con frecuencia incluyen CAV, VMCAI, CSL, TASE, ICLP.

Currículum
Conferencias Seguidas
Total 5 elementos.
CCFICOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
BB1ICLPInternational Conference on Logic Programming2026-01-312026-03-122026-07-20
AA*A1CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
BBA2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102025-11-062026-01-11
CBB1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
CB3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
Conferencias Asistidas
CCFICOREQUALISAbreviaciónNombre CompletoFecha de conferenciaUbicación
No se encontraron resultados.
Revistas Seguidas
Total 2 elementos.
CCFNombre CompletoFactor de ImpactoEditorISSN
BFormal Methods in System Design0.8Springer0925-9856
CLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
Investigadores Seguidos
NombreInstituciónFecha de registroPuntuación
No se encontraron resultados.