A framework for purpose-guided event logs generation.

Barbara Re 0001 https://barbarare.wordpress.com/ https://zbmath.org/authors/?q=ai:re.barbara https://mathgenealogy.org/id.php?id=298893 https://twitter.com/barbara_re_ https://orcid.org/0000-0001-5374-2364 https://www.wikidata.org/entity/Q60584413 University of Camerino, Italy Barbara Re Barbara Re 0002 University of Zurich, Institute of Mathematics, Switzerland Politecnico di Milano, Italy https://orcid.org/0000-0003-1692-2053 https://www.wikidata.org/entity/Q124300495 https://www.scopus.com/authid/detail.uri?authorId=56173868900 https://www.researchgate.net/profile/Barbara_Re2 Barbara Re 0003 Politecnico di Milano, Milano, Italy

Andrea Burattin Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 A framework for purpose-guided event logs generation. 102526 2026 161 Data Knowl. Eng. https://doi.org/10.1016/j.datak.2025.102526 db/journals/dke/dke161.html#BurattinRRT26 streams/journals/dke

Héctor Ochoa-Ortiz Barbara Re 0001 Exploring why and how commercial organizations contribute to OpenStreetMap. 221-232 2025 April 31 Ann. GIS 2 https://doi.org/10.1080/19475683.2025.2457396 https://www.wikidata.org/entity/Q132173448 db/journals/agis/agis31.html#OchoaOrtizR25 streams/journals/agis

Flavio Corradini Luca Mozzoni Marco Piangerelli Barbara Re 0001 Lorenzo Rossi 0001 A Framework for Rapidly Prototyping Data Mining Pipelines. 150 2025 9 Big Data Cogn. Comput. 6 https://doi.org/10.3390/bdcc9060150 https://www.wikidata.org/entity/Q134719438 db/journals/bdcc/bdcc9.html#CorradiniMPRR25 streams/journals/bdcc

Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Barbara Re 0001 A methodology for extracting and decoding smart contracts data. 108204 2025 240 Comput. Commun. https://doi.org/10.1016/j.comcom.2025.108204 db/journals/comcom/comcom240.html#CorradiniMMR25 streams/journals/comcom

Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Blockchain-Based Execution of BPMN Choreographies with Multiple Instances. 11:1-11:21 2025 June 4 Distributed Ledger Technol. Res. Pract. 2 https://doi.org/10.1145/3637555 https://www.wikidata.org/entity/Q130819181 db/journals/distribledger/distribledger4.html#CorradiniMMPRT25 streams/journals/distribledger

Andrea Morichetta 0001 Yuri Paoloni Barbara Re 0001 Event log extraction methodology for Ethereum applications. 107566 2025 164 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2024.107566 https://www.wikidata.org/entity/Q132190962 db/journals/fgcs/fgcs164.html#MorichettaPR25 streams/journals/fgcs

Flavio Corradini Vincenzo Nucci Marco Piangerelli Barbara Re 0001 Online clustering with interpretable drift adaptation to mixed features. 200510 2025 26 Intell. Syst. Appl. https://doi.org/10.1016/j.iswa.2025.200510 https://www.wikidata.org/entity/Q133868165 db/journals/iswa/iswa26.html#CorradiniNPR25 streams/journals/iswa

Sara Belluccini Rocco De Nicola Marlon Dumas Pille Pullonen-Raudvere Barbara Re 0001 Francesco Tiezzi 0001 Model-based verification of data protection mechanisms in collaborative business processes. 489-521 2025 April 24 Softw. Syst. Model. 2 https://doi.org/10.1007/s10270-024-01217-6 db/journals/sosym/sosym24.html#BellucciniNDPRT25 streams/journals/sosym

Dagoberto José Herrera-Murillo Héctor Ochoa-Ortiz Umair Ahmed Francisco J. López-Pellicer Barbara Re 0001 Andrea Polini Javier Nogueras-Iso Collective Intelligence in Humanitarian Voluntary Geographic Information: The Case of the HOT Tasking Manager. 45:1-45:38 2025 October 32 ACM Trans. Comput. Hum. Interact. 5 https://doi.org/10.1145/3733600 db/journals/tochi/tochi32.html#HerreraMurilloOALRPN25 streams/journals/tochi

Flavio Corradini Lorenzo Luzi Fausto Marcantoni Alessandro Marcelletti Andrea Morichetta 0001 Barbara Re 0001 A Framework for Supporting Decentralised Applications Analysis. 197-213 2025 BlockTEA https://doi.org/10.1007/978-3-032-12335-0_12 conf/blocktea/2025 db/conf/blocktea/blocktea2025.html#CorradiniLMM0025 Alessio Galassi Barbara Re 0001 Stefan Reimann Lorenzo Rossi 0001 Compliance Checking in Action for INGKA Group Inventory Management. 21-30 2025 BPM (Industry & Society Forum) https://ceur-ws.org/Vol-4033/paper-03.pdf conf/bpm/2025i db/conf/bpm/bpm2025i.html#Galassi0RR25 Flavio Corradini Luca Mozzoni Jessica Piccioni Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 Modeling, Formalizing, and Animating Environment-Aware BPMN Collaborations. 106-125 2025 BPM https://doi.org/10.1007/978-3-032-02867-9_8 https://www.wikidata.org/entity/Q136087808 conf/bpm/2025 db/conf/bpm/bpm2025.html#CorradiniMPRRT25 streams/conf/bpm Flavio Corradini Luca Mozzoni Jessica Piccioni Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 BEAR 2.0: Enhancing the Environment Model for Animating Environment‑aware BPMN Collaborations. 200-207 2025 BPM (Demos / Resources Forum) https://ceur-ws.org/Vol-4032/paper-27.pdf conf/bpm/2025d db/conf/bpm/bpm2025d.html#CorradiniMP0R025 Flavio Corradini Sara Pettinari Barbara Re 0001 Lorenzo Rossi 0001 Massimiliano Sampaolo Multimodal Zero-Shot Activity Recognition for Process Mining of Robotic Systems. 263-275 2025 BPM (RBPM, PT, and Educators Forum) https://doi.org/10.1007/978-3-032-02936-2_19 conf/bpm/2025rbpm db/conf/bpm/bpm2025rbpm.html#CorradiniP00S25 Flavio Corradini Sara Pettinari Barbara Re 0001 Lorenzo Rossi 0001 Massimiliano Sampaolo Robotic Datasets for Process Mining. 53-61 2025 CAiSE Forum https://doi.org/10.1007/978-3-031-94590-8_7 conf/caise/2025fo db/conf/caise/caisefo2025.html#CorradiniP00S25 Massimo Callisto De Donato Flavio Corradini Niccolò Francioni Francesco Giovannini Barbara Re 0001 Andrea Scacchia Towards a Digital Twin of a Decanter Centrifuge for Wastewater Management. 183-194 2025 CAiSE Workshops https://doi.org/10.1007/978-3-031-94931-9_15 conf/caise/2025w db/conf/caise/caisews2025.html#DonatoCFG0S25 Flavio Corradini Sara Pettinari Barbara Re 0001 Lorenzo Rossi 0001 Massimiliano Sampaolo Enabling Process Mining on Multimodal Robotic Data. 257-269 2025 CAiSE Workshops https://doi.org/10.1007/978-3-031-94931-9_21 conf/caise/2025w db/conf/caise/caisews2025.html#CorradiniP0RS25 Luca Ruschioni Robert Shuttleworth Rumyana Neykova Barbara Re 0001 Giuseppe Destefanis Micro-Patterns in Solidity Code. 305-315 2025 EASE https://doi.org/10.1145/3756681.3756934 conf/ease/2025 db/conf/ease/ease2025.html#RuschioniSN0D25 Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Looseness for Choreography-based Software Architectures on Blockchain. 1759-1761 2025 SAC https://doi.org/10.1145/3672608.3707865 conf/sac/2025 db/conf/sac/sac2025.html#CorradiniM0P0025 Flavio Corradini Luca Mozzoni Jessica Piccioni Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 BPMN Environment AnimatoR. 2025 May https://doi.org/10.5281/zenodo.15545946 Zenodo streams/repo/zenodo data/11/CorradiniMPRRT25c Flavio Corradini Luca Mozzoni Jessica Piccioni Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 BPMN Environment AnimatoR. 2025 June https://doi.org/10.5281/zenodo.15575474 Zenodo streams/repo/zenodo data/11/CorradiniMPRRT25c Flavio Corradini Luca Mozzoni Jessica Piccioni Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 BPMN Environment AnimatoR. 2025 June https://doi.org/10.5281/zenodo.15587686 Zenodo streams/repo/zenodo data/11/CorradiniMPRRT25c

