Basic Information
Name: AA BB
Institution: Alibaba Group
Registration: 2019-06-16
Score: 1295
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
aaa2ISSTAInternational Symposium on Software Testing and Analysis2024-10-312024-12-192025-06-25
aaa2EuroSysEuropean Conference on Computer Systems2024-10-152025-01-252025-03-30
bETAPSEuropean Joint Conferences on Theory and Practice of Software2024-10-102024-12-202025-05-03
bSANERIEEE International Conference on Software Analysis, Evolution, and Reengineering2024-10-042024-11-292025-03-04
caa2STACSInternational Symposium on Theoretical Aspects of Computer Science2024-09-262024-12-162025-03-04
cab2ICSTInternational Conference on Software Testing, Verification and Validation2024-09-182024-12-112025-03-31
aa*a1FSEACM SIGSOFT Symposium on the Foundations of Software Engineering2024-09-052024-11-222025-06-23
cATSAsian Test Symposium2024-08-152024-09-152024-12-17
aa*a1AAAIAAAI Conference on Artificial Intelligence2024-08-072024-12-092025-02-25
cbAPSECAsia-Pacific Software Engineering Conference2024-07-062024-09-132024-12-03
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
Full NameConferenceLocation
International Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
cInformation Processing Letters0.700Elsevier0020-0190
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
bTheoretical Computer Science0.900Elsevier0304-3975
bFormal Aspects of ComputingSpringer0934-5043
bMathematical Structures in Computer Science Cambridge University Press0960-1295
Electronic Notes in Theoretical Computer ScienceElsevier1571-0661
Full NameImpact FactorPublisher
Information Processing Letters0.700Elsevier
Logical Methods in Computer Science Logical Methods in Computer Science
Theoretical Computer Science0.900Elsevier
Formal Aspects of ComputingSpringer
Mathematical Structures in Computer Science Cambridge University Press
Electronic Notes in Theoretical Computer ScienceElsevier
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.
Tracked Jobs
Job TitleEmployerJob Location
No results found.
Job TitleEmployerJob Location
No results found.
Viewed Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
bab1SATInternational Conference on Theory and Applications of Satisfiability Testing2024-03-082024-05-222024-08-21
cab1ISAACInternational Symposium on Algorithms and Computation2024-06-282024-09-022024-12-08
cb3ICTACInternational Colloquium on Theoretical Aspects of Computing2024-06-142024-09-012024-11-25
cbb3ICA3PPInternational Conference on Algorithms and Architectures for Parallel Processing2024-05-302024-07-302024-10-29
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2024-01-172024-04-162024-08-03
cbb1FSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2024-07-052024-09-162024-12-16
aa*a1CAVInternational Conference on Computer Aided Verification2024-01-192024-03-262024-07-22
cb1ICFEMInternational Conference on Formal Engineering Methods2024-06-242024-09-092024-12-02
aa*a2LICSIEEE Symposium on Logic in Computer Science2024-01-212024-04-152024-07-08
cbb1SEKEInternational Conference on Software Engineering and Knowledge Engineering2024-06-012024-07-202024-10-26
Viewed Journals
CCFFull NameImpact FactorPublisherISSN
AlgorithmsMDPI1999-4893
Full NameImpact FactorPublisher
AlgorithmsMDPI