기본 정보
이름: AA BB
소속 기관: Alibaba Group
가입일: 2019-06-16
점수: 1320
연구 관심 프로필 시스템 자동 생성

조회한 학회와 저널로 볼 때, 이 연구자는 주로 소프트웨어 공학, 이론·알고리즘, 시스템·아키텍처에 관심이 있는 것으로 보입니다. 자주 조회하는 학회·저널로는 TASE, ISAAC, ICALP, STACS, FSTTCS 등이 있습니다.

이력서
팔로우한 학회
모두 29 개
CCFICOREQUALIS약칭정식 명칭투고 마감통보일개최일
CREFSQRequirements Engineering: Foundation for Software Quality2026-11-052027-01-142027-04-12
BETAPSEuropean Joint Conferences on Theory and Practice of Software2026-10-152026-12-222027-04-10
AA*A1FSEACM 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
AAA2EuroSysEuropean Conference on Computer Systems2026-09-172027-01-292027-04-19
AA*A1AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
CAPSECAsia-Pacific Software Engineering Conference2026-06-302026-12-07
CB3ICTACInternational Colloquium on Theoretical Aspects of Computing2026-06-082026-08-102026-11-09
CATSAsian Test Symposium2026-06-062026-09-142026-12-01
CB1ICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
CB1SEKEInternational Conference on Software Engineering and Knowledge Engineering2026-05-012026-06-202026-10-01
BAB1SATInternational Conference on Theory and Applications of Satisfiability Testing2026-02-272026-04-302026-07-20
AB1IJCARInternational Joint Conference on Automated Reasoning2026-02-062026-04-142026-07-26
CBA2COMPSACInternational Computer Software and Applications Conference2026-01-312026-04-012026-07-07
BA*A1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AAA2ISSTAInternational Symposium on Software Testing and Analysis2026-01-292026-06-252026-10-03
AA*A1CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
CAB2ICSTInternational Conference on Software Testing, Verification and Validation2025-12-152026-02-202026-05-18
AA*A1SODAACM-SIAM Symposium on Discrete Algorithms2025-12-082026-01-11
AB1FMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
CAA2STACSInternational Symposium on Theoretical Aspects of Computer Science2025-09-252025-12-122026-03-10
CB3ISPAInternational Symposium on Parallel and Distributed Processing with Applications2025-07-072025-08-072025-10-10
CB1FSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2025-07-042025-09-152025-12-17
CB1ISAACInternational Symposium on Algorithms and Computation2025-06-302025-08-302025-12-07
CB1ATVAInternational Symposium on Automated Technology for Verification and Analysis2025-04-252025-07-042025-10-27
BB1FMCADFormal Methods in Computer-Aided Design2025-04-202025-07-012025-10-06
CB3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
BA*A1ICALPInternational Colloquium on Automata, Languages and Programming2025-02-072025-04-142025-07-08
CB1MFCSInternational Symposium on Mathematical Foundations of Computer Science2024-04-262024-06-242024-08-26
참가한 학회
모두 1 개
CCFICOREQUALIS약칭정식 명칭개최일개최지
CB3TASEInternational 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
팔로우한 연구자
이름소속 기관가입일점수
결과가 없습니다.

광고