Luca Ruschioni Robert Shuttleworth Rumyana Neykova Barbara Re 0001 Giuseppe Destefanis Micro-Patterns in Solidity Code. 2025 May abs/2505.01282 CoRR https://doi.org/10.48550/arXiv.2505.01282 db/journals/corr/corr2505.html#abs-2505-01282 streams/journals/corr

Ivan Compagnucci Flavio Corradini Fabrizio Fornari 0001 Barbara Re 0001 A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models. 43-66 2024 February 66 Bus. Inf. Syst. Eng. 1 https://doi.org/10.1007/s12599-023-00818-7 https://www.wikidata.org/entity/Q124316725 db/journals/bise/bise66.html#CompagnucciCFR24

Massimo Callisto De Donato Flavio Corradini Fabrizio Fornari 0001 Barbara Re 0001 SAFE: An ICT platform for supporting monitoring, localization and rescue operations in case of earthquake. 101273 2024 27 Internet Things https://doi.org/10.1016/j.iot.2024.101273 db/journals/iot/iot27.html#DonatoCFR24 streams/journals/iot

Arianna Fedeli Fabrizio Fornari 0001 Andrea Polini Barbara Re 0001 Victoria Torres Pedro Valderas FloBP: a model-driven approach for developing and executing IoT-enhanced business processes. 1217-1246 2024 October 23 Softw. Syst. Model. 5 https://doi.org/10.1007/s10270-024-01150-8 https://www.wikidata.org/entity/Q124752214 db/journals/sosym/sosym23.html#FedeliFPRTV24 streams/journals/sosym

Flavio Corradini Sara Pettinari Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 A technique for discovering BPMN collaboration diagrams. 1323-1343 2024 December 23 Softw. Syst. Model. 6 https://doi.org/10.1007/s10270-024-01153-5 db/journals/sosym/sosym23.html#CorradiniPRRT24 streams/journals/sosym

Dagoberto José Herrera-Murillo Héctor Ochoa-Ortiz Umair Ahmed Francisco Javier López-Pellicer Barbara Re 0001 Andrea Polini Javier Nogueras-Iso Process Analysis in Humanitarian Voluntary Geographic Information: the case of the HOT Tasking Manager. 5 2024 AGILE Conf. https://doi.org/10.5194/agile-giss-5-5-2024 https://www.wikidata.org/entity/Q126207739 conf/agile/2024 db/conf/agile/agile2024.html#Herrera-Murillo24 Massimo Callisto De Donato Flavio Corradini Flavio Fabbrizi Fabrizio Fornari 0001 Barbara Re 0001 Design and development of an IoT system for audiovisual self-administered tests. 167-179 2024 BIR Workshops https://ceur-ws.org/Vol-3804/paper1o.pdf conf/bir/2024w db/conf/bir/bir2024w.html#DonatoCF0024 Flavio Corradini Jessica Piccioni Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 On the Interplay Between BPMN Collaborations and the Physical Environment. 93-110 2024 BPM https://doi.org/10.1007/978-3-031-70396-6_6 https://www.wikidata.org/entity/Q130343492 conf/bpm/2024 db/conf/bpm/bpm2024.html#CorradiniPRRT24 streams/conf/bpm Flavio Corradini Luca Mozzoni Jessica Piccioni Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 BEAR: BPMN and Environment AnimatoR. 121-125 2024 BPM (Demos / Resources Forum) https://ceur-ws.org/Vol-3758/paper-22.pdf conf/bpm/2024d db/conf/bpm/bpm2024d.html#CorradiniMP00024 Ivan Compagnucci Barbara Re 0001 Estefanía Serral Asensio Monique Snoeck A Digital Process Twin Conceptual Architecture for What-If Process Analysis. 373-388 2024 EDOC Workshops https://doi.org/10.1007/978-3-031-79059-1_23 https://www.wikidata.org/entity/Q132190964 conf/edoc/2024w db/conf/edoc/edoc2024w.html#Compagnucci0AS24 Flavio Corradini Fabrizio Fornari 0001 Barbara Re 0001 Lorenzo Rossi 0001 Andrea Polini Francesco Tiezzi 0001 Andrea Vandin Formal Approaches for Modeling and Analysis of Business Process Collaborations. 50-61 2024 ISoLA (1) https://doi.org/10.1007/978-3-031-73709-1_4 conf/isola/2024-1 db/conf/isola/isola2024-1.html#CorradiniFRRPTV24 streams/conf/isola Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Barbara Re 0001 A Data Extraction Methodology for Ethereum Smart Contracts. 524-529 2024 PerCom Workshops https://doi.org/10.1109/PerComWorkshops59983.2024.10502604 conf/percom/2024w db/conf/percom/percomw2024.html#CorradiniMMR24 Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Barbara Re 0001 Luca Ruschioni A Digital Twin Approach for Blockchain Smart Contracts. 1-11 2024 SANER (Companion) https://doi.org/10.1109/SANER-C62648.2024.00007 conf/wcre/2024c db/conf/wcre/saner2024c.html#CorradiniMMRR24 streams/conf/wcre

Flavio Corradini Sara Pettinari Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems. 139 2023 7 Big Data Cogn. Comput. 3 https://doi.org/10.3390/bdcc7030139 https://www.wikidata.org/entity/Q123763093 db/journals/bdcc/bdcc7.html#CorradiniPRRT23

