Conference Partner » Researchers: Luca Di Stefano
Basic Information
Name: Luca Di Stefano
Institution: Gran Sasso Science Institute
Registration: 2019-02-08
Score: 46
CV
Tracked Conferences
Showing 1-5 of 5 items.
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2025-04-252025-07-042025-10-27
baa1ICALPInternational Colloquium on Automata, Languages and Programming2025-02-072025-04-142025-07-08
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2025-01-162025-04-282025-08-16
ab1FMInternational Symposium on Formal Methods2024-04-052024-06-032024-09-09
aALIFEConference on Artificial Life2019-03-082019-04-242019-07-29
Showing 1-5 of 5 items.
ShortFull NameSubmissionConference
ATVAInternational Symposium on Automated Technology for Verification and Analysis2025-04-252025-10-27
ICALPInternational Colloquium on Automata, Languages and Programming2025-02-072025-07-08
IJCAIInternational Joint Conference on Artificial Intelligence2025-01-162025-08-16
FMInternational Symposium on Formal Methods2024-04-052024-09-09
ALIFEConference on Artificial Life2019-03-082019-07-29
Attend Conferences
Showing 1-1 of 1 item.
CCFCOREQUALISShortFull NameConferenceLocation
bb1SEFMInternational Conference on Software Engineering and Formal Methods2018-06-27Toulouse, France
Showing 1-1 of 1 item.
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.

Follower
No results found.
Advertisment