Información Básica
Nombre: Yuhan Li
Institución: National University of Defense Technology
Registro: 2023-02-21
Puntuación: 44
Conferencias Seguidas
| CCF | CORE | QUALIS | Abreviación | Nombre Completo | Entrega | Notificación | Conferencia |
|---|---|---|---|---|---|---|---|
| b | b | a2 | VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | 2024-10-01 | 2024-11-08 | 2025-01-20 |
| c | a | b1 | ATVA | International Symposium on Automated Technology for Verification and Analysis | 2024-04-19 | 2024-06-19 | 2024-10-21 |
| Abreviación | Nombre Completo | Entrega | Conferencia |
|---|---|---|---|
| VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | 2024-10-01 | 2025-01-20 |
| ATVA | International Symposium on Automated Technology for Verification and Analysis | 2024-04-19 | 2024-10-21 |
Conferencias Asistidas
| CCF | CORE | QUALIS | Abreviación | Nombre Completo | Conferencia | Ubicación |
|---|---|---|---|---|---|---|
| b | b | a2 | VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | 2023-01-15 | Online |
| c | a | b1 | ATVA | International Symposium on Automated Technology for Verification and Analysis | 2022-10-25 | Beijing, China |
| Nombre Completo | Conferencia | Ubicación |
|---|---|---|
| International Conference on Verification, Model Checking, and Abstract Interpretation | 2023-01-15 | Online |
| International Symposium on Automated Technology for Verification and Analysis | 2022-10-25 | Beijing, China |
Revistas Seguidas
| CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
|---|---|---|---|---|
| b | Software Testing, Verification and Reliability | 1.500 | John Wiley & Sons, Ltd | 1099-1689 |
| Nombre Completo | Factor de Impacto | Editor |
|---|---|---|
| Software Testing, Verification and Reliability | 1.500 | John Wiley & Sons, Ltd |
Investigadores Seguidos
| Nombre | Institución | Registro | Puntuación |
|---|---|---|---|
| No se encontraron resultados. | |||
| Nombre | Institución | Puntuación |
|---|---|---|
| No se encontraron resultados. | ||
Trabajos rastreados
| Título profesional | Empleadora | locación de trabajo |
|---|---|---|
| No se encontraron resultados. | ||
| Título profesional | Empleadora | locación de trabajo |
|---|---|---|
| No se encontraron resultados. | ||
Conferencias vistas
| CCF | CORE | QUALIS | Abreviación | Nombre Completo | Entrega | Notificación | Conferencia |
|---|---|---|---|---|---|---|---|
| No se encontraron resultados. | |||||||
| Abreviación | Nombre Completo | Entrega | Conferencia |
|---|---|---|---|
| No se encontraron resultados. | |||
Revistas vistos
| CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
|---|---|---|---|---|
| No se encontraron resultados. | ||||
| Nombre Completo | Factor de Impacto | Editor |
|---|---|---|
| No se encontraron resultados. | ||