Conference Partner » Researchers: Zy Ming
Basic Information
Name: Zy Ming
Institution: Guizhou University
Registration: 2022-07-18
Score: 125
CV
Tracked Conferences
Showing 1-5 of 5 items.
CCFCOREQUALISShortFull NameSubmissionNotificationConference
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
aa*a1CAVInternational Conference on Computer Aided Verification2025-01-312025-04-022025-07-21
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
Showing 1-2 of 2 items.
CCFFull NameImpact FactorPublisherISSN
bFormal Methods in System Design0.700Springer0925-9856
cLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
Showing 1-2 of 2 items.
Full NameImpact FactorPublisher
Formal Methods in System Design0.700Springer
Logical Methods in Computer ScienceLogical Methods in Computer Science
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.

Follower
No results found.
Advertisment