基本情報
名前: Jiawen XIONG
機関: East China Normal University
登記時間: 2018-06-24
スコア: 509
CV
关注の会議
33 件中 21 から 30 までを表示しています。
33 件中 21 から 30 までを表示しています。
| 省略名 | 完全な名前 | 提出日 | 会議日 |
|---|---|---|---|
| FSCD | International Conference on Formal Structures for Computation and Deduction | 2025-02-17 | 2025-07-14 |
| CAV | International Conference on Computer Aided Verification | 2025-01-31 | 2025-07-21 |
| ICECCS | International Conference on Engineering of Complex Computer Systems | 2025-01-28 | 2025-07-02 |
| LICS | IEEE Symposium on Logic in Computer Science | 2025-01-16 | 2025-06-23 |
| ICSR | International Conference on Software and Systems Reuse | 2024-12-03 | 2025-04-27 |
| HSCC | International Conference on Hybrid Systems: Computation and Control | 2024-10-31 | 2025-05-06 |
| TACAS | International Conference on Tools and Algorithms for the Construction and Analysis of Systems | 2024-10-10 | 2025-05-03 |
| FASE | Fundamental Approaches to Software Engineering | 2024-10-10 | 2025-05-03 |
| CONCUR | International Conference on Concurrency Theory | 2024-04-26 | 2024-09-09 |
| FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
出席の会議
2 件中 1 から 2 までを表示しています。
| CCF | CORE | QUALIS | 省略名 | 完全な名前 | 会議日 | 場所 |
|---|---|---|---|---|---|---|
| a | a* | a1 | ICSE | International Conference on Software Engineering | 2019-05-25 | Montreal, Canada |
| c | b | APSEC | Asia-Pacific Software Engineering Conference | 2018-12-04 | Nara, Japan |
2 件中 1 から 2 までを表示しています。
| 完全な名前 | 会議日 | 場所 |
|---|---|---|
| International Conference on Software Engineering | 2019-05-25 | Montreal, Canada |
| Asia-Pacific Software Engineering Conference | 2018-12-04 | Nara, Japan |
关注の仕訳帳
3 件中 1 から 3 までを表示しています。
| CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
|---|---|---|---|---|
| c | International Journal on Software Tools for Technology Transfer | 1.100 | Springer | 1433-2779 |
| b | Theoretical Computer Science | 1.0 | Elsevier | 0304-3975 |
| b | Formal Aspects of Computing | 1.400 | ACM | 0934-5043 |
3 件中 1 から 3 までを表示しています。
| 完全な名前 | インパクト ・ ファクター | 出版社 |
|---|---|---|
| International Journal on Software Tools for Technology Transfer | 1.100 | Springer |
| Theoretical Computer Science | 1.0 | Elsevier |
| Formal Aspects of Computing | 1.400 | ACM |
关注の研究員
2 件中 1 から 2 までを表示しています。
| 名前 | 機関 | 登記時間 | Score |
|---|---|---|---|
| Daoyuan Wu | Singapore Management University | 2016-09-18 | 914 |
| Huixing Fang | East China Normal University | 2013-04-01 | 22 |
2 件中 1 から 2 までを表示しています。
| 名前 | 機関 | Score |
|---|---|---|
| Daoyuan Wu | Singapore Management University | 914 |
| Huixing Fang | East China Normal University | 22 |