Workflow Characterization of a Big Data System Model for Healthcare Through Multiformalism. - Tancredi Covioli; Tommaso Dolci; Fabio Azzalini; Davide Piantella; Enrico Barbierato; Marco Gribaudo (EPEW, 2023)