Conference Partner » Researchers: Jian Liu
Basic Information
Name: Jian Liu
Institution: Institute of Software, Chinese Academy of Sciences
Registration: 2015-09-07
Score: 1207
CV
Tracked Conferences
Showing 11-20 of 20 items.
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cb1FMCADFormal Methods in Computer-Aided Design2025-04-202025-07-012025-10-06
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
aa*a2LICSIEEE Symposium on Logic in Computer Science2025-01-162025-04-082025-06-23
aa2ESOPEuropean Symposium on Programming2024-10-102024-12-192025-05-03
cab2ICSTInternational Conference on Software Testing, Verification and Validation2024-09-182024-12-112025-03-31
ab1FMInternational Symposium on Formal Methods2024-04-052024-06-032024-09-09
ba*b1IJCARInternational Joint Conference on Automated Reasoning2024-01-292024-03-282024-07-01
aa*a2ESECEuropean Software Engineering Conference2022-03-102022-06-142022-11-14
cSPINInternational SPIN Symposium on Model Checking of Software2025-05-07
Attend Conferences
Showing 1-1 of 1 item.
CCFCOREQUALISShortFull NameConferenceLocation
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2017-09-13Nice, France
Showing 1-1 of 1 item.
Full NameConferenceLocation
International Symposium on Theoretical Aspects of Software Engineering2017-09-13Nice, France
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
No results found.
Full NameImpact FactorPublisher
No results found.
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.

Follower
No results found.
Advertisment