Conference Partner » Researchers: Zy Ming
Basic Information
Name: Zy Ming
Institution: Guizhou University
Registration: 2022-07-18
Score: 125
CV
Tracked Conferences
Total 5 items.
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ab1ICLPInternational Conference on Logic Programming2026-01-312026-03-122026-07-20
aa*a1CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
bba2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102025-11-062026-01-11
ccb1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
No results found.
Tracked Journals
Total 2 items.
CCFFull NameImpact FactorPublisherISSN
bFormal Methods in System Design0.8Springer0925-9856
cLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
Followed Researchers
NameInstitutionRegistrationScore
No results found.

Follower
No results found.
Advertisment