Basic Information
Name: Zhengpu Shi
Institution: Nanjing University of Aeronautics and Astronautics
Registration: 2023-04-27
Score: 55
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
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
bb1PPDPACM SIGPLAN Symposium on Principles and Practice of Declarative Programming2024-05-062024-07-032024-09-09
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
No results found.
Full NameConferenceLocation
No results found.
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
cTheory and Practice of Logic Programming1.400Cambridge University Press1471-0684
bScience of Computer Programming1.500Elsevier0167-6423
bJournal of Functional Programming1.100Cambridge University Press0956-7968
Full NameImpact FactorPublisher
Theory and Practice of Logic Programming1.400Cambridge University Press
Science of Computer Programming1.500Elsevier
Journal of Functional Programming1.100Cambridge University Press
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.