Basic Information
Name: Chenyang Zhu
Institution: University of Southampton
Registration: 2018-03-13
Score: 93
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cb1FMCADFormal Methods in Computer-Aided Design2019-05-172019-07-032019-10-22
b1FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2019-04-212019-06-122019-08-26
bb1FMInternational Symposium on Formal Methods2019-03-282019-06-112019-10-07
bb1iFMInternational Conference on integrated Formal Methods2018-04-252018-06-142018-09-05
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2018-03-092018-05-062018-08-29
cb2ABZASM, Alloy, B and Z2018-01-222018-03-052018-06-05
ShortFull NameSubmissionConference
FMCADFormal Methods in Computer-Aided Design2019-05-172019-10-22
FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2019-04-212019-08-26
FMInternational Symposium on Formal Methods2019-03-282019-10-07
iFMInternational Conference on integrated Formal Methods2018-04-252018-09-05
TASEInternational Symposium on Theoretical Aspects of Software Engineering2018-03-092018-08-29
ABZASM, Alloy, B and Z2018-01-222018-06-05
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.875Springer0925-9856
cFuture Generation Computer Systems4.639ELSEVIER0167-739X
bThe Journal of Systems Architecture: Embedded Software Design0.913ELSEVIER1383-7621
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.