Basic Information
Name: Zy Ming
Institution: Guizhou University
Registration: 2022-07-18
Score: 125
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-02-012025-04-012025-07-14
bba2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2024-10-012024-11-082025-01-20
ccb1CSLConference on Computer Science Logic2024-07-182024-10-272025-02-10
aa*a1CAVInternational Conference on Computer Aided Verification2024-01-192024-03-262024-07-22
ab1ICLPInternational Conference on Logic Programming2022-01-142022-03-142022-07-31
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
No results found.
Full NameConferenceLocation
No results found.
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
bFormal Methods in System Design0.700Springer0925-9856
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
Full NameImpact FactorPublisher
Formal Methods in System Design0.700Springer
Logical Methods in Computer Science Logical Methods in Computer Science
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
No results found.
ShortFull NameSubmissionConference
No results found.
Viewed Journals
CCFFull NameImpact FactorPublisherISSN
No results found.
Full NameImpact FactorPublisher
No results found.