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, Teoría y algoritmos. Los lugares consultados con frecuencia incluyen CAV, VMCAI, CSL, ICLP, TASE.

Currículum
Conferencias Seguidas
Total 5 elementos.
CCFICOREAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
BBVMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2026-09-162026-11-062027-01-11
CBCSLConference on Computer Science Logic2026-07-082026-10-152027-01-25
BICLPInternational Conference on Logic Programming2026-01-312026-03-122026-07-20
AA*CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
CTASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
Conferencias Asistidas
CCFICOREAbreviació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.