On Avoiding Erroneous Synchronization in BPMN Processes. - Flavio Corradini; Fabrizio Fornari 001; Chiara Muzi; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (BIS, 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)

Formalising BPMN Service Interaction Patterns. - Chiara Muzi; Luise Pufahl; Lorenzo Rossi 001; Mathias Weske; Francesco Tiezzi 001 (PoEM, 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)

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)

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)