Flavio Corradini Arianna Fedeli Fabrizio Fornari 0001 Andrea Polini Barbara Re 0001 Luca Ruschioni X-IoT: a model-driven approach to support IoT application portability across IoT platforms. 1981-2005 2023 September 105 Computing 9 https://doi.org/10.1007/s00607-023-01155-z https://www.wikidata.org/entity/Q123763092 db/journals/computing/computing105.html#CorradiniFFPRR23

Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 A Flexible Approach to Multi-party Business Process Execution on Blockchain. 219-234 2023 147 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2023.05.006 https://www.wikidata.org/entity/Q120908450 db/journals/fgcs/fgcs147.html#CorradiniM0P0023

Flavio Corradini Sara Pettinari Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 A BPMN-driven framework for Multi-Robot System development. 104322 2023 February 160 Robotics Auton. Syst. https://doi.org/10.1016/j.robot.2022.104322 https://www.wikidata.org/entity/Q124003638 db/journals/ras/ras160.html#CorradiniPRRT23

Flavio Corradini Arianna Fedeli Fabrizio Fornari 0001 Andrea Polini Barbara Re 0001 FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development. 131-158 2023 February 22 Softw. Syst. Model. 1 https://doi.org/10.1007/s10270-022-01026-9 https://www.wikidata.org/entity/Q113904710 db/journals/sosym/sosym22.html#CorradiniFFPR23

Ivan Compagnucci Flavio Corradini Fabrizio Fornari 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 A systematic literature review on IoT-aware business process modeling views, requirements and notations. 969-1004 2023 22 Softw. Syst. Model. 3 https://doi.org/10.1007/s10270-022-01049-2 https://www.wikidata.org/entity/Q123763094 db/journals/sosym/sosym22.html#CompagnucciC0P023

Ivan Compagnucci Flavio Corradini Fabrizio Fornari 0001 Barbara Re 0001 BPMN Inspector: A Tool for Extracting Features from BPMN Models. 122-126 2023 BPM (Demos / Resources Forum) https://ceur-ws.org/Vol-3469/paper-22.pdf conf/bpm/2023d db/conf/bpm/bpm2023d.html#CompagnucciC0023 Massimo Callisto De Donato Flavio Corradini Fabrizio Fornari 0001 Barbara Re 0001 Matteo Romagnoli Design and Development of a Digital Twin Prototype for the SAFE Project. 107-122 2023 EDOC Workshops https://doi.org/10.1007/978-3-031-54712-6_7 https://www.wikidata.org/entity/Q125823970 conf/edoc/2023w db/conf/edoc/edoc2023w.html#DonatoC00R23 Flavio Corradini Sara Pettinari Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 A Methodology for the Analysis of Robotic Systems via Process Mining. 117-133 2023 EDOC https://doi.org/10.1007/978-3-031-46587-1_7 https://www.wikidata.org/entity/Q123763091 conf/edoc/2023 db/conf/edoc/edoc2023.html#CorradiniPRRT23 Massimo Callisto De Donato Flavio Corradini Fabrizio Fornari 0001 Barbara Re 0001 Matteo Romagnoli Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform. 325-330 2023 EDOC Workshops https://doi.org/10.1007/978-3-031-54712-6_20 conf/edoc/2023w db/conf/edoc/edoc2023w.html#DonatoC00R23a Flavio Corradini Sara Pettinari Barbara Re 0001 Luca Ruschioni Francesco Tiezzi 0001 Enhancing compatibility in QoS communication for the Internet of Robotic Things. 2023 ER (Companion) https://ceur-ws.org/Vol-3618/forum_paper_17.pdf conf/er/2023c db/conf/er/erc2023.html#CorradiniP0R023 Andrea Morichetta 0001 Robert Andrei Buchmann Kurt Sandkuhl Ulf Seigerroth Marite Kirikova Charles Møller Anne Gutschmidt Ana-Maria Ghiran Alessandro Marcelletti Barbara Re 0001 Björn Johansson 0002 Joint Proceedings of the BIR 2023 Workshops and Doctoral Consortium co-located with 22nd International Conference on Perspectives in Business Informatics Research (BIR 2023), Ascoli Piceno, Italy, September 13-15, 2023. BIR Workshops CEUR-WS.org 2023 CEUR Workshop Proceedings 3514 https://ceur-ws.org/Vol-3514 https://nbn-resolving.org/urn:nbn:de:0074-3514-0 db/conf/bir/bir2023w.html

Flavio Corradini Andrea Polini Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 Consistent modelling of hierarchical BPMN collaborations. 442-460 2022 28 Bus. Process. Manag. J. 2 https://doi.org/10.1108/BPMJ-07-2021-0485 https://www.wikidata.org/entity/Q123735660 db/journals/bpmj/bpmj28.html#CorradiniPRRT22

Flavio Corradini Chiara Muzi Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 Formalising and animating multiple instances in BPMN collaborations. 101459 2022 103 Inf. Syst. https://doi.org/10.1016/j.is.2019.101459 https://www.wikidata.org/entity/Q124318151 db/journals/is/is103.html#CorradiniMRRT22

Flavio Corradini Chiara Muzi Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 BPMN 2.0 OR-Join Semantics: Global and local characterisation. 101934 2022 105 Inf. Syst. https://doi.org/10.1016/j.is.2021.101934 https://www.wikidata.org/entity/Q123763098 db/journals/is/is105.html#CorradiniMRRT22a

Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Engineering Trustable and Auditable Choreography-based Systems Using Blockchain. 31:1-31:53 2022 13 ACM Trans. Manag. Inf. Syst. 3 https://doi.org/10.1145/3505225 https://www.wikidata.org/entity/Q123915874 db/journals/tmis/tmis13.html#CorradiniMMPRT22

