Basic Information
Name: Wenjie Zhong
Institution: Inner Mongolia University
Registration: 2018-10-10
Score: 1715
Tracked Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
a | b1 | FM | International Symposium on Formal Methods | 2024-04-05 | 2024-06-03 | 2024-09-09 |
Short | Full Name | Submission | Conference |
---|---|---|---|
FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
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 | Journal of Computer Science and Technology | 1.200 | Springer | 1000-9000 |
Full Name | Impact Factor | Publisher |
---|---|---|
Journal of Computer Science and Technology | 1.200 | Springer |
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 |
---|---|---|---|---|---|---|---|
b | a | CSF | IEEE Computer Security Foundations Symposium | 2025-02-04 | 2025-04-08 | 2025-07-07 | |
a | a* | a1 | CAV | International Conference on Computer Aided Verification | 2025-01-31 | 2025-04-02 | 2025-07-21 |
a | b1 | FM | International Symposium on Formal Methods | 2024-04-05 | 2024-06-03 | 2024-09-09 |
Short | Full Name | Submission | Conference |
---|---|---|---|
CSF | IEEE Computer Security Foundations Symposium | 2025-02-04 | 2025-07-07 |
CAV | International Conference on Computer Aided Verification | 2025-01-31 | 2025-07-21 |
FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
Viewed Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
b | Formal Methods in System Design | 0.700 | Springer | 0925-9856 |
b | Formal Aspects of Computing | 1.400 | ACM | 0934-5043 |
Full Name | Impact Factor | Publisher |
---|---|---|
Formal Methods in System Design | 0.700 | Springer |
Formal Aspects of Computing | 1.400 | ACM |