Flavio Corradini

103 papers and 757 indexed citations i.

About

Flavio Corradini has authored 103 papers that have received a total of 757 indexed citations. This includes 40 papers in Computational Theory and Mathematics, 39 papers in Artificial Intelligence and 25 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (31 papers), Business Process Modeling and Analysis (22 papers) and QoS-Aware Web Services Composition and Semantic Matching (17 papers). Flavio Corradini is often cited by papers focused on Formal Methods in Verification (31 papers), Business Process Modeling and Analysis (22 papers) and QoS-Aware Web Services Composition and Semantic Matching (17 papers) and collaborates with scholars based in Italy, United States and Germany. Flavio Corradini's co-authors include Emanuela Merelli, Barbara Re, Francesco Tiezzi, Ezio Bartocci and Andrea Polini and has published in prestigious journals such as Geochimica et Cosmochimica Acta, Communications of the ACM and Expert Systems with Applications

In The Last Decade

Rankless by CCL
2025