Basic Information
Name: Shengxin Dai
Institution: Sichuan University
Registration: 2015-04-17
Score: 463
Tracked Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
c | b1 | FMCAD | Formal Methods in Computer-Aided Design | 2022-05-08 | 2022-07-01 | 2022-10-17 | |
b1 | FORMATS | International Conference on Formal Modeling and Analysis of Timed Systems | 2022-05-04 | 2022-06-17 | 2022-09-12 | ||
a | a | a1 | ASE | International Conference on Automated Software Engineering | 2022-04-29 | 2022-07-20 | 2022-09-26 |
c | b1 | ICFEM | International Conference on Formal Engineering Methods | 2022-04-10 | 2022-06-26 | 2022-10-24 | |
a | a* | a1 | FSE | ACM SIGSOFT Symposium on the Foundations of Software Engineering | 2022-03-10 | 2022-06-14 | 2022-11-14 |
a | a* | a1 | CVPR | IEEE Conference on Computer Vision and Pattern Recognition | 2021-11-09 | 2022-03-02 | 2022-06-21 |
a | a* | a1 | ICSE | International Conference on Software Engineering | 2021-08-27 | 2021-11-10 | 2022-05-21 |
Short | Full Name | Submission | Conference |
---|---|---|---|
FMCAD | Formal Methods in Computer-Aided Design | 2022-05-08 | 2022-10-17 |
FORMATS | International Conference on Formal Modeling and Analysis of Timed Systems | 2022-05-04 | 2022-09-12 |
ASE | International Conference on Automated Software Engineering | 2022-04-29 | 2022-09-26 |
ICFEM | International Conference on Formal Engineering Methods | 2022-04-10 | 2022-10-24 |
FSE | ACM SIGSOFT Symposium on the Foundations of Software Engineering | 2022-03-10 | 2022-11-14 |
CVPR | IEEE Conference on Computer Vision and Pattern Recognition | 2021-11-09 | 2022-06-21 |
ICSE | International Conference on Software Engineering | 2021-08-27 | 2022-05-21 |
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 |
---|---|---|---|---|
a | ACM Transactions on Software Engineering and Methodology | 2.057 | ACM | 1049-331x |
a | IEEE Transactions on Software Engineering | 4.778 | IEEE | 0098-5589 |
b | Empirical Software Engineering | 2.522 | Springer | 1382-3256 |
IEEE Transactions on Emerging Topics in Computing | 6.043 | IEEE | 2168-6750 | |
c | Integration, the VLSI Journal | 1.211 | Elsevier | 0167-9260 |
c | Frontiers of Computer Science | 0.434 | Springer | 2095-2228 |
b | Journal of Systems and Software | 2.829 | Elsevier | 0164-1212 |
b | Journal of Parallel and Distributed Computing | 3.734 | Elsevier | 0743-7315 |
Full Name | Impact Factor | Publisher |
---|---|---|
ACM Transactions on Software Engineering and Methodology | 2.057 | ACM |
IEEE Transactions on Software Engineering | 4.778 | IEEE |
Empirical Software Engineering | 2.522 | Springer |
IEEE Transactions on Emerging Topics in Computing | 6.043 | IEEE |
Integration, the VLSI Journal | 1.211 | Elsevier |
Frontiers of Computer Science | 0.434 | Springer |
Journal of Systems and Software | 2.829 | Elsevier |
Journal of Parallel and Distributed Computing | 3.734 | Elsevier |
Followed Researchers
Name | Institution | Registration | Score |
---|---|---|---|
No results found. |
Name | Institution | Score |
---|---|---|
No results found. |
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 |
---|---|---|---|---|
b | Empirical Software Engineering | 2.522 | Springer | 1382-3256 |
a | IEEE Transactions on Software Engineering | 4.778 | IEEE | 0098-5589 |
a | ACM Transactions on Software Engineering and Methodology | 2.057 | ACM | 1049-331x |
Full Name | Impact Factor | Publisher |
---|---|---|
Empirical Software Engineering | 2.522 | Springer |
IEEE Transactions on Software Engineering | 4.778 | IEEE |
ACM Transactions on Software Engineering and Methodology | 2.057 | ACM |