Alessandro Antinori Riccardo Coltrinari Flavio Corradini Fabrizio Fornari 0001 Barbara Re 0001 Marco Scarpetta BPMN-Redrawer: From Images to BPMN Models. 107-111 2022 BPM (PhD/Demos) https://ceur-ws.org/Vol-3216/paper_246.pdf conf/bpm/2022d db/conf/bpm/bpmd2022.html#AntinoriCC00S22 Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies. 132-136 2022 BPM (PhD/Demos) https://ceur-ws.org/Vol-3216/paper_254.pdf conf/bpm/2022d db/conf/bpm/bpmd2022.html#CorradiniM0P0022 Andrea Burattin Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 A Purpose-Guided Log Generation Framework. 181-198 2022 BPM https://doi.org/10.1007/978-3-031-16103-2_14 https://www.wikidata.org/entity/Q124318149 conf/bpm/2022 db/conf/bpm/bpm2022.html#BurattinRRT22 Flavio Corradini Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 A Technique for Collaboration Discovery. 63-78 2022 BPMDS/EMMSAD@CAiSE https://doi.org/10.1007/978-3-031-07475-2_5 https://www.wikidata.org/entity/Q124318150 conf/bpmds/2022 db/conf/bpmds/bpmds2022.html#Corradini00022 Flavio Corradini Arianna Fedeli Andrea Polini Barbara Re 0001 Towards a Digital Twin Modelling Notation. 1-6 2022 DASC/PiCom/CBDCom/CyberSciTech https://doi.org/10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927827 https://www.wikidata.org/entity/Q124326581 conf/dasc/2022 db/conf/dasc/dasc2022.html#CorradiniFPR22 Flavio Corradini Sara Pettinari Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 An Approach to Support Digital Process Twin. 1-4 2022 DASC/PiCom/CBDCom/CyberSciTech https://doi.org/10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927841 https://www.wikidata.org/entity/Q124003639 conf/dasc/2022 db/conf/dasc/dasc2022.html#CorradiniPRRT22 Flavio Corradini Arianna Fedeli Fabrizio Fornari 0001 Andrea Polini Barbara Re 0001 DTMN a Modelling Notation for Digital Twins. 63-78 2022 EDOC Workshops https://doi.org/10.1007/978-3-031-26886-1_4 https://www.wikidata.org/entity/Q123763096 conf/edoc/2022w db/conf/edoc/edoc2022w.html#CorradiniF0P022 Andrea Burattin Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 PURPLE: a PURPose-guided Log GEnerator (Extended Abstract). 90-94 2022 ICPM Doctoral Consortium / Demo https://ceur-ws.org/Vol-3299/Paper19.pdf conf/icpm/2022dc db/conf/icpm/icpm2022dc.html#Burattin00022 Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 A Choreography-Driven Approach for Blockchain-Based IoT Applications. 255-260 2022 PerCom Workshops https://doi.org/10.1109/PerComWorkshops53856.2022.9767513 https://www.wikidata.org/entity/Q123915873 conf/percom/2022w db/conf/percom/percomw2022.html#CorradiniMMPRT22 Flavio Corradini Arianna Fedeli Fabrizio Fornari 0001 Andrea Polini Barbara Re 0001 X-IoT: a model-driven approach for cross-platform IoT applications development. 1448-1451 2022 SAC https://doi.org/10.1145/3477314.3507164 conf/sac/2022 db/conf/sac/sac2022.html#CorradiniF0P022 Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Flexible execution of multi-party business processes on blockchain. 25-32 2022 WETSEB@ICSE https://doi.org/10.1145/3528226.3528369 https://www.wikidata.org/entity/Q123915875 conf/wetseb-ws/2022 db/conf/wetseb-ws/wetseb-ws2022.html#CorradiniM0P0022

Flavio Corradini Andrea Morichetta 0001 Chiara Muzi Barbara Re 0001 Francesco Tiezzi 0001 Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations. 100630 2021 119 J. Log. Algebraic Methods Program. https://doi.org/10.1016/j.jlamp.2020.100630 https://www.wikidata.org/entity/Q123763099 db/journals/jlap/jlap119.html#CorradiniMMRT21

Flavio Corradini Fabrizio Fornari 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Andrea Vandin A formal approach for the analysis of BPMN collaboration models. 111007 2021 180 J. Syst. Softw. https://doi.org/10.1016/j.jss.2021.111007 https://www.wikidata.org/entity/Q123735663 db/journals/jss/jss180.html#CorradiniFPRTV21

Ivan Compagnucci Flavio Corradini Fabrizio Fornari 0001 Barbara Re 0001 Trends on the Usage of BPMN 2.0 from Publicly Available Repositories. 84-99 2021 BIR https://doi.org/10.1007/978-3-030-87205-2_6 https://www.wikidata.org/entity/Q123763101 conf/bir/2021 db/conf/bir/bir2021.html#CompagnucciC0021 Flavio Corradini Fabrizio Fornari 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 RePROSitory: a Repository platform for sharing business PROcess models and logS. 13-18 2021 ITBPM@BPM https://ceur-ws.org/Vol-2952/paper_292a.pdf conf/bpm/2021itbpm db/conf/bpm/itbpm2021.html#Corradini0P0021 Flavio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 ChorChain: A model-driven framework for choreography-based systems using blockchain. 26-32 2021 ITBPM@BPM https://ceur-ws.org/Vol-2952/paper_294a.pdf conf/bpm/2021itbpm db/conf/bpm/itbpm2021.html#CorradiniM0P0021 Flavio Corradini Arianna Fedeli Fabrizio Fornari 0001 Andrea Polini Barbara Re 0001 FloWare: An Approach for IoT Support and Application Development. 350-365 2021 BPMDS/EMMSAD@CAiSE https://doi.org/10.1007/978-3-030-79186-5_23 https://www.wikidata.org/entity/Q123763100 conf/caise/2021bpmds db/conf/caise/bpmds2021.html#CorradiniFFP021 Khalid Bourr Flavio Corradini Sara Pettinari Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 Disciplined use of BPMN for mission modeling of Multi-Robot Systems. 1-10 2021 PoEM (Forum) https://ceur-ws.org/Vol-3045/paper01.pdf conf/ifip8-1/2021f db/conf/ifip8-1/poem2021f.html#BurrCP00021 Peter Forbrig Knut Hinkelmann Marite Kirikova Birger Lantow Charles Møller Andrea Morichetta 0001 Pierluigi Plebani Barbara Re 0001 Kurt Sandkuhl Ulf Seigerroth Joint Proceedings of the BIR 2021 Workshops and Doctoral Consortium co-located with 20th International Conference on Perspectives in Business Informatics Research (BIR 2021), Vienna, Austria, September 22-24, 2021. BIR Workshops CEUR-WS.org CEUR Workshop Proceedings 2991 2021 https://ceur-ws.org/Vol-2991 https://nbn-resolving.org/urn:nbn:de:0074-2991-7 db/conf/bir/bir2021w.html

Antonia Bertolino Guglielmo De Angelis Andrea Polini Barbara Re 0001 Andrea Sergiacomi Process-oriented knowledge management and learning in public administrations. 441-465 2020 16 Electron. Gov. an Int. J. 4 https://doi.org/10.1504/EG.2020.110615 https://www.wikidata.org/entity/Q123763133 db/journals/eg/eg16.html#BertolinoAPRS20

Flavio Corradini Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 Correctness checking for BPMN collaborations with sub-processes. 110594 2020 166 J. Syst. Softw. https://doi.org/10.1016/j.jss.2020.110594 https://www.wikidata.org/entity/Q123763130 db/journals/jss/jss166.html#CorradiniMPRRT20

Flavio Corradini Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Collaboration vs. choreography conformance in BPMN. 2020 16 Log. Methods Comput. Sci. 4 https://lmcs.episciences.org/6861 db/journals/lmcs/lmcs16.html#CorradiniMPRT20

