Basic Information
Name: Chenyang Zhu
Institution: University of Southampton
Registration: 2018-03-13
Score: 93
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
bb1FMInternational Symposium on Formal Methods2022-09-042022-11-152023-03-06
cb1FMCADFormal Methods in Computer-Aided Design2022-05-082022-07-012022-10-17
b1FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2022-05-042022-06-172022-09-12
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2022-02-272022-04-102022-07-08
bb1iFMInternational Conference on integrated Formal Methods2022-02-112022-03-182022-06-07
cb2ABZASM, Alloy, B and Z2021-02-152021-03-292021-06-07
ShortFull NameSubmissionConference
FMInternational Symposium on Formal Methods2022-09-042023-03-06
FMCADFormal Methods in Computer-Aided Design2022-05-082022-10-17
FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2022-05-042022-09-12
TASEInternational Symposium on Theoretical Aspects of Software Engineering2022-02-272022-07-08
iFMInternational Conference on integrated Formal Methods2022-02-112022-06-07
ABZASM, Alloy, B and Z2021-02-152021-06-07
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2018-08-29Guangzhou, China
cb2ABZASM, Alloy, B and Z2018-06-05Southampton, UK
Full NameConferenceLocation
International Symposium on Theoretical Aspects of Software Engineering2018-08-29Guangzhou, China
ASM, Alloy, B and Z2018-06-05Southampton, UK
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
bFormal Methods in System Design0.442Springer0925-9856
cFuture Generation Computer Systems7.307Elsevier0167-739X
bThe Journal of Systems Architecture: Embedded Software Design5.836Elsevier1383-7621
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
No results found.
Full NameImpact FactorPublisher
No results found.