Información Básica
Nombre: Xianqi Zhao
Institución: Beihang University
Fecha de registro: 2014-09-08
Puntuación: 54
Perfil de intereses de investigación Generado automáticamente por el sistema

Según los congresos y revistas que sigue, este investigador parece más interesado en Ingeniería de software, Teoría y algoritmos, Sistemas y arquitectura.

Currículum
Conferencias Seguidas
Total 14 elementos.
CCFICOREAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
CAICSTInternational Conference on Software Testing, Verification and Validation2026-11-022027-02-202027-05-17
CASTACSInternational Symposium on Theoretical Aspects of Computer Science2026-10-112026-12-222027-03-08
CBCSLConference on Computer Science Logic2026-07-082026-10-152027-01-25
CFSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2026-07-042026-09-152026-12-16
AA*ICSEInternational Conference on Software Engineering2026-06-232026-10-202027-04-25
CCICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
CCLOPSTRInternational Symposium on Logic-Based Program Synthesis and Transformation2026-05-302026-06-262026-08-24
CBATVAInternational Symposium on Automated Technology for Verification and Analysis2026-05-192026-07-232026-12-01
BBFMCADFormal Methods in Computer-Aided Design2026-05-042026-07-192026-09-14
BEMSOFTInternational Conference on Embedded Software 2026-03-232026-07-172026-10-04
AA*LICSIEEE Symposium on Logic in Computer Science2026-01-152026-04-162026-07-20
ABFMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
CTASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
CBMFCSInternational Symposium on Mathematical Foundations of Computer Science2024-04-262024-06-242024-08-26
Conferencias Asistidas
CCFICOREAbreviaciónNombre CompletoFecha de conferenciaUbicación
No se encontraron resultados.
Revistas Seguidas
Total 6 elementos.
CCFNombre CompletoFactor de ImpactoEditorISSN
BFormal Methods in System Design0.8Springer0925-9856
CThe Journal of Symbolic LogicCambridge University Press0022-4812
CJournal of Logic and Computation0.7Oxford University Press0955-792X
The Journal of Logic and Algebraic ProgrammingElsevier1567-8326
CLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
BFormal Aspects of Computing1.4ACM0934-5043
Investigadores Seguidos
Total 3 elementos.
NombreInstituciónFecha de registroPuntuación
Xiaox LeeBeihang University2014-09-29542
Feng ZhangBeihang University2014-08-302320
Dou SunConference Partner2011-02-24156806