Enabling Auditing of Smart Contracts Through Process Mining. - Flavio Corradini; Fausto Marcantoni; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Massimiliano Sampaolo (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Robotic Datasets for Process Mining. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Massimiliano Sampaolo (CAiSE Forum, 2025)

Enabling Process Mining on Multimodal Robotic Data. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Massimiliano Sampaolo (CAiSE Workshops, 2025)