基本情報
名前: Keqiang Bai
所属機関: Southwest University of Science and Technology
登録日: 2024-09-07
スコア: 84
所属機関: Southwest University of Science and Technology
登録日: 2024-09-07
スコア: 84
履歴書
参加した会議
合計 1 件。
| CCF | CORE | QUALIS | 略称 | 正式名称 | 開催日 | 開催地 |
|---|---|---|---|---|---|---|
| b | b | a2 | VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | 2025-01-20 | Denver, Colorado, USA |
フォロー中のジャーナル
| CCF | 正式名称 | インパクトファクター | 出版社 | ISSN |
|---|---|---|---|---|
結果が得られませんでした。 | ||||
フォロー中の研究者
| 名前 | 所属機関 | 登録日 | スコア |
|---|---|---|---|
結果が得られませんでした。 | |||