Basic Information
Name: Shengxin Dai
Institution: Sichuan University
Registration: 2015-04-17
Score: 382
Tracked Conferences
| CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|---|
| c | b1 | FMCAD | Formal Methods in Computer-Aided Design | 2020-04-09 | 2020-06-02 | 2020-09-21 | |
| c | b1 | ICFEM | International Conference on Formal Engineering Methods | 2019-05-14 | 2019-07-06 | 2019-11-05 | |
| b1 | FORMATS | International Conference on Formal Modeling and Analysis of Timed Systems | 2019-04-21 | 2019-06-12 | 2019-08-26 | ||
| a | a* | a1 | ICSE | International Conference on Software Engineering | 2018-08-24 | 2018-11-14 | 2019-05-25 |
| Short | Full Name | Submission | Conference |
|---|---|---|---|
| FMCAD | Formal Methods in Computer-Aided Design | 2020-04-09 | 2020-09-21 |
| ICFEM | International Conference on Formal Engineering Methods | 2019-05-14 | 2019-11-05 |
| FORMATS | International Conference on Formal Modeling and Analysis of Timed Systems | 2019-04-21 | 2019-08-26 |
| ICSE | International Conference on Software Engineering | 2018-08-24 | 2019-05-25 |
Attend Conferences
| CCF | CORE | QUALIS | Short | Full Name | Conference | Location |
|---|---|---|---|---|---|---|
| No results found. | ||||||
| Full Name | Conference | Location |
|---|---|---|
| No results found. | ||
Tracked Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| IEEE Transactions on Emerging Topics in Computing | IEEE | 2168-6750 | ||
| c | Integration, the VLSI Journal | 0.906 | ELSEVIER | 0167-9260 |
| c | Frontiers of Computer Science | 0.434 | Springer | 2095-2228 |
| b | Journal of Systems and Software | 2.559 | ELSEVIER | 0164-1212 |
| b | Journal of Parallel and Distributed Computing | 1.819 | ELSEVIER | 0743-7315 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| IEEE Transactions on Emerging Topics in Computing | IEEE | |
| Integration, the VLSI Journal | 0.906 | ELSEVIER |
| Frontiers of Computer Science | 0.434 | Springer |
| Journal of Systems and Software | 2.559 | ELSEVIER |
| Journal of Parallel and Distributed Computing | 1.819 | ELSEVIER |
Followed Researchers
| Name | Institution | Registration | Score |
|---|---|---|---|
| No results found. | |||
| Name | Institution | Score |
|---|---|---|
| No results found. | ||