An agent-based matchmaker. - Flavio Corradini; Chiara Ercoli; Emanuela Merelli; Barbara Re 001 (WOA, 2004)

Quality evaluation of e-Government digital services. - Flavio Corradini; Francesco De Angelis 001; Alberto Polzonetti; Barbara Re 001 (DG.O, 2006)

A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal. - Flavio Corradini; Luis Álvarez Sabucedo; Alberto Polzonetti; Luis E. Anido-Rifón; Barbara Re 001 (EGOV, 2007)

Quality of service in e-government underlines the role of information usability. - Flavio Corradini; Alberto Polzonetti; Barbara Re 001; Luca Tesei (Int. J. Inf. Qual., 2008)

Resourceome for e-Government: Semantic Web Tool for Managing PA Resources. - Flavio Corradini; Emanuela Merelli; Alberto Polzonetti; Barbara Re 001; Leonardo Vito (CSREA EE, 2009)

E-Commerce and E-Government: How Do They Compare? What Can They Learn from Each Other? - Hans Jochen Scholl; Karine Barzilai-Nahon; Jin-Hyuk Ahn; Olga H. Popova; Barbara Re 001 (HICSS, 2009)

A System for Process Management for Emergency Teams: Idea, Approach, Governance. - Francesco De Angelis 001; Fausto Marcantoni; Barbara Re 001; Alberto Polzonetti (CSREA EEE, 2010)

Designing Quality Business Processes for E-Government Digital Services. - Flavio Corradini; Damiano Falcioni; Andrea Polini; Alberto Polzonetti; Barbara Re 001 (EGOV, 2010)

Internet Security: Now and in the Future. - Francesco De Angelis 001; Roberto Gagliardi; Barbara Re 001; Alberto Polzonetti (International Conference on Internet Computing, 2010)

Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies. - Luis Álvarez Sabucedo; Luis E. Anido-Rifón; Flavio Corradini; Alberto Polzonetti; Barbara Re 001 (Expert Syst. Appl., 2010)

Business Processes Verification for e-Government Service Delivery. - Flavio Corradini; Andrea Polini; Alberto Polzonetti; Barbara Re 001 (Inf. Syst. Manag., 2010)

FedCohesion: Federated Identity Management in the Marche Region. - Serenella Carota; Flavio Corradini; Damiano Falcioni; Maria Laura Maggiulli; Fausto Marcantoni; Roberto Piangerelli; Alberto Polzonetti; Barbara Re 001; Andrea Sergiacomi (EGOVIS/EDEM, 2012)

Improving PA Business Processes through Modeling, Analysis, and Reengineering. - Damiano Falcioni; Andrea Polini; Alberto Polzonetti; Barbara Re 001 (EGOV, 2012)

Livelock and Deadlock Detection for PA Inter-organizational Business Processes. - Damiano Falcioni; Andrea Polini; Alberto Polzonetti; Barbara Re 001 (EGOVIS/EDEM, 2012)

Direct Verification of BPMN Processes through an Optimized Unfolding Technique. - Damiano Falcioni; Andrea Polini; Alberto Polzonetti; Barbara Re 001 (QSIC, 2012)

Formal Methods to Improve Public Administration Business Processes. - Andrea Polini; Andrea Polzonetti; Barbara Re 001 (RAIRO Theor. Informatics Appl., 2012)

A Collaborative Approach to Public Administrations Inter-organizational Business Processes Modelling. - Riccardo Cognini; Damiano Falcioni; Alberto Polzonetti; Barbara Re 001 (EGOV/ePart Ongoing Research, 2013)

Digital Identity into Practice: The Case of UniCam. - Damiano Falcioni; Fabrizio Ippoliti; Fausto Marcantoni; Barbara Re 001 (EGOVIS/EDEM, 2013)

HawkEye: a tool for collaborative business process modelling and verification. - Riccardo Cognini; Damiano Falcioni; Andrea Polini; Alberto Polzonetti; Barbara Re 001 (SAC, 2013)

Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes. - Riccardo Cognini; Flavio Corradini; Andrea Polini; Barbara Re 001 (Business Process Management Workshops, 2014)

