Basic Information
Name: Zy Ming
Institution: Guizhou University
Registration: 2022-07-18
Score: 125
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ccb1CSLConference on Computer Science Logic2024-07-182024-10-272025-02-10
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2024-02-242024-04-102024-07-29
aa*a1CAVInternational Conference on Computer Aided Verification2024-01-192024-03-262024-07-22
bba2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2023-09-072023-10-112024-01-17
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.442Springer0925-9856
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
Full NameImpact FactorPublisher
Formal Methods in System Design0.442Springer
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
aInformation and Computation0.704Elsevier0890-5401
Full NameImpact FactorPublisher
Information and Computation0.704Elsevier