Basic Information
Name: Zhengpu Shi
Institution: Suzhou City University
Registration: 2023-04-27
Score: 86
Research Interest Profile Auto-generated by system

Based on the conferences and journals browsed, this researcher appears most interested in Software Engineering, Theory & Algorithms, Systems & Architecture. Frequently viewed venues include ICFEM, PPDP, TASE, ICTAC, SETTA.

My CV
Tracked Conferences
Total 7 items.
CCFICOREShortFull NameSubmissionNotificationConference
BCPPInternational Conference on Certified Programs and Proofs2026-09-032027-11-102027-01-10
CSETTASymposium on Dependable Software Engineering: Theories, Tools and Applications2026-08-102026-09-302026-12-02
CCICTACInternational Colloquium on Theoretical Aspects of Computing2026-06-082026-08-102026-11-09
CCICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
CPPDPACM SIGPLAN Symposium on Principles and Practice of Declarative Programming2026-05-202026-06-262026-08-24
CTASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
FACSInternational Conference on Formal Aspects of Component Software2024-05-232024-07-032024-09-09
Attend Conferences
CCFICOREShortFull 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.1Cambridge University Press1471-0684
BScience of Computer Programming1.4Elsevier0167-6423
BJournal of Functional Programming0.6Cambridge University Press0956-7968
Followed Researchers
NameInstitutionRegistrationScore
No results found.