Basic Information
Name: Gs Fan
Institution: Xiangtan University
Registration: 2020-05-03
Score: 879
CV
Tracked Conferences
Total 23 items.
CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa*a1OOPSLAObject-Oriented Programming Systems, Languages and Applications2026-03-172026-06-102026-10-03
baa2ICSMEInternational Conference on Software Maintenance and Evolution2026-02-272026-05-292026-09-14
baa1ECOOPEuropean Conference on Object-Oriented Programming2026-02-122026-04-092026-06-29
aaa2ISSTAInternational Symposium on Software Testing and Analysis2026-01-292026-06-252026-10-03
aa*a2LICSIEEE Symposium on Logic in Computer Science2026-01-152026-04-162026-07-20
ab1FMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
aa*a1PLDIACM SIGPLAN conference on Programming Language Design and Implementation2025-11-132026-03-052026-06-15
bSANERIEEE International Conference on Software Analysis, Evolution, and Reengineering2025-10-162025-12-092026-03-17
aa*a1FSEACM SIGSOFT Symposium on the Foundations of Software Engineering2025-09-112025-11-212026-07-05
bba2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102025-11-062026-01-11
aa*a1ICSEInternational Conference on Software Engineering2025-07-112025-10-172026-04-12
aa*a1POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2025-07-102025-10-022026-01-11
cbAPSECAsia-Pacific Software Engineering Conference2025-07-062025-09-132025-12-02
cbb1APLASAsian Symposium on Programming Languages and Systems2025-05-312025-07-182025-10-27
aaa1ASEInternational Conference on Automated Software Engineering2025-05-302025-08-142025-11-16
aa*a1SOSPACM Symposium on Operating Systems Principles2025-04-102025-07-152025-10-13
bab1LCTESACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems2025-03-072025-04-212025-06-16
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
baa2SASInternational Static Analysis Symposium2024-05-052024-07-072024-10-20
baa2ISSREInternational Symposium on Software Reliability Engineering2024-05-032024-07-262024-10-28
ba*b1IJCARInternational Joint Conference on Automated Reasoning2024-01-292024-03-282024-07-01
baa2CADEInternational Conference on Automated Deduction2017-02-112017-04-222017-08-06
Total 23 items.
Full NameSubmissionConference
Object-Oriented Programming Systems, Languages and Applications2026-03-172026-10-03
International Conference on Software Maintenance and Evolution2026-02-272026-09-14
European Conference on Object-Oriented Programming2026-02-122026-06-29
International Symposium on Software Testing and Analysis2026-01-292026-10-03
IEEE Symposium on Logic in Computer Science2026-01-152026-07-20
International Symposium on Formal Methods2025-11-252026-05-18
ACM SIGPLAN conference on Programming Language Design and Implementation2025-11-132026-06-15
IEEE International Conference on Software Analysis, Evolution, and Reengineering2025-10-162026-03-17
ACM SIGSOFT Symposium on the Foundations of Software Engineering2025-09-112026-07-05
International Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102026-01-11
International Conference on Software Engineering2025-07-112026-04-12
ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2025-07-102026-01-11
Asia-Pacific Software Engineering Conference2025-07-062025-12-02
Asian Symposium on Programming Languages and Systems2025-05-312025-10-27
International Conference on Automated Software Engineering2025-05-302025-11-16
ACM Symposium on Operating Systems Principles2025-04-102025-10-13
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems2025-03-072025-06-16
International Colloquium on Automata, Languages and Programming2025-02-072025-07-08
International Conference on Computer Aided Verification2025-01-312025-07-21
International Static Analysis Symposium2024-05-052024-10-20
International Symposium on Software Reliability Engineering2024-05-032024-10-28
International Joint Conference on Automated Reasoning2024-01-292024-07-01
International Conference on Automated Deduction2017-02-112017-08-06
Attend Conferences
Tracked Journals
Total 5 items.
CCFFull NameImpact FactorPublisherISSN
bEmpirical Software Engineering3.6Springer1382-3256
bFormal Methods in System Design0.700Springer0925-9856
bFormal Aspects of Computing1.400ACM0934-5043
bACM Transactions on Embedded Computing Systems2.800ACM1539-9087
aACM Transactions on Programming Languages and Systems1.500ACM0164-0925
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.