A cloud-based solution for public administrations: The experience of the Regione Marche. - 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; et al. (CTS, 2014)

Modelling Process Intensive Scenarios for the Smart City. - Riccardo Cognini; Flavio Corradini; Andrea Polini; Barbara Re 001 (EGOV, 2014)

Five factors that make pervasive business intelligence a winning wager. - Riccardo Cognini; Flavio Corradini; Alberto Polzonetti; Barbara Re 001 (IEEM, 2014)

Interoperability issues among smart home technological frameworks. - 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; et al. (MESA, 2014)

Research challenges in business process adaptability. - Riccardo Cognini; Flavio Corradini; Stefania Gnesi; Andrea Polini; Barbara Re 001 (SAC, 2014)

Extending Feature Models to Express Variability in Business Process Models. - Riccardo Cognini; Flavio Corradini; Andrea Polini; Barbara Re 001 (CAiSE Workshops, 2015)

Process Variability Modeling for Complex Organizations. - Riccardo Cognini; Flavio Corradini; Andrea Polini; Barbara Re 001 (ES, 2015)

An Operational Semantics of BPMN Collaboration. - Flavio Corradini; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (FACS, 2015)

An Integration Platform for Private Assisted Houses. - Flavio Corradini; Francesco De Angelis 001; Barbara Re 001; Emiliano Anceschi; Massimo Callisto De Donato; Paolo Iddas (ICT4AgeingWell, 2015)

BPFM: A Notation and an Approach to Homogenize Variable Business Processes for Public Services. - Riccardo Cognini; Andrea Polini; Alberto Polzonetti; Barbara Re 001 (IIAI-AAI, 2015)

Inter-organizational business process verification in public administration. - Flavio Corradini; Andrea Polini; Barbara Re 001 (Bus. Process. Manag. J., 2015)

Modeling for Learning in Public Administrations - The Learn PAd Approach. - Guglielmo De Angelis; Alfonso Pierantonio; Andrea Polini; Barbara Re 001; Barbara Thönssen; Robert Woitsch (Domain-Specific Conceptual Modeling, 2016)

Business Process Feature Model: An Approach to Deal with Variability of Business Processes. - Riccardo Cognini; Flavio Corradini; Andrea Polini; Barbara Re 001 (Domain-Specific Conceptual Modeling, 2016)

Understanding Production Chain Business Process Using Process Mining: A Case Study in the Manufacturing Scenario. - Alessandro Bettacchi; Alberto Polzonetti; Barbara Re 001 (CAiSE Workshops, 2016)

The European Digital Agenda and the Impact of ICT on Public Administrations and Small and Medium Enterprises. - Flavio Corradini; Barbara Re 001 (RTA-CSIT, 2016)

webBPMN: A Language to Design Web Applications Regulated by Workflows. - Riccardo Cognini; Michelangelo Marani; Alberto Polzonetti; Barbara Re 001 (WorldCIST (1), 2016)

On Avoiding Erroneous Synchronization in BPMN Processes. - Flavio Corradini; Fabrizio Fornari 001; Chiara Muzi; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (BIS, 2017)

Checking Business Process Modeling Guidelines in Apromore. - Fabrizio Fornari 001; Stefania Gnesi; Marcello La Rosa; Andrea Polini; Barbara Re 001; Giorgio Oronzo Spagnolo (BPM (Demos), 2017)

Supporting Multi-layer Modeling in BPMN Collaborations. - Flavio Corradini; Andrea Polini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (EOMAS@CAiSE, 2017)

BProVe: a formal verification framework for business process models. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (ASE, 2017)

BProVe: tool support for business process verification. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (ASE, 2017)

Private assisted house for smart living. - Flavio Corradini; Francesco De Angelis 001; Barbara Re 001; Emiliano Anceschi; Massimo Callisto De Donato; Paolo Iddas (J. Ambient Intell. Smart Environ., 2017)

Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM, 2018)

