Conference Partner » Investigadores: AA BB
Información Básica
Nombre: AA BB
Institución: Alibaba Group
Registro: 2019-06-16
Puntuación: 1320
CV
Conferencias Seguidas
Mostrando 21-29 de 29 elementos.
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
baa1ICALPInternational Colloquium on Automata, Languages and Programming2025-02-072025-04-142025-07-08
aa*a1CAVInternational Conference on Computer Aided Verification2025-01-312025-04-022025-07-21
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2025-01-162025-04-282025-08-16
cab2ICSTInternational Conference on Software Testing, Verification and Validation2024-09-182024-12-112025-03-31
cab1ISAACInternational Symposium on Algorithms and Computation2024-06-282024-09-022024-12-08
cab1MFCSInternational Symposium on Mathematical Foundations of Computer Science2024-04-262024-06-242024-08-26
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
Mostrando 1-1 de 1 elemento.
CCFCOREQUALISAbreviaciónNombre CompletoConferenciaUbicación
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
Mostrando 1-1 de 1 elemento.
Nombre CompletoConferenciaUbicación
International Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
Revistas Seguidas
Mostrando 1-6 de 6 elementos.
CCFNombre CompletoFactor de ImpactoEditorISSN
cInformation Processing Letters0.700Elsevier0020-0190
cLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
bTheoretical Computer Science1.0Elsevier0304-3975
bFormal Aspects of Computing1.400ACM0934-5043
bMathematical Structures in Computer ScienceCambridge University Press0960-1295
Electronic Notes in Theoretical Computer ScienceElsevier1571-0661
Mostrando 1-6 de 6 elementos.
Nombre CompletoFactor de ImpactoEditor
Information Processing Letters0.700Elsevier
Logical Methods in Computer ScienceLogical Methods in Computer Science
Theoretical Computer Science1.0Elsevier
Formal Aspects of Computing1.400ACM
Mathematical Structures in Computer ScienceCambridge University Press
Electronic Notes in Theoretical Computer ScienceElsevier
Investigadores Seguidos
NombreInstituciónRegistroScore
No se encontraron resultados.
NombreInstituciónScore
No se encontraron resultados.

Seguidores
No se encontraron resultados.
Publicidad