Ivan Compagnucci Flavio Corradini Fabrizio Fornari 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review. 108-121 2020 Business Process Management Workshops https://doi.org/10.1007/978-3-030-66498-5_9 https://www.wikidata.org/entity/Q123763131 conf/bpm/2020w db/conf/bpm/bpmw2020.html#CompagnucciCFP020 Sara Belluccini Rocco De Nicola Marlon Dumas Pille Pullonen Barbara Re 0001 Francesco Tiezzi 0001 Verification of Privacy-Enhanced Collaborations. 141-152 2020 FormaliSE@ICSE https://doi.org/10.1145/3372020.3391553 https://ieeexplore.ieee.org/document/10186604 conf/icse/2020formalise db/conf/icse/formalise2020.html#BellucciniNDP0T20 Alessandro Marcelletti Barbara Re 0001 FabNet: an Automatic Hyperledger Fabric Network Wizard (short paper). 59-67 2020 PoEM Workshops https://ceur-ws.org/Vol-2749/short1.pdf conf/ifip8-1/2020w db/conf/ifip8-1/poem2020w.html#Marcelletti020 Sara Belluccini Rocco De Nicola Barbara Re 0001 Francesco Tiezzi 0001 PALM: A Technique for Process ALgebraic Specification Mining. 397-418 2020 IFM https://doi.org/10.1007/978-3-030-63461-2_22 conf/ifm/2020 db/conf/ifm/ifm2020.html#BellucciniN0T20 Flávio Corradini Alessandro Marcelletti Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Engineering trustable choreography-based systems using blockchain. 1470-1479 2020 SAC https://doi.org/10.1145/3341105.3373988 https://www.wikidata.org/entity/Q123915876 conf/sac/2020 db/conf/sac/sac2020.html#CorradiniMMPRT20

Flavio Corradini Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Collaboration vs. choreography conformance in BPMN. 2020 abs/2002.04396 CoRR https://arxiv.org/abs/2002.04396 db/journals/corr/corr2002.html#abs-2002-04396

Stefano Mariani 0001 Roberto Casadei Fabrizio Fornari 0001 Giancarlo Fortino Danilo Pianini Barbara Re 0001 Wilma Russo Claudio Savaglio Mirko Viroli Franco Zambonelli Case Studies for a New IoT Programming Paradigm: Fluidware. 82-96 2019 AI&IoT@AI*IA https://ceur-ws.org/Vol-2502/paper6.pdf conf/aiia/2019aiiot db/conf/aiia/aiiot2019.html#0001CFFP0RSVZ19 Flavio Corradini Andrea Morichetta 0001 Barbara Re 0001 Francesco Tiezzi 0001 Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies. 163-181 2019 The Art of Modelling Computational Systems https://doi.org/10.1007/978-3-030-31175-9_10 conf/birthday/2019palamidessi db/conf/birthday/palamidessi2019.html#Corradini00T19 Giancarlo Fortino Barbara Re 0001 Mirko Viroli Franco Zambonelli Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT. 411-427 2019 Models, Languages, and Tools for Concurrent and Distributed Programming https://doi.org/10.1007/978-3-030-21485-2_22 conf/birthday/2019denicola db/conf/birthday/denicola2019.html#Fortino0VZ19 Flavio Corradini Fausto Marcantoni Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Massimiliano Sampaolo Enabling Auditing of Smart Contracts Through Process Mining. 467-480 2019 From Software Engineering to Formal Methods and Tools, and Back https://doi.org/10.1007/978-3-030-30985-5_27 https://www.wikidata.org/entity/Q123763135 conf/birthday/2019gnesi db/conf/birthday/gnesi2019.html#CorradiniM0P0S19 Flavio Corradini Fabrizio Fornari 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 RePROSitory: a Repository Platform for Sharing Business PROcess modelS. 149-153 2019 BPM (PhD/Demos) https://ceur-ws.org/Vol-2420/paperDT7.pdf conf/bpm/2019d db/conf/bpm/bpmd2019.html#CorradiniFP0T19 Basit Mubeen Abdul Flavio Corradini Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 UBBA: Unity Based BPMN Animator. 1-9 2019 CAiSE Forum https://doi.org/10.1007/978-3-030-21297-1_1 https://www.wikidata.org/entity/Q124318152 conf/caise/2019fo db/conf/caise/caisefo2019.html#AbdulC00T19 Franco Zambonelli Mirko Viroli Giancarlo Fortino Barbara Re 0001 Towards Adaptive Flow Programming for the IoT: The Fluidware Approach. 549-554 2019 PerCom Workshops https://doi.org/10.1109/PERCOMW.2019.8730736 conf/percom/2019w db/conf/percom/percomw2019.html#ZambonelliVFR19 Panos Panagiotopoulos 0001 Noella Edelmann Olivier Glassey Gianluca Misuraca Peter Parycek Thomas J. Lampoltshammer Barbara Re 0001 Electronic Participation - 11th IFIP WG 8.5 International Conference, ePart 2019, San Benedetto Del Tronto, Italy, September 2-4, 2019, Proceedings ePart Springer 2019 Lecture Notes in Computer Science 11686 978-3-030-27396-5 978-3-030-27397-2 https://doi.org/10.1007/978-3-030-27397-2 db/conf/epart/epart2019.html

Flavio Corradini Alessio Ferrari 0001 Fabrizio Fornari 0001 Stefania Gnesi Andrea Polini Barbara Re 0001 Giorgio Oronzo Spagnolo A Guidelines framework for understandable BPMN models. 129-154 2018 113 Data Knowl. Eng. https://doi.org/10.1016/j.datak.2017.11.003 https://www.wikidata.org/entity/Q123763136 db/journals/dke/dke113.html#CorradiniFFGPRS18

Riccardo Cognini Flavio Corradini Stefania Gnesi Andrea Polini Barbara Re 0001 Business process flexibility - a systematic literature review with a software systems perspective. 343-371 2018 20 Inf. Syst. Frontiers 2 https://doi.org/10.1007/s10796-016-9678-2 https://www.wikidata.org/entity/Q123763137 db/journals/isf/isf20.html#CogniniCGPR18

Flavio Corradini Fabrizio Fornari 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 A formal approach to modeling and verification of business process collaborations. 35-70 2018 166 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2018.05.008 https://www.wikidata.org/entity/Q123763102 db/journals/scp/scp166.html#CorradiniFPRT18

Flavio Corradini Chiara Muzi Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support. 83-101 2018 BPM https://doi.org/10.1007/978-3-319-98648-7_6 https://www.wikidata.org/entity/Q124318153 conf/bpm/2018 db/conf/bpm/bpm2018.html#CorradiniM00T18 Flavio Corradini Chiara Muzi Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 MIDA: Multiple Instances and Data Animator. 86-90 2018 BPM (Dissertation/Demos/Industry) https://ceur-ws.org/Vol-2196/BPM_2018_paper_18.pdf conf/bpm/2018d db/conf/bpm/bpmd2018.html#CorradiniM00T18a Fabrizio Fornari 0001 Marcello La Rosa Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Checking Business Process Correctness in Apromore. 114-123 2018 CAiSE Forum https://doi.org/10.1007/978-3-319-92901-9_11 https://www.wikidata.org/entity/Q123763138 conf/caise/2018fo db/conf/caise/caisefo2018.html#FornariRP0T18 Flavio Corradini Andrea Morichetta 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. 95-104 2018 EDOC https://doi.org/10.1109/EDOC.2018.00022 https://doi.ieeecomputersociety.org/10.1109/EDOC.2018.00022 conf/edoc/2018 db/conf/edoc/edoc2018.html#Corradini0P0T18 Andrea Morichetta 0001 Barbara Re 0001 Francesco Tiezzi 0001 Runtime Computation of Optimal Offloading Scheduling. 73-78 2018 MobileCloud https://doi.org/10.1109/MobileCloud.2018.00019 https://doi.ieeecomputersociety.org/10.1109/MobileCloud.2018.00019 conf/mobilecloud/2018 db/conf/mobilecloud/mobilecloud2018.html#Morichetta0T18 Flavio Corradini Chiara Muzi Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 Global vs. Local Semantics of BPMN 2.0 OR-Join. 321-336 2018 SOFSEM https://doi.org/10.1007/978-3-319-73117-9_23 https://www.wikidata.org/entity/Q124318155 conf/sofsem/2018 db/conf/sofsem/sofsem2018.html#CorradiniM0RT18

