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-05-092020-07-022020-09-21
b1FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2020-04-182020-06-292020-09-01
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-01-242020-03-162020-07-15
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-05-092020-09-21
FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2020-04-182020-09-01
TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-01-242020-07-15
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.
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.