Basic Information
Name: Yuhan Li
Institution: National University of Defense Technology
Registration: 2023-02-21
Score: 44
Institution: National University of Defense Technology
Registration: 2023-02-21
Score: 44
Research Interest Profile
Auto-generated by system
Based on the conferences and journals browsed, this researcher appears most interested in Software Engineering. Frequently viewed venues include ATVA, VMCAI, STVR.
My CV
Tracked Conferences
Total 2 items.
| CCF | ICORE | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|
| B | B | VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | 2026-09-16 | 2026-11-06 | 2027-01-11 |
| C | B | ATVA | International Symposium on Automated Technology for Verification and Analysis | 2026-05-19 | 2026-07-23 | 2026-12-01 |
Attend Conferences
Total 2 items.
| CCF | ICORE | Short | Full Name | Conference | Location |
|---|---|---|---|---|---|
| B | B | VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | 2023-01-15 | Online |
| C | B | ATVA | International Symposium on Automated Technology for Verification and Analysis | 2022-10-25 | Beijing, China |
Tracked Journals
Total 1 item.
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| B | Software Testing, Verification and Reliability | 1.2 | Wiley | 1099-1689 |
Followed Researchers
| Name | Institution | Registration | Score |
|---|---|---|---|
No results found. | |||