Conference Partner » Researchers: Zhengpu Shi
Basic Information
Name: Zhengpu Shi
Institution: Suzhou City University
Registration: 2023-04-27
Score: 86
CV
Tracked Conferences
Showing 1-7 of 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.
Full NameConferenceLocation
No results found.
Tracked Journals
Showing 1-4 of 4 items.
CCFFull NameImpact FactorPublisherISSN
aIEEE Transactions on Software Engineering6.500IEEE0098-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
Showing 1-4 of 4 items.
Full NameImpact FactorPublisher
IEEE Transactions on Software Engineering6.500IEEE
Theory and Practice of Logic Programming1.400Cambridge University Press
Science of Computer Programming1.4Elsevier
Journal of Functional Programming1.100Cambridge University Press
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.

Follower
No results found.
Advertisment