Información Básica
Nombre: yang totti
Institución: Beihang University
Fecha de registro: 2026-06-30
Puntuación: 36
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. Los lugares consultados con frecuencia incluyen VMCAI, ICST, FMCAD, CAV, PASTE.

Currículum
Conferencias Seguidas
Total 4 elementos.
CCFICOREAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
CAICSTInternational Conference on Software Testing, Verification and Validation2026-11-022027-02-202027-05-17
BBVMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2026-09-162026-11-062027-01-11
CCAPSECAsia-Pacific Software Engineering Conference2026-07-202026-09-142026-12-07
AA*CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
Conferencias Asistidas
Total 1 elemento.
CCFICOREAbreviaciónNombre CompletoFecha de conferenciaUbicación
BBVMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2026-01-11Rennes, France
Revistas Seguidas
CCFNombre CompletoFactor de ImpactoEditorISSN
No se encontraron resultados.
Investigadores Seguidos
NombreInstituciónFecha de registroPuntuación
No se encontraron resultados.