Información Básica
Nombre: Luca Di Stefano
Institución: Gran Sasso Science Institute
Registro: 2019-02-08
Puntuación: 46
Conferencias Seguidas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
baa1ICALPInternational Colloquium on Automata, Languages and Programming2020-02-122020-04-152020-07-08
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2020-01-152020-04-192020-07-11
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2019-04-262019-06-162019-10-28
bb1FMInternational Symposium on Formal Methods2019-03-282019-06-112019-10-07
aALIFEConference on Artificial Life2019-03-082019-04-242019-07-29
AbreviaciónNombre CompletoEntregaConferencia
ICALPInternational Colloquium on Automata, Languages and Programming2020-02-122020-07-08
IJCAIInternational Joint Conference on Artificial Intelligence2020-01-152020-07-11
ATVAInternational Symposium on Automated Technology for Verification and Analysis2019-04-262019-10-28
FMInternational Symposium on Formal Methods2019-03-282019-10-07
ALIFEConference on Artificial Life2019-03-082019-07-29
Conferencias Asistidas
CCFCOREQUALISAbreviaciónNombre CompletoConferenciaUbicación
bb1SEFMInternational Conference on Software Engineering and Formal Methods2018-06-27Toulouse, France
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ónRegistroPuntuación
No se encontraron resultados.
NombreInstituciónPuntuación
No se encontraron resultados.