M.  Natilli, Fadda, D., Rinzivillo, S., Pedreschi, D., and Licari, F., ?Analysis and Visualization of Performance Indicators in University Admission Tests?, in Formal Methods. FM 2019 International Workshops, Cham, 2020.

R.  Guidotti and Rossetti, G., ??Know Thyself? How Personal Music Tastes Shape the Last.Fm Online Social Network?, in Formal Methods. FM 2019 International Workshops, Cham, 2020.