Información Básica
Nombre: Yuusuke Urameshi
Institución: Sarayashiki
Registro: 2020-03-23
Puntuación: 344
Conferencias Seguidas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
cab2ICSTInternational Conference on Software Testing, Verification and Validation2023-10-182023-12-062024-05-27
aa2FoSSaCSInternational Conference on Foundations of Software Science and Computation Structures2023-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
bba2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2023-09-072023-10-112024-01-17
QESTInternational Conference on Quantitative Evaluation of SysTems2022-04-182022-06-202022-09-12
Conferencias Asistidas
CCFCOREQUALISAbreviaciónNombre CompletoConferenciaUbicación
No se encontraron resultados.
Nombre CompletoConferenciaUbicación
No se encontraron resultados.
Revistas Seguidas
CCFNombre CompletoFactor de ImpactoEditorISSN
No se encontraron resultados.
Nombre CompletoFactor de ImpactoEditor
No se encontraron resultados.
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
cab1MFCSInternational Symposium on Mathematical Foundations of Computer Science2024-04-262024-06-242024-08-26
AbreviaciónNombre CompletoEntregaConferencia
MFCSInternational Symposium on Mathematical Foundations of Computer Science2024-04-262024-08-26
Revistas vistos
CCFNombre CompletoFactor de ImpactoEditorISSN
cHigher-Order and Symbolic Computation Springer1388-3690
Nombre CompletoFactor de ImpactoEditor
Higher-Order and Symbolic Computation Springer