Información Básica
Nombre: Kazuhiko Sakaguchi
Institución: University of Tsukuba
Fecha de registro: 2018-05-04
Puntuación: 63
Perfil de intereses de investigación Generado automáticamente por el sistema

Según los congresos y revistas consultados, este investigador parece más interesado en Teoría y algoritmos, Inteligencia artificial y aprendizaje automático, Minería de datos y bases de datos. Los lugares consultados con frecuencia incluyen TACAS, POPL, ICFP, FLOPS, CPP.

Currículum
Conferencias Seguidas
Total 6 elementos.
CCFICOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
AA1TACASInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems2026-10-152026-12-222027-04-10
AA*A1POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2026-07-092026-10-052027-01-10
BAA2ICFPACM SIGPLAN International Conference on Functional Programming2026-02-192026-05-142026-08-23
BITPInternational Conference on Interactive Theorem Proving2026-02-122026-04-262026-07-26
BCPPInternational Conference on Certified Programs and Proofs2024-09-102024-11-192025-01-19
BLPARInternational Conference on Logic for Programming Artificial Intelligence and Reasoning2017-01-182017-03-012017-05-08
Conferencias Asistidas
CCFICOREQUALISAbreviaciónNombre CompletoFecha de conferenciaUbicación
No se encontraron resultados.
Revistas Seguidas
CCFNombre CompletoFactor de ImpactoEditorISSN
No se encontraron resultados.
Investigadores Seguidos
NombreInstituciónFecha de registroPuntuación
No se encontraron resultados.