Información Básica
Nombre: Jiawen XIONG
Institución: East China Normal University
Registro: 2018-06-24
Puntuación: 509
CV
Conferencias Seguidas
Mostrando 21-30 de 33 elementos.
Mostrando 21-30 de 33 elementos.
| Abreviación | Nombre Completo | Entrega | Conferencia |
|---|---|---|---|
| FSCD | International Conference on Formal Structures for Computation and Deduction | 2025-02-17 | 2025-07-14 |
| CAV | International Conference on Computer Aided Verification | 2025-01-31 | 2025-07-21 |
| ICECCS | International Conference on Engineering of Complex Computer Systems | 2025-01-28 | 2025-07-02 |
| LICS | IEEE Symposium on Logic in Computer Science | 2025-01-16 | 2025-06-23 |
| ICSR | International Conference on Software and Systems Reuse | 2024-12-03 | 2025-04-27 |
| HSCC | International Conference on Hybrid Systems: Computation and Control | 2024-10-31 | 2025-05-06 |
| TACAS | International Conference on Tools and Algorithms for the Construction and Analysis of Systems | 2024-10-10 | 2025-05-03 |
| FASE | Fundamental Approaches to Software Engineering | 2024-10-10 | 2025-05-03 |
| CONCUR | International Conference on Concurrency Theory | 2024-04-26 | 2024-09-09 |
| FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
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 |