Basic Information
Name: AA BB
Institution: Alibaba Group
Registration: 2019-06-16
Score: 1250
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cbb1SEKEInternational Conference on Software Engineering and Knowledge Engineering2024-06-012024-07-202024-10-26
aaa2ISSTAInternational Symposium on Software Testing and Analysis2024-04-122024-07-032024-09-16
ab1FMInternational Symposium on Formal Methods2024-04-052024-06-032024-09-09
bab1SATInternational Conference on Theory and Applications of Satisfiability Testing2024-03-082024-05-222024-08-21
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2024-02-242024-04-102024-07-29
cba2COMPSACInternational Computer Software and Applications Conference2024-02-152024-04-072024-07-02
baa1ICALPInternational Colloquium on Automata, Languages and Programming2024-02-142024-04-142024-07-08
ba*b1IJCARInternational Joint Conference on Automated Reasoning2024-01-292024-03-282024-07-01
aa*a1CAVInternational Conference on Computer Aided Verification2024-01-192024-03-262024-07-22
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2024-01-172024-04-162024-08-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.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
Full NameImpact FactorPublisher
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
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
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2024-01-172024-04-162024-08-03
aa*a1CAVInternational Conference on Computer Aided Verification2024-01-192024-03-262024-07-22
aa*a2LICSIEEE Symposium on Logic in Computer Science2024-01-212024-04-152024-07-08
ShortFull NameSubmissionConference
IJCAIInternational Joint Conference on Artificial Intelligence2024-01-172024-08-03
CAVInternational Conference on Computer Aided Verification2024-01-192024-07-22
LICSIEEE Symposium on Logic in Computer Science2024-01-212024-07-08
Viewed Journals
CCFFull NameImpact FactorPublisherISSN
AlgorithmsMDPI1999-4893
Full NameImpact FactorPublisher
AlgorithmsMDPI