Información Básica
Nombre: Shengxin Dai
Institución: Sichuan University
Registro: 2015-04-17
Puntuación: 382
Conferencias de Seguimiento
CCFCOREQUALISCortoNombre CompletoEntregaNotificaciónConferencia
aa*a1ICSEInternational Conference on Software Engineering2017-08-252017-12-152018-05-27
cb1FMCADFormal Methods in Computer-Aided Design2017-05-082017-07-142017-10-02
cb1ICFEMInternational Conference on Formal Engineering Methods2017-05-072017-06-292017-11-13
b1FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2017-05-032017-06-102017-09-05
CortoNombre CompletoEntregaConferencia
ICSEInternational Conference on Software Engineering2017-08-252018-05-27
FMCADFormal Methods in Computer-Aided Design2017-05-082017-10-02
ICFEMInternational Conference on Formal Engineering Methods2017-05-072017-11-13
FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2017-05-032017-09-05
Asistir a Conferencias
CCFCOREQUALISCortoNombre CompletoConferenciaUbicación
No se encontraron resultados.
Nombre CompletoConferenciaUbicación
No se encontraron resultados.
Diarios de Seguimiento
CCFNombre CompletoFactor de ImpactoEditorISSN
IEEE Transactions on Emerging Topics in ComputingIEEE2168-6750
Integration, the VLSI Journal1.000ELSEVIER0167-9260
Frontiers of Computer Science0.434Springer2095-2228
bJournal of Systems and Software2.444ELSEVIER0164-1212
bJournal of Parallel and Distributed Computing1.93ELSEVIER0743-7315
Investigadores Seguidos
NombreInstituciónRegistroPuntuación
No se encontraron resultados.
NombreInstituciónPuntuación
No se encontraron resultados.