Información Básica
Nombre: Jiawen XIONG
Institución: East China Normal University
Registro: 2018-06-24
Puntuación: 509
CV
Conferencias Seguidas
Mostrando 31-33 de 33 elementos.
CCF | CORE | QUALIS | Abreviación | Nombre Completo | Entrega | Notificación | Conferencia |
---|---|---|---|---|---|---|---|
b | b1 | iFM | International Conference on integrated Formal Methods | 2022-02-11 | 2022-03-18 | 2022-06-07 | |
b | b1 | HASE | International Symposium on High Assurance Systems Engineering | 2018-09-23 | 2018-10-15 | 2019-01-03 | |
a | a | a1 | USENIX ATC | USENIX Annual Technical Conference | 2025-07-07 |
Mostrando 31-33 de 33 elementos.
Abreviación | Nombre Completo | Entrega | Conferencia |
---|---|---|---|
iFM | International Conference on integrated Formal Methods | 2022-02-11 | 2022-06-07 |
HASE | International Symposium on High Assurance Systems Engineering | 2018-09-23 | 2019-01-03 |
USENIX ATC | USENIX Annual Technical Conference | 2025-07-07 |
Conferencias Asistidas
Mostrando 1-2 de 2 elementos.
CCF | CORE | QUALIS | Abreviación | Nombre Completo | Conferencia | Ubicación |
---|---|---|---|---|---|---|
a | a* | a1 | ICSE | International Conference on Software Engineering | 2019-05-25 | Montreal, Canada |
c | b | APSEC | Asia-Pacific Software Engineering Conference | 2018-12-04 | Nara, Japan |
Mostrando 1-2 de 2 elementos.
Nombre Completo | Conferencia | Ubicación |
---|---|---|
International Conference on Software Engineering | 2019-05-25 | Montreal, Canada |
Asia-Pacific Software Engineering Conference | 2018-12-04 | Nara, Japan |
Revistas Seguidas
Mostrando 1-3 de 3 elementos.
CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
---|---|---|---|---|
c | International Journal on Software Tools for Technology Transfer | 1.100 | Springer | 1433-2779 |
b | Theoretical Computer Science | 1.0 | Elsevier | 0304-3975 |
b | Formal Aspects of Computing | 1.400 | ACM | 0934-5043 |
Mostrando 1-3 de 3 elementos.
Nombre Completo | Factor de Impacto | Editor |
---|---|---|
International Journal on Software Tools for Technology Transfer | 1.100 | Springer |
Theoretical Computer Science | 1.0 | Elsevier |
Formal Aspects of Computing | 1.400 | ACM |
Investigadores Seguidos
Mostrando 1-2 de 2 elementos.
Nombre | Institución | Registro | Score |
---|---|---|---|
Daoyuan Wu | Singapore Management University | 2016-09-18 | 914 |
Huixing Fang | East China Normal University | 2013-04-01 | 22 |
Mostrando 1-2 de 2 elementos.
Nombre | Institución | Score |
---|---|---|
Daoyuan Wu | Singapore Management University | 914 |
Huixing Fang | East China Normal University | 22 |