기본 정보
이름: Chenyang Zhu
소속 기관: University of Southampton
가입일: 2018-03-13
점수: 93
소속 기관: University of Southampton
가입일: 2018-03-13
점수: 93
연구 관심 프로필
시스템 자동 생성
조회한 학회와 저널로 볼 때, 이 연구자는 주로 소프트웨어 공학, 시스템·아키텍처, 이론·알고리즘에 관심이 있는 것으로 보입니다. 자주 조회하는 학회·저널로는 TASE, ABZ, FORMATS, FMCAD, FM 등이 있습니다.
이력서
팔로우한 학회
모두 6 개
| CCF | ICORE | 약칭 | 정식 명칭 | 투고 마감 | 통보일 | 개최일 |
|---|---|---|---|---|---|---|
| B | B | FMCAD | Formal Methods in Computer-Aided Design | 2026-05-04 | 2026-07-19 | 2026-09-14 |
| FORMATS | International Conference on Formal Modeling and Analysis of Timed Systems | 2026-04-13 | 2026-06-03 | 2026-09-02 | ||
| A | B | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 |
| C | TASE | International Symposium on Theoretical Aspects of Software Engineering | 2025-03-01 | 2025-04-01 | 2025-07-14 | |
| B | iFM | International Conference on integrated Formal Methods | 2022-02-11 | 2022-03-18 | 2022-06-07 | |
| C | ABZ | ASM, Alloy, B and Z | 2021-02-15 | 2021-03-29 | 2021-06-07 |
참가한 학회
모두 2 개
| CCF | ICORE | 약칭 | 정식 명칭 | 개최일 | 개최지 |
|---|---|---|---|---|---|
| C | TASE | International Symposium on Theoretical Aspects of Software Engineering | 2018-08-29 | Guangzhou, China | |
| C | ABZ | ASM, Alloy, B and Z | 2018-06-05 | Southampton, UK |
팔로우한 저널
모두 3 개
| CCF | 정식 명칭 | 영향력 지수 | 출판사 | ISSN |
|---|---|---|---|---|
| B | Formal Methods in System Design | 0.8 | Springer | 0925-9856 |
| C | Future Generation Computer Systems | 5.9 | Elsevier | 0167-739X |
| B | The Journal of Systems Architecture: Embedded Software Design | 5.3 | Elsevier | 1383-7621 |
팔로우한 연구자
| 이름 | 소속 기관 | 가입일 | 점수 |
|---|---|---|---|
결과가 없습니다. | |||