A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment. - Giovanni Capobianco; Umberto Di Giacomo; Francesco Mercaldo; Antonella Santone (IEEE BigData, 2018)

A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking. - Giovanni Capobianco; Umberto Di Giacomo; Tommaso Di Tusa; Francesco Mercaldo; Antonella Santone (IEEE BigData, 2019)

Can Machine Learning Predict Soccer Match Results? - Giovanni Capobianco; Umberto Di Giacomo; Francesco Mercaldo; Vittoria Nardone; Antonella Santone (ICAART (2), 2019)

Dunuen: A User-Friendly Formal Verification Tool. - Giovanni Capobianco; Umberto Di Giacomo; Francesco Mercaldo; Antonella Santone (KES, 2019)

Wearable Devices for Human Activity Recognition and User Detection. - Giovanni Capobianco; Umberto Di Giacomo; Fabio Martinelli; Francesco Mercaldo; Antonella Santone (PDP, 2019)

Android Collusion Detection by means of Audio Signal Analysis with Machine Learning techniques. - Rosangela Casolare; Umberto Di Giacomo; Fabio Martinelli; Francesco Mercaldo; Antonella Santone (KES, 2021)

Exploiting Supervised Machine Learning for Driver Detection in a Real-World Environment. - Umberto Di Giacomo; Rosangela Casolare; Oliver Eigner; Fabio Martinelli; Francesco Mercaldo; Torsten Priebe; Antonella Santone (KES, 2021)

Machine Learning on Soccer Player Positions. - Umberto Di Giacomo; Francesco Mercaldo; Antonella Santone; Giovanni Capobianco (Int. J. Decis. Support Syst. Technol., 2022)