Basic Information
Name: Zy Ming
Institution: Guizhou University
Registration: 2022-07-18
Score: 112
Tracked Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
b | b | a2 | VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | 2022-09-15 | 2022-10-20 | 2023-01-15 |
c | c | b3 | TASE | International Symposium on Theoretical Aspects of Software Engineering | 2022-02-27 | 2022-04-10 | 2022-07-08 |
a | a* | a1 | CAV | International Conference on Computer Aided Verification | 2022-01-21 | 2022-04-30 | 2022-08-07 |
a | b1 | ICLP | International Conference on Logic Programming | 2022-01-14 | 2022-03-14 | 2022-07-31 | |
c | c | b1 | CSL | Conference on Computer Science Logic | 2021-07-05 | 2021-09-30 | 2022-02-14 |
Short | Full Name | Submission | Conference |
---|---|---|---|
VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | 2022-09-15 | 2023-01-15 |
TASE | International Symposium on Theoretical Aspects of Software Engineering | 2022-02-27 | 2022-07-08 |
CAV | International Conference on Computer Aided Verification | 2022-01-21 | 2022-08-07 |
ICLP | International Conference on Logic Programming | 2022-01-14 | 2022-07-31 |
CSL | Conference on Computer Science Logic | 2021-07-05 | 2022-02-14 |
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 |
---|---|---|---|---|
b | Formal Methods in System Design | 0.442 | Springer | 0925-9856 |
c | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 |
Full Name | Impact Factor | Publisher |
---|---|---|
Formal Methods in System Design | 0.442 | Springer |
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
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. |