Información Básica
Nombre: Xianqi Zhao
Institución: Beihang University
Registro: 2014-09-08
Puntuación: 54
Conferencias Seguidas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
aa*a2LICSIEEE Symposium on Logic in Computer Science2023-01-182023-04-052023-06-26
cab2ICSTInternational Conference on Software Testing, Verification and Validation2022-10-202022-12-162023-04-04
caa2STACSInternational Symposium on Theoretical Aspects of Computer Science2022-09-252022-12-042023-03-07
bb1FMInternational Symposium on Formal Methods2022-09-042022-11-152023-03-06
cbb1FSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2022-07-142022-09-162022-12-18
cb1FMCADFormal Methods in Computer-Aided Design2022-05-082022-07-012022-10-17
cbb3LOPSTRInternational Symposium on Logic-Based Program Synthesis and Transformation2022-05-022022-06-202022-09-21
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2022-05-012022-06-242022-10-25
cab1MFCSInternational Symposium on Mathematical Foundations of Computer Science2022-04-222022-06-212022-08-22
cb1ICFEMInternational Conference on Formal Engineering Methods2022-04-102022-06-262022-10-24
Conferencias Asistidas
CCFCOREQUALISAbreviaciónNombre CompletoConferenciaUbicación
No se encontraron resultados.
Nombre CompletoConferenciaUbicación
No se encontraron resultados.
Revistas Seguidas
CCFNombre CompletoFactor de ImpactoEditorISSN
bFormal Methods in System Design0.442Springer0925-9856
cJournal of Symbolic Logic Association for Symbolic Logic0022-4812
cJournal of Logic and Computation0.586Oxford University Press0955-792X
cThe Journal of Logic and Algebraic ProgrammingElsevier1567-8326
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
bFormal Aspects of Computing1.226Springer0934-5043
Nombre CompletoFactor de ImpactoEditor
Formal Methods in System Design0.442Springer
Journal of Symbolic Logic Association for Symbolic Logic
Journal of Logic and Computation0.586Oxford University Press
The Journal of Logic and Algebraic ProgrammingElsevier
Logical Methods in Computer Science Logical Methods in Computer Science
Formal Aspects of Computing1.226Springer
Investigadores Seguidos
NombreInstituciónRegistroPuntuación
Xiaox LeeBeihang University2014-09-29542
Feng ZhangBeihang University2014-08-302275
Dou SunConference Partner2011-02-24113913
NombreInstituciónPuntuación
Xiaox LeeBeihang University542
Feng ZhangBeihang University2275
Dou SunConference Partner113913
Trabajos rastreados
Título profesionalEmpleadoralocación de trabajo
No se encontraron resultados.
Título profesionalEmpleadoralocación de trabajo
No se encontraron resultados.
Conferencias vistas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
No se encontraron resultados.
AbreviaciónNombre CompletoEntregaConferencia
No se encontraron resultados.
Revistas vistos
CCFNombre CompletoFactor de ImpactoEditorISSN
No se encontraron resultados.
Nombre CompletoFactor de ImpactoEditor
No se encontraron resultados.