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 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
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2019-02-252019-05-092019-08-10
baa1ICALPInternational Colloquium on Automata, Languages and Programming2019-02-182018-04-192019-07-08
ShortFull NameSubmissionConference
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
IJCAIInternational Joint Conference on Artificial Intelligence2019-02-252019-08-10
ICALPInternational Colloquium on Automata, Languages and Programming2019-02-182019-07-08
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.