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

閲覧した会議やジャーナルから、この研究者は主に ソフトウェア工学, 理論・アルゴリズム に関心があると見られます。 よく閲覧する会議・ジャーナルには CAV, VMCAI, CSL, ICLP, TASE などがあります。

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