Basic Information
Name: Zhengpu Shi
Institution: Suzhou City University
Registration: 2023-04-27
Score: 86
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. Frequently viewed venues include ICFEM, PPDP, ICTAC, SETTA, FACS.
My CV
Tracked Conferences
Total 7 items.
| CCF | ICORE | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|
| C | C | ICTAC | International Colloquium on Theoretical Aspects of Computing | 2026-06-08 | 2026-08-10 | 2026-11-09 |
| C | C | ICFEM | International Conference on Formal Engineering Methods | 2026-06-01 | 2026-08-08 | 2026-11-17 |
| C | PPDP | ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming | 2026-05-20 | 2026-06-26 | 2026-08-24 | |
| C | SETTA | Symposium on Dependable Software Engineering: Theories, Tools and Applications | 2025-08-20 | 2025-10-08 | 2025-12-01 | |
| C | TASE | International Symposium on Theoretical Aspects of Software Engineering | 2025-03-01 | 2025-04-01 | 2025-07-14 | |
| B | CPP | International Conference on Certified Programs and Proofs | 2024-09-10 | 2024-11-19 | 2025-01-19 | |
| FACS | International Conference on Formal Aspects of Component Software | 2024-05-23 | 2024-07-03 | 2024-09-09 |
Tracked Journals
Total 4 items.
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| A | IEEE Transactions on Software Engineering | 5.6 | IEEE | 0098-5589 |
| C | Theory and Practice of Logic Programming | 1.1 | Cambridge University Press | 1471-0684 |
| B | Science of Computer Programming | 1.4 | Elsevier | 0167-6423 |
| B | Journal of Functional Programming | 0.6 | Cambridge University Press | 0956-7968 |
Followed Researchers
| Name | Institution | Registration | Score |
|---|---|---|---|
No results found. | |||