Basic Information
Name: Luca Di Stefano
Institution: Gran Sasso Science Institute
Registration: 2019-02-08
Score: 46
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2020-05-062020-06-242020-10-26
baa1ICALPInternational Colloquium on Automata, Languages and Programming2020-02-182020-04-152020-07-08
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2020-01-152020-04-192020-07-11
bb1FMInternational Symposium on Formal Methods2019-03-282019-06-112019-10-07
aALIFEConference on Artificial Life2019-03-082019-04-242019-07-29
ShortFull NameSubmissionConference
ATVAInternational Symposium on Automated Technology for Verification and Analysis2020-05-062020-10-26
ICALPInternational Colloquium on Automata, Languages and Programming2020-02-182020-07-08
IJCAIInternational Joint Conference on Artificial Intelligence2020-01-152020-07-11
FMInternational Symposium on Formal Methods2019-03-282019-10-07
ALIFEConference on Artificial Life2019-03-082019-07-29
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
bb1SEFMInternational Conference on Software Engineering and Formal Methods2018-06-27Toulouse, France
Full NameConferenceLocation
International Conference on Software Engineering and Formal Methods2018-06-27Toulouse, France
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
No results found.
Full NameImpact FactorPublisher
No results found.
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.
Tracked Jobs
Job TitleEmployerJob Location
No results found.
Job TitleEmployerJob Location
No results found.
Viewed Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
No results found.
ShortFull NameSubmissionConference
No results found.
Viewed Journals
CCFFull NameImpact FactorPublisherISSN
No results found.
Full NameImpact FactorPublisher
No results found.