( 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

Process Variability Modeling for Complex Organizations., , , and . ES, page 9-20. IEEE, (2015)Quality of service in e-government underlines the role of information usability., , , and . Int. J. Inf. Qual., 2 (2): 133-151 (2008)Formal Methods to Improve Public Administration Business Processes., , and . RAIRO Theor. Informatics Appl., 46 (2): 203-229 (2012)Interoperability issues among smart home technological frameworks., , , , , , , , , and 9 other author(s). MESA, page 1-7. IEEE, (2014)MIDA: Multiple Instances and Data Animator., , , , and . BPM (Dissertation/Demos/Industry), volume 2196 of CEUR Workshop Proceedings, page 86-90. CEUR-WS.org, (2018)Checking Business Process Modeling Guidelines in Apromore., , , , , and . BPM (Demos), volume 1920 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Process-oriented knowledge management and learning in public administrations., , , , and . Electron. Gov. an Int. J., 16 (4): 441-465 (2020)Efficient evaluation of vapour-liquid equilibria from multi-parameter thermodynamic models using differential algebra., , , and . J. Comput. Appl. Math., (2015)A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal., , , , and . EGOV, volume 4656 of Lecture Notes in Computer Science, page 204-215. Springer, (2007)On Avoiding Erroneous Synchronization in BPMN Processes., , , , , and . BIS, volume 288 of Lecture Notes in Business Information Processing, page 106-119. Springer, (2017)