MIDA: Multiple Instances and Data Animator. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM (Dissertation/Demos/Industry), 2018)

Checking Business Process Correctness in Apromore. - Fabrizio Fornari 001; Marcello La Rosa; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (CAiSE Forum, 2018)

Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. - Flavio Corradini; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (EDOC, 2018)

Runtime Computation of Optimal Offloading Scheduling. - Andrea Morichetta 001; Barbara Re 001; Francesco Tiezzi 001 (MobileCloud, 2018)

Global vs. Local Semantics of BPMN 2.0 OR-Join. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (SOFSEM, 2018)

A Classification of BPMN Collaborations based on Safeness and Soundness Notions. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Francesco Tiezzi 001 (CoRR, 2018)

A Guidelines framework for understandable BPMN models. - Flavio Corradini; Alessio Ferrari 001; Fabrizio Fornari 001; Stefania Gnesi; Andrea Polini; Barbara Re 001; Giorgio Oronzo Spagnolo (Data Knowl. Eng., 2018)

Business process flexibility - a systematic literature review with a software systems perspective. - Riccardo Cognini; Flavio Corradini; Stefania Gnesi; Andrea Polini; Barbara Re 001 (Inf. Syst. Frontiers, 2018)

A formal approach to modeling and verification of business process collaborations. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Sci. Comput. Program., 2018)

Case Studies for a New IoT Programming Paradigm: Fluidware. - Stefano Mariani 001; Roberto Casadei; Fabrizio Fornari 001; Giancarlo Fortino; Danilo Pianini; Barbara Re 001; Wilma Russo; Claudio Savaglio; Mirko Viroli; Franco Zambonelli (AI&IoT@AI*IA, 2019)

Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies. - Flavio Corradini; Andrea Morichetta 001; Barbara Re 001; Francesco Tiezzi 001 (The Art of Modelling Computational Systems, 2019)

Enabling Auditing of Smart Contracts Through Process Mining. - Flavio Corradini; Fausto Marcantoni; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Massimiliano Sampaolo (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT. - Giancarlo Fortino; Barbara Re 001; Mirko Viroli; Franco Zambonelli (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

RePROSitory: a Repository Platform for Sharing Business PROcess modelS. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (BPM (PhD/Demos), 2019)

UBBA: Unity Based BPMN Animator. - Basit Mubeen Abdul; Flavio Corradini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (CAiSE Forum, 2019)

Towards Adaptive Flow Programming for the IoT: The Fluidware Approach. - Franco Zambonelli; Mirko Viroli; Giancarlo Fortino; Barbara Re 001 (PerCom Workshops, 2019)

Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Business Process Management Workshops, 2020)

Verification of Privacy-Enhanced Collaborations. - Sara Belluccini; Rocco De Nicola; Marlon Dumas; Pille Pullonen; Barbara Re 001; Francesco Tiezzi 001 (FormaliSE@ICSE, 2020)

FabNet: an Automatic Hyperledger Fabric Network Wizard (short paper). - Alessandro Marcelletti; Barbara Re 001 (PoEM Workshops, 2020)

PALM: A Technique for Process ALgebraic Specification Mining. - Sara Belluccini; Rocco De Nicola; Barbara Re 001; Francesco Tiezzi 001 (IFM, 2020)

Engineering trustable choreography-based systems using blockchain. - Flávio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (SAC, 2020)

Process-oriented knowledge management and learning in public administrations. - Antonia Bertolino; Guglielmo De Angelis; Andrea Polini; Barbara Re 001; Andrea Sergiacomi (Electron. Gov. an Int. J., 2020)

Correctness checking for BPMN collaborations with sub-processes. - Flavio Corradini; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (J. Syst. Softw., 2020)

Collaboration vs. choreography conformance in BPMN. - Flavio Corradini; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Log. Methods Comput. Sci., 2020)

Trends on the Usage of BPMN 2.0 from Publicly Available Repositories. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001 (BIR, 2021)

