Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference. - Samuele Buro; Isabella Mastroeni (VMCAI, 2018)

On the Multi-Language Construction. - Samuele Buro; Isabella Mastroeni (ESOP, 2019)

Equational Logic and Set-Theoretic Models for Multi-Languages. - Samuele Buro; Roy L. Crole; Isabella Mastroeni (ICTCS, 2020)

Equational Logic and Categorical Semantics for Multi-Languages. - Samuele Buro; Roy L. Crole; Isabella Mastroeni (MFPS, 2020)

On the semantic equivalence of language syntax formalisms. - Samuele Buro; Isabella Mastroeni (Theor. Comput. Sci., 2020)

On multi-language abstraction: Towards a static analysis of multi-language programs. - Samuele Buro; Roy L. Crole; Isabella Mastroeni (Formal Methods Syst. Des., 2025)