基本情報
名前: Luca Di Stefano
所属機関: Gran Sasso Science Institute
登録日: 2019-02-08
スコア: 46
研究関心プロフィール システム自動生成

閲覧した会議やジャーナルから、この研究者は主に ソフトウェア工学, 理論・アルゴリズム, 人工知能・機械学習 に関心があると見られます。 よく閲覧する会議・ジャーナルには FM, SEFM, ALIFE, ICALP, ATVA などがあります。

履歴書
フォロー中の会議
合計 5 件。
CCFICORE略称正式名称投稿締切通知日開催日
CBATVAInternational Symposium on Automated Technology for Verification and Analysis2026-05-192026-07-232026-12-01
BA*ICALPInternational Colloquium on Automata, Languages and Programming2026-02-032026-04-202026-07-07
BA*IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
ABFMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
CALIFEConference on Artificial Life2019-03-082019-04-242019-07-29
参加した会議
合計 1 件。
CCFICORE略称正式名称開催日開催地
BSEFMInternational Conference on Software Engineering and Formal Methods2018-06-27Toulouse, France
フォロー中のジャーナル
CCF正式名称インパクトファクター出版社ISSN
結果が得られませんでした。
フォロー中の研究者
名前所属機関登録日スコア
結果が得られませんでした。