Información Básica
Nombre: Lijie Gao
Institución: Zhejiang University
Fecha de registro: 2021-03-20
Puntuación: 75
Institución: Zhejiang University
Fecha de registro: 2021-03-20
Puntuación: 75
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 Ingeniería de software. Los lugares consultados con frecuencia incluyen FM, TASE, ATVA, ICST', ICST.
Currículum
Conferencias Seguidas
Total 1 elemento.
| CCF | ICORE | Abreviación | Nombre Completo | Entrega | Notificación | Fecha de conferencia |
|---|---|---|---|---|---|---|
| A | B | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 |
Conferencias Asistidas
Total 2 elementos.
| CCF | ICORE | Abreviación | Nombre Completo | Fecha de conferencia | Ubicación |
|---|---|---|---|---|---|
| C | B | ATVA | International Symposium on Automated Technology for Verification and Analysis | 2021-10-18 | Gold Coast, Australia |
| C | B | ATVA | 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. | ||||
Investigadores Seguidos
| Nombre | Institución | Fecha de registro | Puntuación |
|---|---|---|---|
No se encontraron resultados. | |||