基本情報
名前: AA BB
機関: Alibaba Group
登記時間: 2019-06-16
スコア: 1173
关注の会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
cab1MFCSInternational Symposium on Mathematical Foundations of Computer Science2022-04-222022-06-212022-08-22
cb1ICFEMInternational Conference on Formal Engineering Methods2022-04-102022-06-262022-10-24
aa*a1FSEACM SIGSOFT Symposium on the Foundations of Software Engineering2022-03-102022-06-142022-11-14
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2022-02-272022-04-102022-07-08
bab1SATInternational Conference on Theory and Applications of Satisfiability Testing2022-02-212022-05-302022-08-02
ba*b1IJCARInternational Joint Conference on Automated Reasoning2022-02-112022-04-252022-08-07
baa1ICALPInternational Colloquium on Automata, Languages and Programming2022-02-102022-04-112022-07-04
aa*a1CAVInternational Conference on Computer Aided Verification2022-01-212022-04-302022-08-07
aa*a1SODAACM-SIAM Symposium on Discrete Algorithms2021-07-05 2022-01-09
出席の会議
CCFCOREQUALIS省略名完全な名前会議日場所
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
完全な名前会議日場所
International Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
关注の仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
cInformation Processing Letters0.959Elsevier0020-0190
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
bTheoretical Computer Science1.002Elsevier0304-3975
bFormal Aspects of Computing1.226Springer0934-5043
bMathematical Structures in Computer Science Cambridge University Press0960-1295
Electronic Notes in Theoretical Computer Science Elsevier1571-0661
完全な名前インパクト ・ ファクター出版社
Information Processing Letters0.959Elsevier
Logical Methods in Computer Science Logical Methods in Computer Science
Theoretical Computer Science1.002Elsevier
Formal Aspects of Computing1.226Springer
Mathematical Structures in Computer Science Cambridge University Press
Electronic Notes in Theoretical Computer Science Elsevier
关注の研究員
名前機関登記時間スコア
結果が得られませんでした。
名前機関スコア
結果が得られませんでした。
フォロー中の仕事
役職雇用主勤務地
結果が得られませんでした。
役職雇用主勤務地
結果が得られませんでした。
表示された会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
結果が得られませんでした。
省略名完全な名前提出日会議日
結果が得られませんでした。
閲覧したジャーナル
CCF完全な名前インパクト ・ ファクター出版社ISSN
結果が得られませんでした。
完全な名前インパクト ・ ファクター出版社
結果が得られませんでした。