| On the multi-language construction S Buro, I Mastroeni European Symposium on Programming, 293-321, 2019 | 20 | 2019 |
| On multi-language abstraction: Towards a static analysis of multi-language programs S Buro, RL Crole, I Mastroeni International Static Analysis Symposium, 310-332, 2020 | 19 | 2020 |
| Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference S Buro, I Mastroeni International conference on verification, model checking, and abstract …, 2017 | 9 | 2017 |
| Equational logic and categorical semantics for multi-languages S Buro, R Crole, I Mastroeni Electronic Notes in Theoretical Computer Science 352, 79-103, 2020 | 6 | 2020 |
| On the Semantic Equivalence of Language Syntax Formalisms S Buro, I Mastroeni Italian Conference on Theoretical Computer Science 2504, 34-51, 2019 | 4 | 2019 |
| On multi-language abstraction: Towards a static analysis of multi-language programs S Buro, R Crole, I Mastroeni Formal Methods in System Design 65 (1), 4-38, 2025 | 3 | 2025 |
| Equational logic and set-theoretic models for multi-languages S Buro, R Crole, I Mastroeni University of Leicester, 2020 | 3 | 2020 |
| On Multi-Language Semantics: Semantic Models, Equational Logic, and Abstract Interpretation of Multi-Language Code S Buro | | 2021 |
| On Multi-Language Abstraction R Crole, S Buro, I Mastroeni University of Leicester, 2021 | | 2021 |
| KArMA-A Knowledge-Aided Monitoring Approach for SQL Injection Attacks S Buro, I Mastroeni Dipartimento di Informatica, 2017 | | 2017 |
| Set-Theoretic Models for Equational Multi-Languages S Buro, RL Crole, I Mastroeni | | |
Isabella MastroeniComputer Science Dept. - University of VeronaVerified email at univr.it
Isabella MastroeniComputer Science Dept. - University of VeronaVerified email at univr.it