Basic Information
Name: Zhengpu Shi
Institution: Suzhou City University
Registration: 2023-04-27
Score: 85
Tracked Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
c | SETTA | Symposium on Dependable Software Engineering: Theories, Tools and Applications | 2025-04-30 | 2025-06-16 | 2025-12-01 | ||
c | c | b3 | TASE | International Symposium on Theoretical Aspects of Software Engineering | 2025-03-01 | 2025-04-01 | 2025-07-14 |
CPP | International Conference on Certified Programs and Proofs | 2024-09-10 | 2024-11-19 | 2025-01-19 | |||
c | b1 | ICFEM | International Conference on Formal Engineering Methods | 2024-06-24 | 2024-09-09 | 2024-12-02 | |
c | b3 | ICTAC | International Colloquium on Theoretical Aspects of Computing | 2024-06-14 | 2024-09-01 | 2024-11-25 | |
FACS | International Conference on Formal Aspects of Component Software | 2024-05-23 | 2024-07-03 | 2024-09-09 | |||
b | b1 | PPDP | ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming | 2024-05-06 | 2024-07-03 | 2024-09-09 |
Short | Full Name | Submission | Conference |
---|---|---|---|
SETTA | Symposium on Dependable Software Engineering: Theories, Tools and Applications | 2025-04-30 | 2025-12-01 |
TASE | International Symposium on Theoretical Aspects of Software Engineering | 2025-03-01 | 2025-07-14 |
CPP | International Conference on Certified Programs and Proofs | 2024-09-10 | 2025-01-19 |
ICFEM | International Conference on Formal Engineering Methods | 2024-06-24 | 2024-12-02 |
ICTAC | International Colloquium on Theoretical Aspects of Computing | 2024-06-14 | 2024-11-25 |
FACS | International Conference on Formal Aspects of Component Software | 2024-05-23 | 2024-09-09 |
PPDP | ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming | 2024-05-06 | 2024-09-09 |
Attend Conferences
CCF | CORE | QUALIS | Short | Full Name | Conference | Location |
---|---|---|---|---|---|---|
No results found. |
Full Name | Conference | Location |
---|---|---|
No results found. |
Tracked Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
a | IEEE Transactions on Software Engineering | 6.500 | IEEE | 0098-5589 |
c | Theory and Practice of Logic Programming | 1.400 | Cambridge University Press | 1471-0684 |
b | Science of Computer Programming | 1.500 | Elsevier | 0167-6423 |
b | Journal of Functional Programming | 1.100 | Cambridge University Press | 0956-7968 |
Full Name | Impact Factor | Publisher |
---|---|---|
IEEE Transactions on Software Engineering | 6.500 | IEEE |
Theory and Practice of Logic Programming | 1.400 | Cambridge University Press |
Science of Computer Programming | 1.500 | Elsevier |
Journal of Functional Programming | 1.100 | Cambridge University Press |
Followed Researchers
Name | Institution | Registration | Score |
---|---|---|---|
No results found. |
Name | Institution | Score |
---|---|---|
No results found. |
Tracked Jobs
Job Title | Employer | Job Location |
---|---|---|
No results found. |
Job Title | Employer | Job Location |
---|---|---|
No results found. |
Viewed Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
c | SETTA | Symposium on Dependable Software Engineering: Theories, Tools and Applications | 2025-04-30 | 2025-06-16 | 2025-12-01 | ||
ICARIS | International Conference on Artificial Immune Systems | 2013-05-18 | 2013-06-18 | 2013-08-27 | |||
c | b3 | ICTAC | International Colloquium on Theoretical Aspects of Computing | 2024-06-14 | 2024-09-01 | 2024-11-25 | |
c | c | b3 | TASE | International Symposium on Theoretical Aspects of Software Engineering | 2025-03-01 | 2025-04-01 | 2025-07-14 |
c | b1 | ICFEM | International Conference on Formal Engineering Methods | 2024-06-24 | 2024-09-09 | 2024-12-02 |
Short | Full Name | Submission | Conference |
---|---|---|---|
SETTA | Symposium on Dependable Software Engineering: Theories, Tools and Applications | 2025-04-30 | 2025-12-01 |
ICARIS | International Conference on Artificial Immune Systems | 2013-05-18 | 2013-08-27 |
ICTAC | International Colloquium on Theoretical Aspects of Computing | 2024-06-14 | 2024-11-25 |
TASE | International Symposium on Theoretical Aspects of Software Engineering | 2025-03-01 | 2025-07-14 |
ICFEM | International Conference on Formal Engineering Methods | 2024-06-24 | 2024-12-02 |
Viewed Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
a | IEEE Transactions on Software Engineering | 6.500 | IEEE | 0098-5589 |
Full Name | Impact Factor | Publisher |
---|---|---|
IEEE Transactions on Software Engineering | 6.500 | IEEE |