RePROSitory: a Repository platform for sharing business PROcess models and logS. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (ITBPM@BPM, 2021)

ChorChain: A model-driven framework for choreography-based systems using blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (ITBPM@BPM, 2021)

FloWare: An Approach for IoT Support and Application Development. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001 (BPMDS/EMMSAD@CAiSE, 2021)

Disciplined use of BPMN for mission modeling of Multi-Robot Systems. - Khalid Bourr; Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (PoEM (Forum), 2021)

Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations. - Flavio Corradini; Andrea Morichetta 001; Chiara Muzi; Barbara Re 001; Francesco Tiezzi 001 (J. Log. Algebraic Methods Program., 2021)

A formal approach for the analysis of BPMN collaboration models. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (J. Syst. Softw., 2021)

BPMN-Redrawer: From Images to BPMN Models. - Alessandro Antinori; Riccardo Coltrinari; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001; Marco Scarpetta (BPM (PhD/Demos), 2022)

A Purpose-Guided Log Generation Framework. - Andrea Burattin; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM, 2022)

ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (BPM (PhD/Demos), 2022)

A Technique for Collaboration Discovery. - Flavio Corradini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPMDS/EMMSAD@CAiSE, 2022)

Towards a Digital Twin Modelling Notation. - Flavio Corradini; Arianna Fedeli; Andrea Polini; Barbara Re 001 (DASC/PiCom/CBDCom/CyberSciTech, 2022)

An Approach to Support Digital Process Twin. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (DASC/PiCom/CBDCom/CyberSciTech, 2022)

DTMN a Modelling Notation for Digital Twins. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001 (EDOC Workshops, 2022)

PURPLE: a PURPose-guided Log GEnerator (Extended Abstract). - Andrea Burattin; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (ICPM Doctoral Consortium / Demo, 2022)

A Choreography-Driven Approach for Blockchain-Based IoT Applications. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (PerCom Workshops, 2022)

X-IoT: a model-driven approach for cross-platform IoT applications development. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001 (SAC, 2022)

Flexible execution of multi-party business processes on blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (WETSEB@ICSE, 2022)

Consistent modelling of hierarchical BPMN collaborations. - Flavio Corradini; Andrea Polini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Bus. Process. Manag. J., 2022)

Formalising and animating multiple instances in BPMN collaborations. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Inf. Syst., 2022)

BPMN 2.0 OR-Join Semantics: Global and local characterisation. - Flavio Corradini; Chiara Muzi; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Inf. Syst., 2022)

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (ACM Trans. Manag. Inf. Syst., 2022)

BPMN Inspector: A Tool for Extracting Features from BPMN Models. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001 (BPM (Demos / Resources Forum), 2023)

A Methodology for the Analysis of Robotic Systems via Process Mining. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (EDOC, 2023)

Design and Development of a Digital Twin Prototype for the SAFE Project. - Massimo Callisto De Donato; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001; Matteo Romagnoli (EDOC Workshops, 2023)

Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform. - Massimo Callisto De Donato; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001; Matteo Romagnoli (EDOC Workshops, 2023)

Enhancing compatibility in QoS communication for the Internet of Robotic Things. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Luca Ruschioni; Francesco Tiezzi 001 (ER (Companion), 2023)

Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Big Data Cogn. Comput., 2023)

A Flexible Approach to Multi-party Business Process Execution on Blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Future Gener. Comput. Syst., 2023)

A systematic literature review on IoT-aware business process modeling views, requirements and notations. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Softw. Syst. Model., 2023)

A BPMN-driven framework for Multi-Robot System development. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Robotics Auton. Syst., 2023)

FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001 (Softw. Syst. Model., 2023)

X-IoT: a model-driven approach to support IoT application portability across IoT platforms. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Luca Ruschioni (Computing, 2023)

Process Analysis in Humanitarian Voluntary Geographic Information: the case of the HOT Tasking Manager. - Dagoberto José Herrera-Murillo; Héctor Ochoa-Ortiz; Umair Ahmed; Francisco Javier López-Pellicer; Barbara Re 001; Andrea Polini; Javier Nogueras-Iso (AGILE Conf., 2024)

