Información Básica
Nombre: AA BB
Institución: Alibaba Group
Registro: 2019-06-16
Puntuación: 1314
Conferencias Seguidas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
cbb3ISPAInternational Symposium on Parallel and Distributed Processing with Applications2024-07-012024-08-012024-10-30
cab1ISAACInternational Symposium on Algorithms and Computation2024-06-282024-09-022024-12-08
cb1ICFEMInternational Conference on Formal Engineering Methods2024-06-242024-09-092024-12-02
cb3ICTACInternational Colloquium on Theoretical Aspects of Computing2024-06-142024-09-012024-11-25
cbb1SEKEInternational Conference on Software Engineering and Knowledge Engineering2024-06-012024-07-202024-10-26
cab1MFCSInternational Symposium on Mathematical Foundations of Computer Science2024-04-262024-06-242024-08-26
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2024-04-192024-06-192024-10-21
ab1FMInternational Symposium on Formal Methods2024-04-052024-06-032024-09-09
ba*b1IJCARInternational Joint Conference on Automated Reasoning2024-01-292024-03-282024-07-01
Conferencias Asistidas
CCFCOREQUALISAbreviaciónNombre CompletoConferenciaUbicación
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
Nombre CompletoConferenciaUbicación
International Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
Revistas Seguidas
CCFNombre CompletoFactor de ImpactoEditorISSN
cInformation Processing Letters0.700Elsevier0020-0190
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
bTheoretical Computer Science0.900Elsevier0304-3975
bFormal Aspects of Computing1.400ACM0934-5043
bMathematical Structures in Computer Science Cambridge University Press0960-1295
Electronic Notes in Theoretical Computer ScienceElsevier1571-0661
Nombre CompletoFactor de ImpactoEditor
Information Processing Letters0.700Elsevier
Logical Methods in Computer Science Logical Methods in Computer Science
Theoretical Computer Science0.900Elsevier
Formal Aspects of Computing1.400ACM
Mathematical Structures in Computer Science Cambridge University Press
Electronic Notes in Theoretical Computer ScienceElsevier
Investigadores Seguidos
NombreInstituciónRegistroPuntuación
No se encontraron resultados.
NombreInstituciónPuntuación
No se encontraron resultados.
Trabajos rastreados
Título profesionalEmpleadoralocación de trabajo
No se encontraron resultados.
Título profesionalEmpleadoralocación de trabajo
No se encontraron resultados.
Conferencias vistas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
No se encontraron resultados.
AbreviaciónNombre CompletoEntregaConferencia
No se encontraron resultados.
Revistas vistos
CCFNombre CompletoFactor de ImpactoEditorISSN
No se encontraron resultados.
Nombre CompletoFactor de ImpactoEditor
No se encontraron resultados.