Información Básica
Nombre: AA BB
Institución: Alibaba Group
Registro: 2019-06-16
Puntuación: 1267
Conferencias Seguidas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
bSANERIEEE International Conference on Software Analysis, Evolution, and Reengineering2023-10-132023-12-152024-03-12
bETAPSEuropean Joint Conferences on Theory and Practice of Software2023-10-122023-12-212024-04-06
caa2STACSInternational Symposium on Theoretical Aspects of Computer Science2023-09-282023-12-132024-03-12
aa*a1FSEACM SIGSOFT Symposium on the Foundations of Software Engineering2023-09-212024-01-232024-07-15
aa*a1AAAIAAAI Conference on Artificial Intelligence2023-08-082023-12-092024-02-20
cbb1FSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2023-07-122023-09-222023-12-18
cab1ISAACInternational Symposium on Algorithms and Computation2023-06-302023-09-042023-12-03
cATSAsian Test Symposium2022-07-012022-08-052022-11-21
aa*a1SODAACM-SIAM Symposium on Discrete Algorithms2021-07-05 2022-01-09
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.959Elsevier0020-0190
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
bTheoretical Computer Science1.002Elsevier0304-3975
bFormal Aspects of Computing1.226Springer0934-5043
bMathematical Structures in Computer Science Cambridge University Press0960-1295
Electronic Notes in Theoretical Computer Science Elsevier1571-0661
Nombre CompletoFactor de ImpactoEditor
Information Processing Letters0.959Elsevier
Logical Methods in Computer Science Logical Methods in Computer Science
Theoretical Computer Science1.002Elsevier
Formal Aspects of Computing1.226Springer
Mathematical Structures in Computer Science Cambridge University Press
Electronic Notes in Theoretical Computer Science Elsevier
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
bab1SATInternational Conference on Theory and Applications of Satisfiability Testing2024-03-082024-05-222024-08-21
cb3ICTACInternational Colloquium on Theoretical Aspects of Computing2024-06-142024-09-012024-11-25
cbb3ICA3PPInternational Conference on Algorithms and Architectures for Parallel Processing2024-05-302024-07-302024-10-29
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2024-01-172024-04-162024-08-03
aa*a1CAVInternational Conference on Computer Aided Verification2024-01-192024-03-262024-07-22
cb1ICFEMInternational Conference on Formal Engineering Methods2024-06-242024-09-092024-12-02
aa*a2LICSIEEE Symposium on Logic in Computer Science2024-01-212024-04-152024-07-08
cbb1SEKEInternational Conference on Software Engineering and Knowledge Engineering2024-06-012024-07-202024-10-26
Revistas vistos
CCFNombre CompletoFactor de ImpactoEditorISSN
AlgorithmsMDPI1999-4893
Nombre CompletoFactor de ImpactoEditor
AlgorithmsMDPI