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 | 133 | 2018 |
E-Commerce and e-Government: How do they Compare? what can they Learn from each Other? HJ Scholl, K Barzilai-Nahon, JH Ann, OH Popova, B Re 2009 42nd Hawaii International Conference on System Sciences, 1-10, 2009 | 128 | 2009 |
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 | 67 | 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 | 61 | 2018 |
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 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 | 51 | 2021 |
Towards value-creating and sustainable open data ecosystems: A comparative case study and a research agenda B Van Loenen, A Zuiderwijk, G Vancau-Wenberghe, FJ Lopez-Pellicer, ... JeDEM-eJournal of eDemocracy and Open Government 13 (2), 1-27, 2021 | 49 | 2021 |
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 | 41 | 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 | 39 | 2020 |
Model-driven engineering for multi-party business processes on multiple blockchains F Corradini, A Marcelletti, A Morichetta, A Polini, B Re, E Scala, F Tiezzi Blockchain: Research and Applications 2 (3), 100018, 2021 | 38 | 2021 |
Interoperability issues among smart home technological frameworks L Rossi, A Belli, A De Santis, C Diamantini, E Frontoni, E Gambi, L Palma, ... 2014 IEEE/ASME 10th International Conference on Mechatronic and Embedded …, 2014 | 37 | 2014 |
Enabling auditing of smart contracts through process mining F Corradini, F Marcantoni, A Morichetta, A Polini, B Re, M Sampaolo From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019 | 34 | 2019 |
Engineering trustable and auditable choreography-based systems using blockchain F Corradini, A Marcelletti, A Morichetta, A Polini, B Re, F Tiezzi ACM Transactions on Management Information Systems (TMIS) 13 (3), 1-53, 2022 | 33 | 2022 |
Animating multiple instances in BPMN collaborations: from formal semantics to tool support F Corradini, C Muzi, B Re, L Rossi, F Tiezzi Business Process Management: 16th International Conference, BPM 2018, Sydney …, 2018 | 32 | 2018 |
Business processes verification for e-government service delivery F Corradini, A Polini, A Polzonetti, B Re Information Systems Management 27 (4), 293-308, 2010 | 31 | 2010 |
Formalising and animating multiple instances in BPMN collaborations F Corradini, C Muzi, B Re, L Rossi, F Tiezzi Information Systems 103, 101459, 2022 | 29 | 2022 |
Collaboration vs. choreography conformance in BPMN 2.0: from theory to practice F Corradini, A Morichetta, A Polini, B Re, F Tiezzi 2018 IEEE 22nd International Enterprise Distributed Object Computing …, 2018 | 27 | 2018 |
Inter-organizational business process verification in public administration F Corradini, A Polini, B Re Business Process Management Journal 21 (5), 1040-1065, 2015 | 27 | 2015 |
Research challenges in business process adaptability R Cognini, F Corradini, S Gnesi, A Polini, B Re Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1049-1054, 2014 | 27 | 2014 |
RePROSitory: a Repository Platform for Sharing Business PROcess modelS. F Corradini, F Fornari, A Polini, B Re, F Tiezzi BPM (PhD/Demos) 2420, 149-153, 2019 | 25 | 2019 |