Conference Partner » Investigadores: Luca Di Stefano
Información Básica
Nombre: Luca Di Stefano
Institución: Gran Sasso Science Institute
Registro: 2019-02-08
Puntuación: 46
CV
Conferencias Seguidas
Mostrando 1-5 de 5 elementos.
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2025-04-252025-07-042025-10-27
baa1ICALPInternational Colloquium on Automata, Languages and Programming2025-02-072025-04-142025-07-08
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2025-01-162025-04-282025-08-16
ab1FMInternational Symposium on Formal Methods2024-04-052024-06-032024-09-09
aALIFEConference on Artificial Life2019-03-082019-04-242019-07-29
Mostrando 1-5 de 5 elementos.
AbreviaciónNombre CompletoEntregaConferencia
ATVAInternational Symposium on Automated Technology for Verification and Analysis2025-04-252025-10-27
ICALPInternational Colloquium on Automata, Languages and Programming2025-02-072025-07-08
IJCAIInternational Joint Conference on Artificial Intelligence2025-01-162025-08-16
FMInternational Symposium on Formal Methods2024-04-052024-09-09
ALIFEConference on Artificial Life2019-03-082019-07-29
Conferencias Asistidas
Mostrando 1-1 de 1 elemento.
CCFCOREQUALISAbreviaciónNombre CompletoConferenciaUbicación
bb1SEFMInternational Conference on Software Engineering and Formal Methods2018-06-27Toulouse, France
Mostrando 1-1 de 1 elemento.
Nombre CompletoConferenciaUbicación
International Conference on Software Engineering and Formal Methods2018-06-27Toulouse, France
Revistas Seguidas
CCFNombre CompletoFactor de ImpactoEditorISSN
No se encontraron resultados.
Nombre CompletoFactor de ImpactoEditor
No se encontraron resultados.
Investigadores Seguidos
NombreInstituciónRegistroScore
No se encontraron resultados.
NombreInstituciónScore
No se encontraron resultados.

Seguidores
No se encontraron resultados.
Publicidad