Flavio Corradini Chiara Muzi Barbara Re 0001 Francesco Tiezzi 0001 A Classification of BPMN Collaborations based on Safeness and Soundness Notions. 2018 abs/1809.06178 CoRR http://arxiv.org/abs/1809.06178 db/journals/corr/corr1809.html#abs-1809-06178

Flavio Corradini Francesco De Angelis 0001 Barbara Re 0001 Emiliano Anceschi Massimo Callisto De Donato Paolo Iddas Private assisted house for smart living. 725-741 2017 9 J. Ambient Intell. Smart Environ. 6 https://doi.org/10.3233/AIS-170460 https://www.wikidata.org/entity/Q125824601 db/journals/jaise/jaise9.html#CorradiniARADI17

Flavio Corradini Fabrizio Fornari 0001 Chiara Muzi Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 On Avoiding Erroneous Synchronization in BPMN Processes. 106-119 2017 BIS https://doi.org/10.1007/978-3-319-59336-4_8 https://www.wikidata.org/entity/Q123763139 conf/bis/2017 db/conf/bis/bis2017.html#CorradiniFMPRT17 Fabrizio Fornari 0001 Stefania Gnesi Marcello La Rosa Andrea Polini Barbara Re 0001 Giorgio Oronzo Spagnolo Checking Business Process Modeling Guidelines in Apromore. 2017 BPM (Demos) https://ceur-ws.org/Vol-1920/BPM_2017_paper_204.pdf conf/bpm/2017d db/conf/bpm/bpmd2017.html#FornariGRPRS17 Flavio Corradini Andrea Polini Barbara Re 0001 Lorenzo Rossi 0001 Francesco Tiezzi 0001 Supporting Multi-layer Modeling in BPMN Collaborations. 53-67 2017 EOMAS@CAiSE https://doi.org/10.1007/978-3-319-68185-6_4 https://www.wikidata.org/entity/Q123735668 conf/caise/2017eomas db/conf/caise/eomas2017.html#CorradiniP0RT17 Flavio Corradini Fabrizio Fornari 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Andrea Vandin BProVe: a formal verification framework for business process models. 217-228 2017 ASE https://doi.org/10.1109/ASE.2017.8115635 https://doi.ieeecomputersociety.org/10.1109/ASE.2017.8115635 http://dl.acm.org/citation.cfm?id=3155593 https://www.wikidata.org/entity/Q124316721 conf/kbse/2017 db/conf/kbse/ase2017.html#CorradiniFP0TV17 Flavio Corradini Fabrizio Fornari 0001 Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 Andrea Vandin BProVe: tool support for business process verification. 937-942 2017 ASE https://doi.org/10.1109/ASE.2017.8115708 https://doi.ieeecomputersociety.org/10.1109/ASE.2017.8115708 http://dl.acm.org/citation.cfm?id=3155682 https://www.wikidata.org/entity/Q124316720 conf/kbse/2017 db/conf/kbse/ase2017.html#CorradiniFP0TV17a Alessandro Bettacchi Alberto Polzonetti Barbara Re 0001 Understanding Production Chain Business Process Using Process Mining: A Case Study in the Manufacturing Scenario. 193-203 2016 CAiSE Workshops https://doi.org/10.1007/978-3-319-39564-7_19 https://www.wikidata.org/entity/Q124316719 conf/caise/2016w db/conf/caise/caisews2016.html#BettacchiPR16 Flavio Corradini Barbara Re 0001 The European Digital Agenda and the Impact of ICT on Public Administrations and Small and Medium Enterprises. 11-16 2016 RTA-CSIT https://ceur-ws.org/Vol-1746/paper-02.pdf conf/rtacsit/2016 db/conf/rtacsit/rtacsit2016.html#CorradiniR16 Riccardo Cognini Michelangelo Marani Alberto Polzonetti Barbara Re 0001 webBPMN: A Language to Design Web Applications Regulated by Workflows. 579-587 2016 WorldCIST (1) https://doi.org/10.1007/978-3-319-31232-3_54 conf/worldcist/2016-1 db/conf/worldcist/worldcist2016-1.html#CogniniMPR16 Riccardo Cognini Flavio Corradini Andrea Polini Barbara Re 0001 Business Process Feature Model: An Approach to Deal with Variability of Business Processes. 171-194 2016 Domain-Specific Conceptual Modeling https://doi.org/10.1007/978-3-319-39417-6_8 https://www.wikidata.org/entity/Q124316717 books/sp/2016KMM db/books/collections/KMM2016.html#CogniniCPR16 Guglielmo De Angelis Alfonso Pierantonio Andrea Polini Barbara Re 0001 Barbara Thönssen Robert Woitsch Modeling for Learning in Public Administrations - The Learn PAd Approach. 575-594 2016 Domain-Specific Conceptual Modeling https://doi.org/10.1007/978-3-319-39417-6_26 books/sp/2016KMM db/books/collections/KMM2016.html#AngelisPPRTW16

Flavio Corradini Andrea Polini Barbara Re 0001 Inter-organizational business process verification in public administration. 1040-1065 2015 21 Bus. Process. Manag. J. 5 https://doi.org/10.1108/BPMJ-02-2014-0013 https://www.wikidata.org/entity/Q61044460 db/journals/bpmj/bpmj21.html#CorradiniPR15