Design and development of an IoT system for audiovisual self-administered tests. - Massimo Callisto De Donato; Flavio Corradini; Flavio Fabbrizi; Fabrizio Fornari 001; Barbara Re 001 (BIR Workshops, 2024)

BEAR: BPMN and Environment AnimatoR. - Flavio Corradini; Luca Mozzoni; Jessica Piccioni; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM (Demos / Resources Forum), 2024)

On the Interplay Between BPMN Collaborations and the Physical Environment. - Flavio Corradini; Jessica Piccioni; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM, 2024)

A Digital Process Twin Conceptual Architecture for What-If Process Analysis. - Ivan Compagnucci; Barbara Re 001; Estefanía Serral Asensio; Monique Snoeck (EDOC Workshops, 2024)

Formal Approaches for Modeling and Analysis of Business Process Collaborations. - Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001; Lorenzo Rossi 001; Andrea Polini; Francesco Tiezzi 001; Andrea Vandin (ISoLA (1), 2024)

A Data Extraction Methodology for Ethereum Smart Contracts. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Barbara Re 001 (PerCom Workshops, 2024)

A Digital Twin Approach for Blockchain Smart Contracts. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Barbara Re 001; Luca Ruschioni (SANER (Companion), 2024)

SAFE: An ICT platform for supporting monitoring, localization and rescue operations in case of earthquake. - Massimo Callisto De Donato; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001 (Internet Things, 2024)

A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001 (Bus. Inf. Syst. Eng., 2024)

FloBP: a model-driven approach for developing and executing IoT-enhanced business processes. - Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Victoria Torres; Pedro Valderas (Softw. Syst. Model., 2024)

A technique for discovering BPMN collaboration diagrams. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Softw. Syst. Model., 2024)

Modeling, Formalizing, and Animating Environment-Aware BPMN Collaborations. - Flavio Corradini; Luca Mozzoni; Jessica Piccioni; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (BPM, 2025)

Robotic Datasets for Process Mining. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Massimiliano Sampaolo (CAiSE Forum, 2025)

Enabling Process Mining on Multimodal Robotic Data. - Flavio Corradini; Sara Pettinari; Barbara Re 001; Lorenzo Rossi 001; Massimiliano Sampaolo (CAiSE Workshops, 2025)

Towards a Digital Twin of a Decanter Centrifuge for Wastewater Management. - Massimo Callisto De Donato; Flavio Corradini; Niccolò Francioni; Francesco Giovannini; Barbara Re 001; Andrea Scacchia (CAiSE Workshops, 2025)

Looseness for Choreography-based Software Architectures on Blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (SAC, 2025)

A methodology for extracting and decoding smart contracts data. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Barbara Re 001 (Comput. Commun., 2025)

Event log extraction methodology for Ethereum applications. - Andrea Morichetta 001; Yuri Paoloni; Barbara Re 001 (Future Gener. Comput. Syst., 2025)

Online clustering with interpretable drift adaptation to mixed features. - Flavio Corradini; Vincenzo Nucci; Marco Piangerelli; Barbara Re 001 (Intell. Syst. Appl., 2025)

Exploring why and how commercial organizations contribute to OpenStreetMap. - Héctor Ochoa-Ortiz; Barbara Re 001 (Ann. GIS, 2025)

Model-based verification of data protection mechanisms in collaborative business processes. - Sara Belluccini; Rocco De Nicola; Marlon Dumas; Pille Pullonen-Raudvere; Barbara Re 001; Francesco Tiezzi 001 (Softw. Syst. Model., 2025)

Micro-Patterns in Solidity Code. - Luca Ruschioni; Robert Shuttleworth; Rumyana Neykova; Barbara Re 001; Giuseppe Destefanis (CoRR, 2025)

Blockchain-Based Execution of BPMN Choreographies with Multiple Instances. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Distributed Ledger Technol. Res. Pract., 2025)