Mauro Milella

According to our database, Mauro Milella authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

ModalFP-Growth: Efficient Extraction of Modal Association Rules from Non-Tabular Data.

Mauro Milella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the 25th Italian Conference on Theoretical Computer Science, 2024

2022

On Modal Logic Association Rule Mining.

Ionel Eduard Stan, Guido Sciavicco, Emilio Muñoz-Velasco, Giovanni Pagliarini, Mauro Milella, Andrea Paradiso

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic Formulas Induction.

Mauro Milella, Giovanni Pagliarini, Andrea Paradiso, Ionel Eduard Stan

Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022