Conference Partner » Researchers: AA BB
Basic Information
Name: AA BB
Institution: Alibaba Group
Registration: 2019-06-16
Score: 1320
CV
Tracked Conferences
Total 29 items.
CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
cba2COMPSACInternational Computer Software and Applications Conference2026-01-312026-04-012026-07-07
aaa2ISSTAInternational Symposium on Software Testing and Analysis2026-01-292026-06-252026-10-03
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
bETAPSEuropean Joint Conferences on Theory and Practice of Software2025-10-302025-12-222026-04-11
cREFSQRequirements Engineering: Foundation for Software Quality2025-10-172025-12-152026-03-23
bSANERIEEE International Conference on Software Analysis, Evolution, and Reengineering2025-10-162025-12-092026-03-17
caa2STACSInternational Symposium on Theoretical Aspects of Computer Science2025-09-252025-12-122026-03-10
aaa2EuroSysEuropean Conference on Computer Systems2025-09-182026-01-302026-04-13
aa*a1FSEACM SIGSOFT Symposium on the Foundations of Software Engineering2025-09-112025-11-212026-07-05
cATSAsian Test Symposium2025-08-052025-09-242025-12-16
aa*a1AAAIAAAI Conference on Artificial Intelligence2025-07-252025-11-032026-01-20
cbb3ISPAInternational Symposium on Parallel and Distributed Processing with Applications2025-07-072025-08-072025-10-10
cbAPSECAsia-Pacific Software Engineering Conference2025-07-062025-09-132025-12-02
cbb1FSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2025-07-042025-09-152025-12-17
cb3ICTACInternational Colloquium on Theoretical Aspects of Computing2025-06-142025-08-302025-11-24
cb1ICFEMInternational Conference on Formal Engineering Methods2025-05-252025-08-012025-11-10
cbb1SEKEInternational Conference on Software Engineering and Knowledge Engineering2025-05-012025-06-202025-09-29
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2025-04-252025-07-042025-10-27
cb1FMCADFormal Methods in Computer-Aided Design2025-04-202025-07-012025-10-06
bab1SATInternational Conference on Theory and Applications of Satisfiability Testing2025-03-202025-05-052025-08-11
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
baa1ICALPInternational Colloquium on Automata, Languages and Programming2025-02-072025-04-142025-07-08
aa*a1CAVInternational Conference on Computer Aided Verification2025-01-312025-04-022025-07-21
cab1ISAACInternational Symposium on Algorithms and Computation2024-06-282024-09-022024-12-08
cab1MFCSInternational Symposium on Mathematical Foundations of Computer Science2024-04-262024-06-242024-08-26
ba*b1IJCARInternational Joint Conference on Automated Reasoning2024-01-292024-03-282024-07-01
Total 29 items.
Full NameSubmissionConference
International Joint Conference on Artificial Intelligence2026-01-312026-08-15
International Computer Software and Applications Conference2026-01-312026-07-07
International Symposium on Software Testing and Analysis2026-01-292026-10-03
International Conference on Software Testing, Verification and Validation2025-12-152026-05-18
ACM-SIAM Symposium on Discrete Algorithms2025-12-082026-01-11
International Symposium on Formal Methods2025-11-252026-05-18
European Joint Conferences on Theory and Practice of Software2025-10-302026-04-11
Requirements Engineering: Foundation for Software Quality2025-10-172026-03-23
IEEE International Conference on Software Analysis, Evolution, and Reengineering2025-10-162026-03-17
International Symposium on Theoretical Aspects of Computer Science2025-09-252026-03-10
European Conference on Computer Systems2025-09-182026-04-13
ACM SIGSOFT Symposium on the Foundations of Software Engineering2025-09-112026-07-05
Asian Test Symposium2025-08-052025-12-16
AAAI Conference on Artificial Intelligence2025-07-252026-01-20
International Symposium on Parallel and Distributed Processing with Applications2025-07-072025-10-10
Asia-Pacific Software Engineering Conference2025-07-062025-12-02
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2025-07-042025-12-17
International Colloquium on Theoretical Aspects of Computing2025-06-142025-11-24
International Conference on Formal Engineering Methods2025-05-252025-11-10
International Conference on Software Engineering and Knowledge Engineering2025-05-012025-09-29
International Symposium on Automated Technology for Verification and Analysis2025-04-252025-10-27
Formal Methods in Computer-Aided Design2025-04-202025-10-06
International Conference on Theory and Applications of Satisfiability Testing2025-03-202025-08-11
International Symposium on Theoretical Aspects of Software Engineering2025-03-012025-07-14
International Colloquium on Automata, Languages and Programming2025-02-072025-07-08
International Conference on Computer Aided Verification2025-01-312025-07-21
International Symposium on Algorithms and Computation2024-06-282024-12-08
International Symposium on Mathematical Foundations of Computer Science2024-04-262024-08-26
International Joint Conference on Automated Reasoning2024-01-292024-07-01
Attend Conferences
Total 1 item.
CCFCOREQUALISShortFull NameConferenceLocation
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
Total 1 item.
Full NameConferenceLocation
International Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
Tracked Journals
Total 6 items.
CCFFull NameImpact FactorPublisherISSN
cInformation Processing Letters0.700Elsevier0020-0190
cLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
bTheoretical Computer Science1.0Elsevier0304-3975
bFormal Aspects of Computing1.400ACM0934-5043
bMathematical Structures in Computer ScienceCambridge University Press0960-1295
Electronic Notes in Theoretical Computer ScienceElsevier1571-0661
Total 6 items.
Full NameImpact FactorPublisher
Information Processing Letters0.700Elsevier
Logical Methods in Computer ScienceLogical Methods in Computer Science
Theoretical Computer Science1.0Elsevier
Formal Aspects of Computing1.400ACM
Mathematical Structures in Computer ScienceCambridge University Press
Electronic Notes in Theoretical Computer ScienceElsevier
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.

Follower
No results found.
Advertisment