Basic Information
Name: Zy Ming
Institution: Guizhou University
Registration: 2022-07-18
Score: 125
Research Interest Profile Auto-generated by system

Based on the conferences and journals browsed, this researcher appears most interested in Software Engineering, Security & Privacy. Frequently viewed venues include CAV, VMCAI, CSL, TASE, ICLP.

My CV
Tracked Conferences
Total 5 items.
CCFICOREQUALISShortFull NameSubmissionNotificationConference
BB1ICLPInternational Conference on Logic Programming2026-01-312026-03-122026-07-20
AA*A1CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
BA2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102025-11-062026-01-11
CBB1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
CB3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
Attend Conferences
CCFICOREQUALISShortFull 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.