Basic Information
Name: yang totti
Institution: Beihang University
Registration: 2026-06-30
Score: 36
Research Interest Profile Auto-generated by system

Based on the conferences and journals browsed, this researcher appears most interested in Software Engineering. Frequently viewed venues include VMCAI, ICST, FMCAD, CAV, PASTE.

My CV
Tracked Conferences
Total 4 items.
CCFICOREShortFull NameSubmissionNotificationConference
CAICSTInternational Conference on Software Testing, Verification and Validation2026-11-022027-02-202027-05-17
BBVMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2026-09-162026-11-062027-01-11
CCAPSECAsia-Pacific Software Engineering Conference2026-07-202026-09-142026-12-07
AA*CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
Attend Conferences
Total 1 item.
CCFICOREShortFull NameConferenceLocation
BBVMCAIInternational 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.