Basic Information
Name: Zhengpu Shi
Institution: Nanjing University of Aeronautics and Astronautics
Registration: 2023-04-27
Score: 55
Tracked Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
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 | |||
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 |
---|---|---|---|
CPP | International Conference on Certified Programs and Proofs | 2024-09-10 | 2025-01-19 |
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 |
---|---|---|---|---|
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 |
---|---|---|
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 |
---|---|---|---|---|---|---|---|
No results found. |
Short | Full Name | Submission | Conference |
---|---|---|---|
No results found. |
Viewed Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
No results found. |
Full Name | Impact Factor | Publisher |
---|---|---|
No results found. |