Basic Information
Name: Luca Di Stefano
Institution: Gran Sasso Science Institute
Registration: 2019-02-08
Score: 46
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
bb1FMInternational Symposium on Formal Methods2021-04-302021-07-162021-11-20
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2021-04-232021-06-042021-10-18
baa1ICALPInternational Colloquium on Automata, Languages and Programming2021-02-122021-04-282021-07-12
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2021-01-202021-04-302021-08-21
aALIFEConference on Artificial Life2019-03-082019-04-242019-07-29
ShortFull NameSubmissionConference
FMInternational Symposium on Formal Methods2021-04-302021-11-20
ATVAInternational Symposium on Automated Technology for Verification and Analysis2021-04-232021-10-18
ICALPInternational Colloquium on Automata, Languages and Programming2021-02-122021-07-12
IJCAIInternational Joint Conference on Artificial Intelligence2021-01-202021-08-21
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.