| Agents in bioinformatics, computational and systems biology E Merelli, G Armano, N Cannata, F Corradini, M d'Inverno, A Doms, ... Briefings in bioinformatics 8 (1), 45-59, 2007 | 153 | 2007 |
| A guidelines framework for understandable BPMN models F Corradini, A Ferrari, F Fornari, S Gnesi, A Polini, B Re, GO Spagnolo Data & Knowledge Engineering 113, 129-154, 2018 | 140 | 2018 |
| Deriving test plans from architectural descriptions A Bertolino, F Corradini, P Inverardi, H Muccini Proceedings of the 22nd international conference on Software engineering …, 2000 | 110 | 2000 |
| Learning and detecting emergent behavior in networks of cardiac myocytes R Grosu, SA Smolka, F Corradini, A Wasilewska, E Entcheva, E Bartocci Communications of the ACM 52 (3), 97-105, 2009 | 99 | 2009 |
| A process algebraic approach to software architecture design A Aldini, M Bernardo, F Corradini Springer Science & Business Media, 2010 | 89 | 2010 |
| Combining machine learning with knowledge engineering to detect fake news in social networks-a survey S Ahmed, K Hinkelmann, F Corradini arXiv preprint arXiv:2201.08032, 2022 | 80 | 2022 |
| BioWMS: a web-based Workflow Management System for bioinformatics E Bartocci, F Corradini, E Merelli, L Scortichini BMC bioinformatics 8, 1-14, 2007 | 70 | 2007 |
| Business process flexibility-a systematic literature review with a software systems perspective R Cognini, F Corradini, S Gnesi, A Polini, B Re Information Systems Frontiers 20, 343-371, 2018 | 69 | 2018 |
| A formal approach to modeling and verification of business process collaborations F Corradini, F Fornari, A Polini, B Re, F Tiezzi Science of Computer Programming 166, 35-70, 2018 | 65 | 2018 |
| A comparison of heed based clustering algorithms--Introducing ER-HEED Z Ullah, L Mostarda, R Gagliardi, D Cacciagrano, F Corradini 2016 IEEE 30th international conference on advanced information networking …, 2016 | 61 | 2016 |
| Performance preorder and competitive equivalence F Corradini, R Gorrieri, M Roccetti Acta Informatica 34 (11), 805-835, 1997 | 60 | 1997 |
| A formal approach for the analysis of BPMN collaboration models F Corradini, F Fornari, A Polini, B Re, F Tiezzi, A Vandin Journal of Systems and Software 180, 111007, 2021 | 59 | 2021 |
| Hermes: agent-based middleware for mobile computing F Corradini, E Merelli School on Formal Methods-Moby, 234-270, 2005 | 59 | 2005 |
| An agent-oriented conceptual framework for systems biology N Cannata, F Corradini, E Merelli, A Omicini, A Ricci Transactions on computational systems biology III, 105-122, 2005 | 55 | 2005 |
| Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies LMÁ Sabucedo, LEA Rifón, F Corradini, A Polzonetti, B Re Expert Systems with Applications 37 (5), 3647-3656, 2010 | 53 | 2010 |
| A characterization of regular expressions under bisimulation JCM Baeten, F Corradini, CA Grabmayer Journal of the ACM (JACM) 54 (2), 6-es, 2007 | 53 | 2007 |
| Comparing the worst-case efficiency of asynchronous systems with PAFAS F Corradini, W Vogler, L Jenner Acta Informatica 38 (11), 735-792, 2002 | 49 | 2002 |
| BProVe: a formal verification framework for business process models F Corradini, F Fornari, A Polini, B Re, F Tiezzi, A Vandin 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 46 | 2017 |
| Engineering trustable choreography-based systems using blockchain F Corradini, A Marcelletti, A Morichetta, A Polini, B Re, F Tiezzi Proceedings of the 35th annual ACM symposium on applied computing, 1470-1479, 2020 | 44 | 2020 |
| An agent-based approach to tool integration F Corradini, L Mariani, E Merelli International Journal on Software Tools for Technology Transfer 6 (3), 231-244, 2004 | 44 | 2004 |
