Basic Information
Name: Luca Di Stefano
Institution: Gran Sasso Science Institute
Registration: 2019-02-08
Score: 46
CV
Tracked Conferences
Total 5 items.
| CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|---|
| a | a* | a1 | IJCAI | International Joint Conference on Artificial Intelligence | 2026-01-31 | 2026-08-15 | |
| a | b1 | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 | |
| c | a | b1 | ATVA | International Symposium on Automated Technology for Verification and Analysis | 2025-04-25 | 2025-07-04 | 2025-10-27 |
| b | a | a1 | ICALP | International Colloquium on Automata, Languages and Programming | 2025-02-07 | 2025-04-14 | 2025-07-08 |
| a | ALIFE | Conference on Artificial Life | 2019-03-08 | 2019-04-24 | 2019-07-29 |
Attend Conferences
Total 1 item.
| CCF | CORE | QUALIS | Short | Full Name | Conference | Location |
|---|---|---|---|---|---|---|
| b | b1 | SEFM | International Conference on Software Engineering and Formal Methods | 2018-06-27 | Toulouse, France |
Tracked Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
No results found. | ||||
Followed Researchers
| Name | Institution | Registration | Score |
|---|---|---|---|
No results found. | |||