기본 정보
이름: Yuhan Li
소속 기관: National University of Defense Technology
가입일: 2023-02-21
점수: 44
소속 기관: National University of Defense Technology
가입일: 2023-02-21
점수: 44
연구 관심 프로필
시스템 자동 생성
조회한 학회와 저널로 볼 때, 이 연구자는 주로 소프트웨어 공학에 관심이 있는 것으로 보입니다. 자주 조회하는 학회·저널로는 ATVA, VMCAI, STVR 등이 있습니다.
이력서
팔로우한 학회
모두 2 개
| CCF | ICORE | 약칭 | 정식 명칭 | 투고 마감 | 통보일 | 개최일 |
|---|---|---|---|---|---|---|
| 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 |
참가한 학회
모두 2 개
| CCF | ICORE | 약칭 | 정식 명칭 | 개최일 | 개최지 |
|---|---|---|---|---|---|
| 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 |
팔로우한 저널
모두 1 개
| CCF | 정식 명칭 | 영향력 지수 | 출판사 | ISSN |
|---|---|---|---|---|
| B | Software Testing, Verification and Reliability | 1.2 | Wiley | 1099-1689 |
팔로우한 연구자
| 이름 | 소속 기관 | 가입일 | 점수 |
|---|---|---|---|
결과가 없습니다. | |||