Basic Information
Name: Luca Di Stefano
Institution: Gran Sasso Science Institute
Registration: 2019-02-08
Score: 46
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
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
ShortFull NameSubmissionConference
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
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.