Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Formal Methods to Improve Public Administration Business Processes

Andrea Polini, Andrea Polzonetti, Barbara Re

RAIRO-Theor. Inf. Appl., 46 2 (2012) 203-229

Published online: 2012-02-21

DOI: https://doi.org/10.1051/ita/2012002

This article has been cited by the following article(s):

Model-based verification of data protection mechanisms in collaborative business processes

Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen-Raudvere, Barbara Re and Francesco Tiezzi
Software and Systems Modeling (2025)
https://doi.org/10.1007/s10270-024-01217-6

Formal Verification of Business Constraints in Workflow-Based Applications

Florin Stoica and Laura Florentina Stoica
Information 15 (12) 778 (2024)
https://doi.org/10.3390/info15120778

Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re and Francesco Tiezzi
141 (2020)
https://doi.org/10.1145/3372020.3391553

Features of implementation of the newest management concepts: regional model of modernization of administrative processes in public authorities in conditions of digital transformation of society

Oleksandr Mazur and Oksana Sokolovska
Public administration aspects 8 (5) 107 (2020)
https://doi.org/10.15421/152099

Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi and Andrea Vandin
217 (2017)
https://doi.org/10.1109/ASE.2017.8115635

Inter-organizational business process verification in public administration

Flavio Corradini, Andrea Polini and Barbara Re
Business Process Management Journal 21 (5) 1040 (2015)
https://doi.org/10.1108/BPMJ-02-2014-0013