基本情報
名前: AA BB
所属機関: Alibaba Group
登録日: 2019-06-16
スコア: 1320
研究関心プロフィール システム自動生成

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

履歴書
フォロー中の会議
合計 29 件。
CCFICORE略称正式名称投稿締切通知日開催日
CBREFSQRequirements Engineering: Foundation for Software Quality2026-11-052027-01-142027-04-12
CAICSTInternational Conference on Software Testing, Verification and Validation2026-11-022027-02-202027-05-17
BETAPSEuropean Joint Conferences on Theory and Practice of Software2026-10-152026-12-222027-04-10
CASTACSInternational Symposium on Theoretical Aspects of Computer Science2026-10-112026-12-222027-03-08
AA*FSEACM SIGSOFT Symposium on the Foundations of Software Engineering2026-10-022027-03-312027-07-12
BASANERIEEE International Conference on Software Analysis, Evolution, and Reengineering2026-09-212026-12-012027-03-09
AAEuroSysEuropean Conference on Computer Systems2026-09-172027-01-292027-04-19
AA*AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
CCAPSECAsia-Pacific Software Engineering Conference2026-07-202026-09-142026-12-07
AA*SODAACM-SIAM Symposium on Discrete Algorithms2026-07-092027-01-24
CFSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2026-07-042026-09-152026-12-16
CBISAACInternational Symposium on Algorithms and Computation2026-06-292026-09-072026-12-06
CCICTACInternational Colloquium on Theoretical Aspects of Computing2026-06-082026-08-102026-11-09
CATSAsian Test Symposium2026-06-062026-09-142026-12-01
CCICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
CBATVAInternational Symposium on Automated Technology for Verification and Analysis2026-05-192026-07-232026-12-01
BBFMCADFormal Methods in Computer-Aided Design2026-05-042026-07-192026-09-14
CCSEKEInternational Conference on Software Engineering and Knowledge Engineering2026-05-012026-06-202026-10-01
BASATInternational Conference on Theory and Applications of Satisfiability Testing2026-02-272026-04-302026-07-20
AIJCARInternational Joint Conference on Automated Reasoning2026-02-062026-04-142026-07-26
BA*ICALPInternational Colloquium on Automata, Languages and Programming2026-02-032026-04-202026-07-07
CBCOMPSACInternational Computer Software and Applications Conference2026-01-312026-04-012026-07-07
BA*IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AAISSTAInternational Symposium on Software Testing and Analysis2026-01-292026-06-252026-10-03
AA*CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
ABFMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
CCISPAInternational Symposium on Parallel and Distributed Processing with Applications2025-07-072025-08-072025-10-10
CTASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
CBMFCSInternational Symposium on Mathematical Foundations of Computer Science2024-04-262024-06-242024-08-26
参加した会議
合計 1 件。
CCFICORE略称正式名称開催日開催地
CTASEInternational Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
フォロー中のジャーナル
合計 6 件。
CCF正式名称インパクトファクター出版社ISSN
CInformation Processing Letters0.6Elsevier0020-0190
CLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
BTheoretical Computer Science1.0Elsevier0304-3975
BFormal Aspects of Computing1.4ACM0934-5043
BMathematical Structures in Computer ScienceCambridge University Press0960-1295
Electronic Notes in Theoretical Computer ScienceElsevier1571-0661
フォロー中の研究者
名前所属機関登録日スコア
結果が得られませんでした。