Basic Information
Name: Chenyang Zhu
Institution: University of Southampton
Registration: 2018-03-13
Score: 93
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cb1FMCADFormal Methods in Computer-Aided Design2020-04-092020-06-022020-09-21
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-01-052020-03-132020-07-15
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
cb2ABZASM, Alloy, B and Z2018-01-222018-03-052018-06-05
ShortFull NameSubmissionConference
FMCADFormal Methods in Computer-Aided Design2020-04-092020-09-21
TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-01-052020-07-15
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
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 Systems5.768ELSEVIER0167-739X
bThe Journal of Systems Architecture: Embedded Software Design1.159ELSEVIER1383-7621
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.