Información Básica
Nombre: Luca Di Stefano
Institución: Gran Sasso Science Institute
Registro: 2019-02-08
Puntuación: 46
CV
Conferencias Seguidas
Total 5 elementos.
| CCF | CORE | QUALIS | Abreviación | Nombre Completo | Entrega | Notificación | Conferencia |
|---|---|---|---|---|---|---|---|
| a | a* | a1 | IJCAI | International Joint Conference on Artificial Intelligence | 2026-01-31 | 2026-08-15 | |
| a | b1 | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 | |
| c | a | b1 | ATVA | International Symposium on Automated Technology for Verification and Analysis | 2025-04-25 | 2025-07-04 | 2025-10-27 |
| b | a | a1 | ICALP | International Colloquium on Automata, Languages and Programming | 2025-02-07 | 2025-04-14 | 2025-07-08 |
| a | ALIFE | Conference on Artificial Life | 2019-03-08 | 2019-04-24 | 2019-07-29 |
Conferencias Asistidas
Total 1 elemento.
| CCF | CORE | QUALIS | Abreviación | Nombre Completo | Conferencia | Ubicación |
|---|---|---|---|---|---|---|
| b | b1 | SEFM | International Conference on Software Engineering and Formal Methods | 2018-06-27 | Toulouse, France |
Revistas Seguidas
| CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
|---|---|---|---|---|
No se encontraron resultados. | ||||
Investigadores Seguidos
| Nombre | Institución | Registro | Score |
|---|---|---|---|
No se encontraron resultados. | |||