Conference Partner » 研究員: Zy Ming
基本情報
名前: Zy Ming
機関: Guizhou University
登記時間: 2022-07-18
スコア: 125
CV
关注の会議
5 件中 1 から 5 までを表示しています。
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
bba2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102025-11-062026-01-11
ccb1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
aa*a1CAVInternational Conference on Computer Aided Verification2025-01-312025-04-022025-07-21
ab1ICLPInternational Conference on Logic Programming2022-01-142022-03-142022-07-31
5 件中 1 から 5 までを表示しています。
省略名完全な名前提出日会議日
VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102026-01-11
CSLConference on Computer Science Logic2025-07-152026-02-23
TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-07-14
CAVInternational Conference on Computer Aided Verification2025-01-312025-07-21
ICLPInternational Conference on Logic Programming2022-01-142022-07-31
出席の会議
CCFCOREQUALIS省略名完全な名前会議日場所
結果が得られませんでした。
完全な名前会議日場所
結果が得られませんでした。
关注の仕訳帳
2 件中 1 から 2 までを表示しています。
CCF完全な名前インパクト ・ ファクター出版社ISSN
bFormal Methods in System Design0.700Springer0925-9856
cLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
2 件中 1 から 2 までを表示しています。
完全な名前インパクト ・ ファクター出版社
Formal Methods in System Design0.700Springer
Logical Methods in Computer ScienceLogical Methods in Computer Science
关注の研究員
名前機関登記時間Score
結果が得られませんでした。
名前機関Score
結果が得られませんでした。

关注者
結果が得られませんでした。
サプライズ