基本情報
名前: Zy Ming
所属機関: Guizhou University
登録日: 2022-07-18
スコア: 125
研究関心プロフィール システム自動生成

閲覧した会議やジャーナルから、この研究者は主に ソフトウェア工学, セキュリティ・プライバシー に関心があると見られます。 よく閲覧する会議・ジャーナルには CAV, VMCAI, CSL, TASE, ICLP などがあります。

履歴書
フォロー中の会議
合計 5 件。
CCFICOREQUALIS略称正式名称投稿締切通知日開催日
BB1ICLPInternational Conference on Logic Programming2026-01-312026-03-122026-07-20
AA*A1CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
BBA2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102025-11-062026-01-11
CBB1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
CB3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
参加した会議
CCFICOREQUALIS略称正式名称開催日開催地
結果が得られませんでした。
フォロー中のジャーナル
合計 2 件。
CCF正式名称インパクトファクター出版社ISSN
BFormal Methods in System Design0.8Springer0925-9856
CLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
フォロー中の研究者
名前所属機関登録日スコア
結果が得られませんでした。