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.

P.  Mukala, Cerone, A., and Turini, F., ?An empirical verification of a-priori learning models on mailing archives in the context of online learning activities of participants in free\libre open source software (FLOSS) communities?, Education and Information Technologies, vol. 22, pp. 3207?3229, 2017.

P.  Mukala, Cerone, A., and Turini, F., ?An exploration of learning processes as process maps in FLOSS repositories?. 2015.

P.  Mukala, Cerone, A., and Turini, F., ?Mining learning processes from FLOSS mailing archives?, in Conference on e-Business, e-Services and e-Society, 2015.

P.  Mukala, Cerone, A., and Turini, F., ?An abstract state machine (ASM) representation of learning process in FLOSS communities?, in International Conference on Software Engineering and Formal Methods, 2014.

P.  Mukala, Cerone, A., and Turini, F., ?Ontolifloss: Ontology for learning processes in FLOSS communities?, in International Conference on Software Engineering and Formal Methods, 2014.

P.  Mukala, Cerone, A., and Turini, F., ?Process mining event logs from FLOSS data: state of the art and perspectives?, in International Conference on Software Engineering and Formal Methods, 2014.