Basic Information
Name: Jiawen XIONG
Institution: East China Normal University
Registration: 2018-06-24
Score: 509
Tracked Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
a | b1 | FM | International Symposium on Formal Methods | 2024-04-05 | 2024-06-03 | 2024-09-09 | |
a | a* | a1 | FOCS | IEEE Symposium on Foundations of Computer Science | 2024-04-04 | 2024-07-01 | 2024-10-27 |
b | a | a2 | EMSOFT | International Conference on Embedded Software | 2024-03-24 | 2024-07-14 | 2024-09-29 |
c | c | b3 | TASE | International Symposium on Theoretical Aspects of Software Engineering | 2024-02-24 | 2024-04-10 | 2024-07-29 |
c | b | a2 | COMPSAC | International Computer Software and Applications Conference | 2024-02-15 | 2024-04-07 | 2024-07-02 |
FSCD | International Conference on Formal Structures for Computation and Deduction | 2024-02-05 | 2024-04-22 | 2024-07-10 | |||
a | a* | a2 | LICS | IEEE Symposium on Logic in Computer Science | 2024-01-21 | 2024-04-15 | 2024-07-08 |
a | a* | a1 | CAV | International Conference on Computer Aided Verification | 2024-01-19 | 2024-03-26 | 2024-07-22 |
a | a | a1 | USENIX ATC | USENIX Annual Technical Conference | 2024-01-09 | 2024-07-10 | |
c | a | b1 | ICECCS | International Conference on Engineering of Complex Computer Systems | 2023-12-08 | 2024-03-15 | 2024-06-19 |
Short | Full Name | Submission | Conference |
---|---|---|---|
FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
FOCS | IEEE Symposium on Foundations of Computer Science | 2024-04-04 | 2024-10-27 |
EMSOFT | International Conference on Embedded Software | 2024-03-24 | 2024-09-29 |
TASE | International Symposium on Theoretical Aspects of Software Engineering | 2024-02-24 | 2024-07-29 |
COMPSAC | International Computer Software and Applications Conference | 2024-02-15 | 2024-07-02 |
FSCD | International Conference on Formal Structures for Computation and Deduction | 2024-02-05 | 2024-07-10 |
LICS | IEEE Symposium on Logic in Computer Science | 2024-01-21 | 2024-07-08 |
CAV | International Conference on Computer Aided Verification | 2024-01-19 | 2024-07-22 |
USENIX ATC | USENIX Annual Technical Conference | 2024-01-09 | 2024-07-10 |
ICECCS | International Conference on Engineering of Complex Computer Systems | 2023-12-08 | 2024-06-19 |
Attend Conferences
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 |
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
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
c | International Journal on Software Tools for Technology Transfer | Springer | 1433-2779 | |
b | Theoretical Computer Science | 1.002 | Elsevier | 0304-3975 |
b | Formal Aspects of Computing | 1.226 | Springer | 0934-5043 |
Full Name | Impact Factor | Publisher |
---|---|---|
International Journal on Software Tools for Technology Transfer | Springer | |
Theoretical Computer Science | 1.002 | Elsevier |
Formal Aspects of Computing | 1.226 | Springer |
Followed Researchers
Name | Institution | Registration | Score |
---|---|---|---|
Daoyuan Wu | Singapore Management University | 2016-09-18 | 914 |
Huixing Fang | East China Normal University | 2013-04-01 | 22 |
Name | Institution | Score |
---|---|---|
Daoyuan Wu | Singapore Management University | 914 |
Huixing Fang | East China Normal University | 22 |
Tracked Jobs
Job Title | Employer | Job Location |
---|---|---|
No results found. |
Job Title | Employer | Job Location |
---|---|---|
No results found. |
Viewed Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
No results found. |
Short | Full Name | Submission | Conference |
---|---|---|---|
No results found. |
Viewed Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
No results found. |
Full Name | Impact Factor | Publisher |
---|---|---|
No results found. |