Conference Partner » Investigadores: Xianqi Zhao
Información Básica
Nombre: Xianqi Zhao
Institución: Beihang University
Registro: 2014-09-08
Puntuación: 54
CV
Conferencias Seguidas
Mostrando 1-10 de 14 elementos.
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
caa2STACSInternational Symposium on Theoretical Aspects of Computer Science2025-09-252025-12-122026-03-10
ccb1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
aa*a1ICSEInternational Conference on Software Engineering2025-07-112025-10-172026-04-12
cbb1FSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2025-07-042025-09-152025-12-17
cb1ICFEMInternational Conference on Formal Engineering Methods2025-05-252025-08-012025-11-10
cbb3LOPSTRInternational Symposium on Logic-Based Program Synthesis and Transformation2025-05-092025-06-272025-09-09
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2025-04-252025-07-042025-10-27
cb1FMCADFormal Methods in Computer-Aided Design2025-04-202025-07-012025-10-06
baa2EMSOFTInternational Conference on Embedded Software 2025-03-232025-07-132025-09-28
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
Conferencias Asistidas
CCFCOREQUALISAbreviaciónNombre CompletoConferenciaUbicación
No se encontraron resultados.
Nombre CompletoConferenciaUbicación
No se encontraron resultados.
Revistas Seguidas
Mostrando 1-6 de 6 elementos.
CCFNombre CompletoFactor de ImpactoEditorISSN
bFormal Methods in System Design0.700Springer0925-9856
cJournal of Symbolic LogicAssociation for Symbolic Logic0022-4812
cJournal of Logic and Computation0.700Oxford University Press0955-792X
cThe Journal of Logic and Algebraic ProgrammingElsevier1567-8326
cLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
bFormal Aspects of Computing1.400ACM0934-5043
Mostrando 1-6 de 6 elementos.
Nombre CompletoFactor de ImpactoEditor
Formal Methods in System Design0.700Springer
Journal of Symbolic LogicAssociation for Symbolic Logic
Journal of Logic and Computation0.700Oxford University Press
The Journal of Logic and Algebraic ProgrammingElsevier
Logical Methods in Computer ScienceLogical Methods in Computer Science
Formal Aspects of Computing1.400ACM
Investigadores Seguidos
Mostrando 1-3 de 3 elementos.
NombreInstituciónRegistroScore
Xiaox LeeBeihang University2014-09-29542
Feng ZhangBeihang University2014-08-302320
Dou SunConference Partner2011-02-24143925
Mostrando 1-3 de 3 elementos.
NombreInstituciónScore
Xiaox LeeBeihang University542
Feng ZhangBeihang University2320
Dou SunConference Partner143925

Publicidad