( en | de | ru )

 

Disambiguation of "Re, Barbara"

Author of the publication

copydeleteadd this publication to your clipboard
BProVe: a formal verification framework for business process models.

, , , , , and . ASE, page 217-228. IEEE Computer Society, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Daniel Re

Susanna Re

Reginaldo Ré

Heinz LefvÌ re

Knut re Beuck

 

Other publications of authors with the same name

Five factors that make pervasive business intelligence a winning wager., , , and . IEEM, page 617-621. IEEE, (2014)An agent-based matchmaker., , , and . WOA, page 150-156. Pitagora Editrice Bologna, (2004)Understanding Production Chain Business Process Using Process Mining: A Case Study in the Manufacturing Scenario., , and . CAiSE Workshops, volume 249 of Lecture Notes in Business Information Processing, page 193-203. Springer, (2016)Towards Adaptive Flow Programming for the IoT: The Fluidware Approach., , , and . PerCom Workshops, page 549-554. IEEE, (2019)Consistent modelling of hierarchical BPMN collaborations., , , , and . Bus. Process. Manag. J., 28 (2): 442-460 (2022)FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development., , , , and . Softw. Syst. Model., 22 (1): 131-158 (February 2023)The European Digital Agenda and the Impact of ICT on Public Administrations and Small and Medium Enterprises., and . RTA-CSIT, volume 1746 of CEUR Workshop Proceedings, page 11-16. CEUR-WS.org, (2016)BPMN 2.0 OR-Join Semantics: Global and local characterisation., , , , and . Inf. Syst., (2022)A formal approach for the analysis of BPMN collaboration models., , , , , and . J. Syst. Softw., (2021)Formalising and animating multiple instances in BPMN collaborations., , , , and . Inf. Syst., (2022)