Basic Information
Name: Wei Shen
Institution: Tongji University
Registration: 2019-12-02
Score: 292
Tracked Conferences
| CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|---|
| c | b | b1 | FSTTCS | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | 2020-07-17 | 2020-09-14 | 2020-12-14 |
| a | a* | a1 | RTSS | IEEE Real-Time Systems Symposium | 2020-07-02 | 2020-09-14 | 2020-12-01 |
| b | a | a2 | ISSRE | International Symposium on Software Reliability Engineering | 2020-06-02 | 2020-07-30 | 2020-10-12 |
| b | a | a1 | ICCAD | International Conference on Computer-Aided Design | 2020-05-21 | 2020-07-21 | 2020-11-02 |
| b | a | a2 | ESEM | International Symposium on Empirical Software Engineering and Measurement | 2020-05-18 | 2020-07-06 | 2020-10-05 |
| b | a | a2 | MODELS | International Conference on Model Driven Engineering Languages and Systems | 2020-05-15 | 2020-07-13 | 2020-10-18 |
| c | b1 | FMCAD | Formal Methods in Computer-Aided Design | 2020-05-09 | 2020-07-02 | 2020-09-21 | |
| c | b1 | ICFEM | International Conference on Formal Engineering Methods | 2020-05-01 | 2020-06-19 | 2020-11-02 |
| Short | Full Name | Submission | Conference |
|---|---|---|---|
| FSTTCS | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | 2020-07-17 | 2020-12-14 |
| RTSS | IEEE Real-Time Systems Symposium | 2020-07-02 | 2020-12-01 |
| ISSRE | International Symposium on Software Reliability Engineering | 2020-06-02 | 2020-10-12 |
| ICCAD | International Conference on Computer-Aided Design | 2020-05-21 | 2020-11-02 |
| ESEM | International Symposium on Empirical Software Engineering and Measurement | 2020-05-18 | 2020-10-05 |
| MODELS | International Conference on Model Driven Engineering Languages and Systems | 2020-05-15 | 2020-10-18 |
| FMCAD | Formal Methods in Computer-Aided Design | 2020-05-09 | 2020-09-21 |
| ICFEM | International Conference on Formal Engineering Methods | 2020-05-01 | 2020-11-02 |
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 |
|---|---|---|---|---|
| c | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| Logical Methods in Computer Science | Logical Methods in Computer Science |
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
| Short | Full Name | Submission | Conference |
|---|---|---|---|
| AIFU | International Conference on Artificial Intelligence and Applications | 2020-07-04 | 2020-07-25 |
| CCSEA | International Conference on Computer Science, Engineering and Applications | 2020-07-04 | 2020-07-25 |
| NLPCC | CCF International Conference on Natural Language Processing and Chinese Computing | 2020-06-07 | 2020-10-14 |
| INTERSPEECH | Conference of the International Speech Communication Association | 2020-05-08 | 2020-09-14 |
| HLPP | International Symposium on High-level Parallel Programming and Applications | 2020-05-04 | 2020-07-09 |
| FMCAD | Formal Methods in Computer-Aided Design | 2020-05-09 | 2020-09-21 |
| ICCSA | International Conference on Computational Science and Its Applications | 2020-04-26 | 2020-07-01 |
| ACML | Asian Conference on Machine Learning | 2020-06-29 | 2020-11-18 |
| FMICS | International Conference on Formal Methods for Industrial Critical Systems | 2020-05-22 | 2020-09-02 |
| SEFM | International Conference on Software Engineering and Formal Methods | 2020-05-24 | 2020-09-14 |
Viewed Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| c | Security and Communication Networks | 1.376 | Hindawi | 1939-0122 |
| b | Journal of Automated Reasoning | 0.714 | Springer | 0168-7433 |
| b | Formal Methods in System Design | 0.875 | Springer | 0925-9856 |
| c | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 | |
| b | Theoretical Computer Science | 0.718 | Elsevier | 0304-3975 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| Security and Communication Networks | 1.376 | Hindawi |
| Journal of Automated Reasoning | 0.714 | Springer |
| Formal Methods in System Design | 0.875 | Springer |
| Logical Methods in Computer Science | Logical Methods in Computer Science | |
| Theoretical Computer Science | 0.718 | Elsevier |