Basic Information
Name: Zy Ming
Institution: Guizhou University
Registration: 2022-07-18
Score: 125
Tracked Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
c | c | b3 | TASE | International Symposium on Theoretical Aspects of Software Engineering | 2025-02-01 | 2025-04-01 | 2025-07-14 |
b | b | a2 | VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | 2024-10-01 | 2024-11-08 | 2025-01-20 |
c | c | b1 | CSL | Conference on Computer Science Logic | 2024-07-18 | 2024-10-27 | 2025-02-10 |
a | a* | a1 | CAV | International Conference on Computer Aided Verification | 2024-01-19 | 2024-03-26 | 2024-07-22 |
a | b1 | ICLP | International Conference on Logic Programming | 2022-01-14 | 2022-03-14 | 2022-07-31 |
Short | Full Name | Submission | Conference |
---|---|---|---|
TASE | International Symposium on Theoretical Aspects of Software Engineering | 2025-02-01 | 2025-07-14 |
VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | 2024-10-01 | 2025-01-20 |
CSL | Conference on Computer Science Logic | 2024-07-18 | 2025-02-10 |
CAV | International Conference on Computer Aided Verification | 2024-01-19 | 2024-07-22 |
ICLP | International Conference on Logic Programming | 2022-01-14 | 2022-07-31 |
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.700 | 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.700 | 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. |