Basic Information
Name: Lijie Gao
Institution: Zhejiang University
Registration: 2021-03-20
Score: 75
Institution: Zhejiang University
Registration: 2021-03-20
Score: 75
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 FM, TASE, ATVA, ICST', ICST.
My CV
Tracked Conferences
Total 1 item.
| CCF | ICORE | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|
| A | B | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 |
Attend Conferences
Total 2 items.
| CCF | ICORE | Short | Full Name | Conference | Location |
|---|---|---|---|---|---|
| C | B | ATVA | International Symposium on Automated Technology for Verification and Analysis | 2021-10-18 | Gold Coast, Australia |
| C | B | ATVA | International Symposium on Automated Technology for Verification and Analysis | 2022-10-25 | Beijing, China |
Tracked Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
No results found. | ||||
Followed Researchers
| Name | Institution | Registration | Score |
|---|---|---|---|
No results found. | |||