Riccardo Cognini Flavio Corradini Andrea Polini Barbara Re 0001 Extending Feature Models to Express Variability in Business Process Models. 245-256 2015 CAiSE Workshops https://doi.org/10.1007/978-3-319-19243-7_24 https://www.wikidata.org/entity/Q123763142 conf/caise/2015w db/conf/caise/caisews2015.html#CogniniCPR15 Riccardo Cognini Flavio Corradini Andrea Polini Barbara Re 0001 Process Variability Modeling for Complex Organizations. 9-20 2015 ES https://doi.org/10.1109/ES.2015.9 conf/es/2015 db/conf/es/es2015.html#CogniniCPR15 Flavio Corradini Andrea Polini Barbara Re 0001 Francesco Tiezzi 0001 An Operational Semantics of BPMN Collaboration. 161-180 2015 FACS https://doi.org/10.1007/978-3-319-28934-2_9 https://www.wikidata.org/entity/Q123763140 conf/facs2/2015 db/conf/facs2/facs2015.html#CorradiniPRT15 Flavio Corradini Francesco De Angelis 0001 Barbara Re 0001 Emiliano Anceschi Massimo Callisto De Donato Paolo Iddas An Integration Platform for Private Assisted Houses. 45-52 2015 ICT4AgeingWell https://doi.org/10.5220/0005436000450052 https://www.wikidata.org/entity/Q125824605 conf/ict4ageingwell/2015 db/conf/ict4ageingwell/ict4ageingwell2015.html#CorradiniARADI15 Riccardo Cognini Andrea Polini Alberto Polzonetti Barbara Re 0001 BPFM: A Notation and an Approach to Homogenize Variable Business Processes for Public Services. 34-39 2015 IIAI-AAI https://doi.org/10.1109/IIAI-AAI.2015.179 https://doi.ieeecomputersociety.org/10.1109/IIAI-AAI.2015.179 conf/iiaiaai/2015 db/conf/iiaiaai/iiaiaai2015.html#CogniniPP015 Riccardo Cognini Flavio Corradini Andrea Polini Barbara Re 0001 Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes. 210-221 2014 Business Process Management Workshops https://doi.org/10.1007/978-3-319-15895-2_19 https://www.wikidata.org/entity/Q123763103 conf/bpm/2014w db/conf/bpm/bpmw2014.html#CogniniCPR14 Daniele Spiga Gian Mario Bilei Hassen Riahi Loriano Storchi Enrico Fattibene Matteo Manzali Davide Salomoni Valerio Venturi Paolo Veronesi Claudia Diamantini Domenico Potena Laura Raffaeli Livio Fani Andrea Valentini Damiano Falcioni Daniele Fanì Barbara Re 0001 Cinzia Amici Serenella Carota Francesco Cirillo A cloud-based solution for public administrations: The experience of the Regione Marche. 493-499 2014 CTS https://doi.org/10.1109/CTS.2014.6867614 https://www.wikidata.org/entity/Q123763105 conf/cts/2014 db/conf/cts/cts2014.html#SpigaBRSFMSVVDPRFVFFRACC14 Riccardo Cognini Flavio Corradini Andrea Polini Barbara Re 0001 Modelling Process Intensive Scenarios for the Smart City. 147-158 2014 EGOV https://doi.org/10.1007/978-3-662-44426-9_12 https://www.wikidata.org/entity/Q123763145 conf/egov/2014ifip db/conf/egov/egov2014.html#CogniniCPR14 Riccardo Cognini Flavio Corradini Alberto Polzonetti Barbara Re 0001 Five factors that make pervasive business intelligence a winning wager. 617-621 2014 IEEM https://doi.org/10.1109/IEEM.2014.7058712 conf/ieem/2014 db/conf/ieem/ieem2014.html#CogniniCPR14 Lorena Rossi Alberto Belli Adelmo De Santis Claudia Diamantini Emanuele Frontoni Ennio Gambi Lorenzo Palma Luca Pernini Paola Pierleoni Domenico Potena Laura Raffaeli Susanna Spinsante Primo Zingaretti Diletta Cacciagrano Flavio Corradini Rosario Culmone Francesco De Angelis 0001 Emanuela Merelli Barbara Re 0001 Interoperability issues among smart home technological frameworks. 1-7 2014 MESA https://doi.org/10.1109/MESA.2014.6935626 https://www.wikidata.org/entity/Q57970855 conf/mesa/2014 db/conf/mesa/mesa2014.html#RossiBSDFGPPPPR14 Riccardo Cognini Flavio Corradini Stefania Gnesi Andrea Polini Barbara Re 0001 Research challenges in business process adaptability. 1049-1054 2014 SAC https://doi.org/10.1145/2554850.2555055 https://www.wikidata.org/entity/Q123763108 conf/sac/2014 db/conf/sac/sac2014.html#CogniniCGPR14 Damiano Falcioni Fabrizio Ippoliti Fausto Marcantoni Barbara Re 0001 Digital Identity into Practice: The Case of UniCam. 18-28 2013 EGOVIS/EDEM https://doi.org/10.1007/978-3-642-40160-2_3 conf/egov/2013 db/conf/egov/egovis2013.html#FalcioniIMR13 Riccardo Cognini Damiano Falcioni Alberto Polzonetti Barbara Re 0001 A Collaborative Approach to Public Administrations Inter-organizational Business Processes Modelling. 69-75 2013 EGOV/ePart Ongoing Research conf/egov/2013or db/conf/egov/egov2013or.html#CogniniFPR13 https://dl.gi.de/handle/20.500.12116/17288 http://subs.emis.de/LNI/Proceedings/Proceedings221/article5.html Riccardo Cognini Damiano Falcioni Andrea Polini Alberto Polzonetti Barbara Re 0001 <i>HawkEye</i>: a tool for collaborative business process modelling and verification. 785-786 2013 SAC https://doi.org/10.1145/2480362.2480512 https://www.wikidata.org/entity/Q123763109 conf/sac/2013 db/conf/sac/sac2013.html#CogniniFPPR13

Andrea Polini Andrea Polzonetti Barbara Re 0001 Formal Methods to Improve Public Administration Business Processes. 203-229 2012 46 RAIRO Theor. Informatics Appl. 2 https://doi.org/10.1051/ita/2012002 https://www.wikidata.org/entity/Q123763112 db/journals/ita/ita46.html#PoliniPR12

Damiano Falcioni Andrea Polini Alberto Polzonetti Barbara Re 0001 Improving PA Business Processes through Modeling, Analysis, and Reengineering. 78-89 2012 EGOV https://doi.org/10.1007/978-3-642-33489-4_7 https://www.wikidata.org/entity/Q123763113 conf/egov/2012ifip db/conf/egov/egov2012.html#FalcioniPPR12 Serenella Carota Flavio Corradini Damiano Falcioni Maria Laura Maggiulli Fausto Marcantoni Roberto Piangerelli Alberto Polzonetti Barbara Re 0001 Andrea Sergiacomi FedCohesion: Federated Identity Management in the Marche Region. 112-124 2012 EGOVIS/EDEM https://doi.org/10.1007/978-3-642-32701-8_11 https://www.wikidata.org/entity/Q123763111 conf/egov/2012 db/conf/egov/egovis2012.html#CarotaCFMMPPRS12 Damiano Falcioni Andrea Polini Alberto Polzonetti Barbara Re 0001 Livelock and Deadlock Detection for PA Inter-organizational Business Processes. 125-139 2012 EGOVIS/EDEM https://doi.org/10.1007/978-3-642-32701-8_12 https://www.wikidata.org/entity/Q123763114 conf/egov/2012 db/conf/egov/egovis2012.html#FalcioniPPR12a Damiano Falcioni Andrea Polini Alberto Polzonetti Barbara Re 0001 Direct Verification of BPMN Processes through an Optimized Unfolding Technique. 179-188 2012 QSIC https://doi.org/10.1109/QSIC.2012.59 https://www.wikidata.org/entity/Q123763110 conf/qsic/2012 db/conf/qsic/qsic2012.html#FalcioniPPR12

Luis Álvarez Sabucedo Luis E. Anido-Rifón Flavio Corradini Alberto Polzonetti Barbara Re 0001 Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies. 3647-3656 2010 37 Expert Syst. Appl. 5 https://doi.org/10.1016/j.eswa.2009.10.026 https://www.wikidata.org/entity/Q123763120 db/journals/eswa/eswa37.html#SabucedoACPR10

