Conference Partner » Researchers: Zhengpu Shi
Basic Information
Name: Zhengpu Shi
Institution: Suzhou City University
Registration: 2023-04-27
Score: 86
CV
Tracked Conferences
Total 7 items.
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cSETTASymposium on Dependable Software Engineering: Theories, Tools and Applications2025-08-202025-10-082025-12-01
cb3ICTACInternational Colloquium on Theoretical Aspects of Computing2025-06-142025-08-302025-11-24
cb1ICFEMInternational Conference on Formal Engineering Methods2025-05-252025-08-012025-11-10
bb1PPDPACM SIGPLAN Symposium on Principles and Practice of Declarative Programming2025-05-182025-07-072025-09-10
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
CPPInternational Conference on Certified Programs and Proofs2024-09-102024-11-192025-01-19
FACSInternational Conference on Formal Aspects of Component Software2024-05-232024-07-032024-09-09
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
No results found.
Tracked Journals
Total 4 items.
CCFFull NameImpact FactorPublisherISSN
aIEEE Transactions on Software Engineering5.6IEEE0098-5589
cTheory and Practice of Logic Programming1.400Cambridge University Press1471-0684
bScience of Computer Programming1.4Elsevier0167-6423
bJournal of Functional Programming1.100Cambridge University Press0956-7968
Followed Researchers
NameInstitutionRegistrationScore
No results found.

Follower
No results found.
Advertisment