기본 정보
이름: Zy Ming
소속 기관: Guizhou University
가입일: 2022-07-18
점수: 125
소속 기관: Guizhou University
가입일: 2022-07-18
점수: 125
연구 관심 프로필
시스템 자동 생성
조회한 학회와 저널로 볼 때, 이 연구자는 주로 소프트웨어 공학, 보안·프라이버시에 관심이 있는 것으로 보입니다. 자주 조회하는 학회·저널로는 CAV, VMCAI, CSL, TASE, ICLP 등이 있습니다.
이력서
팔로우한 학회
모두 5 개
| CCF | ICORE | QUALIS | 약칭 | 정식 명칭 | 투고 마감 | 통보일 | 개최일 |
|---|---|---|---|---|---|---|---|
| B | B1 | ICLP | International Conference on Logic Programming | 2026-01-31 | 2026-03-12 | 2026-07-20 | |
| A | A* | A1 | CAV | International Conference on Computer Aided Verification | 2026-01-28 | 2026-04-17 | 2026-07-26 |
| B | A2 | VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | 2025-09-10 | 2025-11-06 | 2026-01-11 | |
| C | B | B1 | CSL | Conference on Computer Science Logic | 2025-07-15 | 2025-10-14 | 2026-02-23 |
| C | B3 | TASE | International Symposium on Theoretical Aspects of Software Engineering | 2025-03-01 | 2025-04-01 | 2025-07-14 |
팔로우한 저널
모두 2 개
| CCF | 정식 명칭 | 영향력 지수 | 출판사 | ISSN |
|---|---|---|---|---|
| B | Formal Methods in System Design | 0.8 | Springer | 0925-9856 |
| C | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 |
팔로우한 연구자
| 이름 | 소속 기관 | 가입일 | 점수 |
|---|---|---|---|
결과가 없습니다. | |||