Flavio Corradini Andrea Polini Alberto Polzonetti Barbara Re 0001 Business Processes Verification for e-Government Service Delivery. 293-308 2010 27 Inf. Syst. Manag. 4 https://doi.org/10.1080/10580530.2010.514164 https://www.wikidata.org/entity/Q123763117 db/journals/ism/ism27.html#CorradiniPPR10

Francesco De Angelis 0001 Fausto Marcantoni Barbara Re 0001 Alberto Polzonetti A System for Process Management for Emergency Teams: Idea, Approach, Governance. 183-188 2010 CSREA EEE conf/csreaEEE/2010 db/conf/csreaEEE/csreaEEE2010.html#AngelisMRP10 Flavio Corradini Damiano Falcioni Andrea Polini Alberto Polzonetti Barbara Re 0001 Designing Quality Business Processes for E-Government Digital Services. 424-435 2010 EGOV https://doi.org/10.1007/978-3-642-14799-9_36 https://www.wikidata.org/entity/Q123763119 conf/egov/2010ifip db/conf/egov/egov2010.html#CorradiniFPPR10 Francesco De Angelis 0001 Roberto Gagliardi Barbara Re 0001 Alberto Polzonetti Internet Security: Now and in the Future. 193-198 2010 International Conference on Internet Computing conf/ic/2010 db/conf/ic/icomp2010.html#AngelisGRP10 Flavio Corradini Emanuela Merelli Alberto Polzonetti Barbara Re 0001 Leonardo Vito Resourceome for e-Government: Semantic Web Tool for Managing PA Resources. 354-356 2009 CSREA EE conf/csreaEEE/2009 db/conf/csreaEEE/csreaEEE2009.html#CorradiniMPRV09 Hans Jochen Scholl Karine Barzilai-Nahon Jin-Hyuk Ahn Olga H. Popova Barbara Re 0001 E-Commerce and E-Government: How Do They Compare? What Can They Learn from Each Other? 1-10 2009 HICSS https://doi.org/10.1109/HICSS.2009.169 https://doi.ieeecomputersociety.org/10.1109/HICSS.2009.682 https://www.wikidata.org/entity/Q123763122 conf/hicss/2009 db/conf/hicss/hicss2009.html#SchollBAPR09

Flavio Corradini Alberto Polzonetti Barbara Re 0001 Luca Tesei Quality of service in e-government underlines the role of information usability. 133-151 2008 2 Int. J. Inf. Qual. 2 https://doi.org/10.1504/IJIQ.2008.022960 https://www.wikidata.org/entity/Q123763124 db/journals/ijiq/ijiq2.html#CorradiniPRT08

Flavio Corradini Luis Álvarez Sabucedo Alberto Polzonetti Luis E. Anido-Rifón Barbara Re 0001 A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal. 204-215 2007 conf/egov/2007 EGOV https://doi.org/10.1007/978-3-540-74444-3_18 db/conf/egov/egov2007.html#CorradiniSPAR07 Flavio Corradini Francesco De Angelis 0001 Alberto Polzonetti Barbara Re 0001 Quality evaluation of e-Government digital services. 377-378 2006 conf/dgo/2006 DG.O https://doi.org/10.1145/1146598.1146710 https://www.wikidata.org/entity/Q123763127 db/conf/dgo/dgo2006.html#CorradiniAPR06 Flavio Corradini Chiara Ercoli Emanuela Merelli Barbara Re 0001 An agent-based matchmaker. 150-156 2004 conf/woa/2004 WOA db/conf/woa/woa2004.html#CorradiniEMR04 Basit Mubeen Abdul Umair Ahmed Jin-Hyuk Ahn Cinzia Amici Emiliano Anceschi Francesco De Angelis 0001 Guglielmo De Angelis Luis E. Anido-Rifón Alessandro Antinori Alberto Belli Sara Belluccini Antonia Bertolino Alessandro Bettacchi Gian Mario Bilei Khalid Bourr Robert Andrei Buchmann Andrea Burattin Diletta Cacciagrano Serenella Carota Roberto Casadei Francesco Cirillo Riccardo Cognini Riccardo Coltrinari Ivan Compagnucci Flavio CorradiniFlávio Corradini Rosario Culmone Giuseppe Destefanis Claudia Diamantini Massimo Callisto De Donato Marlon Dumas Noella Edelmann Chiara Ercoli Flavio Fabbrizi Damiano Falcioni Daniele Fanì Livio Fani Enrico Fattibene Arianna Fedeli Alessio Ferrari 0001 Peter Forbrig Fabrizio Fornari 0001 Giancarlo Fortino Niccolò Francioni Emanuele Frontoni Roberto Gagliardi Alessio Galassi Ennio Gambi Ana-Maria Ghiran Francesco Giovannini Olivier Glassey Stefania Gnesi Anne Gutschmidt Dagoberto Herrera-MurilloDagoberto José Herrera-Murillo Knut Hinkelmann Paolo Iddas Fabrizio Ippoliti Björn Johansson 0002 Marite Kirikova Thomas J. Lampoltshammer Birger Lantow Francisco J. López-PellicerFrancisco Javier López-Pellicer Lorenzo Luzi Maria Laura Maggiulli Matteo Manzali Michelangelo Marani Fausto Marcantoni Alessandro Marcelletti Stefano Mariani 0001 Emanuela Merelli Gianluca Misuraca Charles Møller Andrea Morichetta 0001 Luca Mozzoni Chiara Muzi Karine NahonKarine Barzilai-Nahon Rumyana Neykova Rocco De Nicola Javier Nogueras-Iso Vincenzo Nucci Héctor Ochoa-Ortiz Lorenzo Palma Panagiotis Panagiotopoulos 0001Panos Panagiotopoulos 0001 Yuri Paoloni Peter Parycek Luca Pernini Sara Pettinari Marco Piangerelli Roberto Piangerelli Danilo Pianini Jessica Piccioni Alfonso Pierantonio Paola Pierleoni Pierluigi Plebani Andrea Polini Alberto Polzonetti Andrea Polzonetti Olga H. Popova Domenico Potena Pille PullonenPille Pullonen-Raudvere Laura Raffaeli Stefan Reimann Hassen Riahi Matteo Romagnoli Marcello La Rosa Lorena Rossi Lorenzo Rossi 0001 Luca Ruschioni Wilma Russo Luis Álvarez Sabucedo Davide Salomoni Massimiliano Sampaolo Kurt Sandkuhl Adelmo De Santis Claudio Savaglio Andrea Scacchia Marco Scarpetta Hans Jochen Scholl Ulf Seigerroth Andrea Sergiacomi Estefanía SerralEstefanía Serral Asensio Robert Shuttleworth Monique Snoeck Giorgio Oronzo Spagnolo Daniele Spiga Susanna Spinsante Loriano Storchi Luca Tesei Barbara Thönssen Francesco Tiezzi 0001 Victoria Torres Pedro Valderas Andrea Valentini Andrea Vandin Valerio Venturi Paolo Veronesi Mirko Viroli Leonardo Vito Robert Woitsch Franco Zambonelli Primo Zingaretti