Basic Information
Name: Jiawen XIONG
Institution: East China Normal University
Registration: 2018-06-24
Score: 509
CV
Tracked Conferences
Showing 31-33 of 33 items.
| CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|---|
| 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 |
Showing 31-33 of 33 items.
| Short | Full Name | Submission | Conference |
|---|---|---|---|
| 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 |
Attend Conferences
Showing 1-2 of 2 items.
| CCF | CORE | QUALIS | Short | Full Name | Conference | Location |
|---|---|---|---|---|---|---|
| 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 |
Showing 1-2 of 2 items.
| Full Name | Conference | Location |
|---|---|---|
| International Conference on Software Engineering | 2019-05-25 | Montreal, Canada |
| Asia-Pacific Software Engineering Conference | 2018-12-04 | Nara, Japan |
Tracked Journals
Showing 1-3 of 3 items.
| CCF | Full Name | Impact Factor | Publisher | 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 |
Showing 1-3 of 3 items.
| Full Name | Impact Factor | Publisher |
|---|---|---|
| International Journal on Software Tools for Technology Transfer | 1.100 | Springer |
| Theoretical Computer Science | 1.0 | Elsevier |
| Formal Aspects of Computing | 1.400 | ACM |
Followed Researchers
Showing 1-2 of 2 items.
| Name | Institution | Registration | Score |
|---|---|---|---|
| Daoyuan Wu | Singapore Management University | 2016-09-18 | 914 |
| Huixing Fang | East China Normal University | 2013-04-01 | 22 |
Showing 1-2 of 2 items.
| Name | Institution | Score |
|---|---|---|
| Daoyuan Wu | Singapore Management University | 914 |
| Huixing Fang | East China Normal University | 22 |