Basic Information
Name: yang totti
Institution: buaa
Registration: 2026-06-30
Score: 36
My CV
Tracked Conferences
Total 4 items.
CCFICOREQUALISShortFull NameSubmissionNotificationConference
CAPSECAsia-Pacific Software Engineering Conference2026-06-302026-12-07
AA*A1CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
CAB2ICSTInternational Conference on Software Testing, Verification and Validation2025-12-152026-02-202026-05-18
BBA2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102025-11-062026-01-11
Attend Conferences
Total 1 item.
CCFICOREQUALISShortFull NameConferenceLocation
BBA2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2026-01-11Rennes, France
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
No results found.
Followed Researchers
NameInstitutionRegistrationScore
No results found.