Información Básica
Nombre: Zhengpu Shi
Institución: Suzhou City University
Registro: 2023-04-27
Puntuación: 86
Currículum
Conferencias Seguidas
Total 7 elementos.
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
cb3ICTACInternational Colloquium on Theoretical Aspects of Computing2026-06-082026-08-102026-11-09
cb1ICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
bb1PPDPACM SIGPLAN Symposium on Principles and Practice of Declarative Programming2026-05-202026-06-262026-08-24
cSETTASymposium on Dependable Software Engineering: Theories, Tools and Applications2025-08-202025-10-082025-12-01
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
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
Conferencias Asistidas
CCFCOREQUALISAbreviaciónNombre CompletoConferenciaUbicación
No se encontraron resultados.
Revistas Seguidas
Total 4 elementos.
CCFNombre CompletoFactor de ImpactoEditorISSN
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
Investigadores Seguidos
NombreInstituciónRegistroScore
No se encontraron resultados.