基本情報
名前: Luca Di Stefano
機関: Gran Sasso Science Institute
登記時間: 2019-02-08
スコア: 46
CV
关注の会議
5 件中 1 から 5 までを表示しています。
| CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
|---|---|---|---|---|---|---|---|
| a | a* | a1 | IJCAI | International Joint Conference on Artificial Intelligence | 2026-01-31 | 2026-08-15 | |
| 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 | b1 | FM | International Symposium on Formal Methods | 2024-04-05 | 2024-06-03 | 2024-09-09 | |
| a | ALIFE | Conference on Artificial Life | 2019-03-08 | 2019-04-24 | 2019-07-29 |
5 件中 1 から 5 までを表示しています。
| 完全な名前 | 提出日 | 会議日 |
|---|---|---|
| International Joint Conference on Artificial Intelligence | 2026-01-31 | 2026-08-15 |
| International Symposium on Automated Technology for Verification and Analysis | 2025-04-25 | 2025-10-27 |
| International Colloquium on Automata, Languages and Programming | 2025-02-07 | 2025-07-08 |
| International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
| Conference on Artificial Life | 2019-03-08 | 2019-07-29 |
出席の会議
1 件中 1 から 1 までを表示しています。
| CCF | CORE | QUALIS | 省略名 | 完全な名前 | 会議日 | 場所 |
|---|---|---|---|---|---|---|
| b | b1 | SEFM | International Conference on Software Engineering and Formal Methods | 2018-06-27 | Toulouse, France |
1 件中 1 から 1 までを表示しています。
| 完全な名前 | 会議日 | 場所 |
|---|---|---|
| International Conference on Software Engineering and Formal Methods | 2018-06-27 | Toulouse, France |
关注の仕訳帳
| CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
|---|---|---|---|---|
結果が得られませんでした。 | ||||
| 完全な名前 | インパクト ・ ファクター | 出版社 |
|---|---|---|
結果が得られませんでした。 | ||
关注の研究員
| 名前 | 機関 | 登記時間 | Score |
|---|---|---|---|
結果が得られませんでした。 | |||
| 名前 | 機関 | Score |
|---|---|---|
結果が得られませんでした。 | ||