Basic Information
Name: Wei Shen
Institution: Tongji University
Registration: 2019-12-02
Score: 292
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cbb1FSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2020-07-172020-09-142020-12-14
aa*a1RTSSIEEE Real-Time Systems Symposium2020-07-022020-09-142020-12-01
baa2ISSREInternational Symposium on Software Reliability Engineering2020-06-022020-07-302020-10-12
baa1ICCADInternational Conference on Computer-Aided Design2020-05-212020-07-212020-11-02
baa2ESEMInternational Symposium on Empirical Software Engineering and Measurement2020-05-182020-07-062020-10-05
baa2MODELSInternational Conference on Model Driven Engineering Languages and Systems2020-05-152020-07-132020-10-18
cb1FMCADFormal Methods in Computer-Aided Design2020-05-092020-07-022020-09-21
cb1ICFEMInternational Conference on Formal Engineering Methods2020-05-012020-06-192020-11-02
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
No results found.
Full NameConferenceLocation
No results found.
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
Full NameImpact FactorPublisher
Logical Methods in Computer Science Logical Methods in Computer Science
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
AIFUInternational Conference on Artificial Intelligence and Applications2020-07-042020-07-182020-07-25
CCSEAInternational Conference on Computer Science, Engineering and Applications2020-07-042020-07-182020-07-25
cNLPCCCCF International Conference on Natural Language Processing and Chinese Computing2020-06-072020-07-302020-10-14
cINTERSPEECHConference of the International Speech Communication Association2020-05-082020-07-242020-09-14
cHLPPInternational Symposium on High-level Parallel Programming and Applications2020-05-042020-06-042020-07-09
cb1FMCADFormal Methods in Computer-Aided Design2020-05-092020-07-022020-09-21
cb1ICCSAInternational Conference on Computational Science and Its Applications2020-04-262020-05-242020-07-01
cbACMLAsian Conference on Machine Learning2020-06-292020-08-262020-11-18
cb4FMICSInternational Conference on Formal Methods for Industrial Critical Systems2020-05-222020-07-012020-09-02
bb1SEFMInternational Conference on Software Engineering and Formal Methods2020-05-242020-06-262020-09-14
Viewed Journals
CCFFull NameImpact FactorPublisherISSN
cSecurity and Communication Networks1.376Hindawi1939-0122
bJournal of Automated Reasoning0.714Springer0168-7433
bFormal Methods in System Design0.875Springer0925-9856
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
bTheoretical Computer Science0.718Elsevier0304-3975
Full NameImpact FactorPublisher
Security and Communication Networks1.376Hindawi
Journal of Automated Reasoning0.714Springer
Formal Methods in System Design0.875Springer
Logical Methods in Computer Science Logical Methods in Computer Science
Theoretical Computer Science0.718Elsevier