RCLN at SemEval-2023 Task 1: Leveraging Stable Diffusion and Image Captions for Visual WSD. - Antonina Mijatovic; Davide Buscaldi; Ekaterina Borisova (SemEval@ACL, 2023)

A Formal Verification Approach to Handle Attack Graphs. - Davide Catta; Jean Leneutre; Antonina Mijatovic; Johanna Ulin; Vadim Malvone (ICAART (3), 2024)