Basic Information
Name: Gs Fan
Institution: Xiangtan University
Registration: 2020-05-03
Score: 416
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
bb1FMInternational Symposium on Formal Methods2021-04-302021-07-162021-11-20
baa1ICALPInternational Colloquium on Automata, Languages and Programming2021-02-122021-04-282021-07-12
baa1ECOOPEuropean Conference on Object-Oriented Programming2021-01-292021-03-242021-07-12
aaa2ISSTAInternational Symposium on Software Testing and Analysis2021-01-292021-03-242021-07-12
bSANERIEEE International Conference on Software Analysis, Evolution, and Reengineering2020-10-152020-12-142021-03-09
bba2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2020-10-052020-11-062021-01-17
aa*a1ICSEInternational Conference on Software Engineering2020-08-28 2021-05-23
cbAPSECAsia-Pacific Software Engineering Conference2020-07-102020-09-042020-12-01
aa*a1POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2020-07-09 2021-01-17
baa2ISSREInternational Symposium on Software Reliability Engineering2020-06-022020-07-302020-10-12
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
No results found.
Full NameConferenceLocation
No results found.
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
bEmpirical Software Engineering2.161Springer1382-3256
bFormal Methods in System Design0.875Springer0925-9856
bFormal Aspects of Computing1.226Springer0934-5043
bACM Transactions on Embedded Computing Systems ACM1539-9087
aACM Transactions on Programming Languages and Systems ACM0164-0925
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
bSANERIEEE International Conference on Software Analysis, Evolution, and Reengineering2020-10-152020-12-142021-03-09
cb3ICTACInternational Colloquium on Theoretical Aspects of Computing2020-06-222020-09-142020-11-30
baa2CADEInternational Conference on Automated Deduction2017-02-112017-04-222017-08-06
ba*b1IJCARInternational Joint Conference on Automated Reasoning2020-01-162020-03-202020-06-29
cbb1APLASAsian Symposium on Programming Languages and Systems  2020-11-29
baa1ICALPInternational Colloquium on Automata, Languages and Programming2021-02-122021-04-282021-07-12
baa2ISSREInternational Symposium on Software Reliability Engineering2020-06-022020-07-302020-10-12
bab1LCTESACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems2020-03-062020-04-062020-06-15
cbAPSECAsia-Pacific Software Engineering Conference2020-07-102020-09-042020-12-01
baa2SASInternational Static Analysis Symposium2020-05-222020-07-192020-11-18
Viewed Journals
CCFFull NameImpact FactorPublisherISSN
bFormal Methods in System Design0.875Springer0925-9856
bFormal Aspects of Computing1.226Springer0934-5043
bEmpirical Software Engineering2.161Springer1382-3256
aACM Transactions on Programming Languages and Systems ACM0164-0925
bACM Transactions on Embedded Computing Systems ACM1539-9087