Información Básica
Nombre: Lijie Gao
Institución: Zhejiang University
Registro: 2021-03-20
Puntuación: 75
CV
Conferencias Seguidas
Total 1 elemento.
| CCF | CORE | QUALIS | Abreviación | Nombre Completo | Entrega | Notificación | Conferencia |
|---|---|---|---|---|---|---|---|
| a | b1 | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 |
Total 1 elemento.
| Nombre Completo | Entrega | Conferencia |
|---|---|---|
| International Symposium on Formal Methods | 2025-11-25 | 2026-05-18 |
Conferencias Asistidas
Total 2 elementos.
| CCF | CORE | QUALIS | Abreviación | Nombre Completo | Conferencia | Ubicación |
|---|---|---|---|---|---|---|
| c | a | b1 | ATVA | International Symposium on Automated Technology for Verification and Analysis | 2021-10-18 | Gold Coast, Australia |
| c | a | b1 | ATVA | International Symposium on Automated Technology for Verification and Analysis | 2022-10-25 | Beijing, China |
Total 2 elementos.
| Nombre Completo | Conferencia | Ubicación |
|---|---|---|
| International Symposium on Automated Technology for Verification and Analysis | 2021-10-18 | Gold Coast, Australia |
| International Symposium on Automated Technology for Verification and Analysis | 2022-10-25 | Beijing, China |
Revistas Seguidas
| CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
|---|---|---|---|---|
No se encontraron resultados. | ||||
| Nombre Completo | Factor de Impacto | Editor |
|---|---|---|
No se encontraron resultados. | ||
Investigadores Seguidos
| Nombre | Institución | Registro | Score |
|---|---|---|---|
No se encontraron resultados. | |||
| Nombre | Institución | Score |
|---|---|---|
No se encontraron resultados. | ||