Seguir
Barbara Re
Barbara Re
Dirección de correo verificada de unicam.it
Título
Citado por
Citado por
Año
E-Commerce and e-Government: How do they Compare? what can they Learn from each Other?
HJ Scholl, K Barzilai-Nahon, JH Ann, OH Popova, B Re
2009 42nd Hawaii International Conference on System Sciences, 1-10, 2009
1192009
A guidelines framework for understandable BPMN models
F Corradini, A Ferrari, F Fornari, S Gnesi, A Polini, B Re, GO Spagnolo
Data & Knowledge Engineering 113, 129-154, 2018
1152018
Business process flexibility-a systematic literature review with a software systems perspective
R Cognini, F Corradini, S Gnesi, A Polini, B Re
Information Systems Frontiers 20, 343-371, 2018
602018
A formal approach to modeling and verification of business process collaborations
F Corradini, F Fornari, A Polini, B Re, F Tiezzi
Science of Computer Programming 166, 35-70, 2018
572018
Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies
LMÁ Sabucedo, LEA Rifón, F Corradini, A Polzonetti, B Re
Expert Systems with Applications 37 (5), 3647-3656, 2010
532010
A formal approach for the analysis of BPMN collaboration models
F Corradini, F Fornari, A Polini, B Re, F Tiezzi, A Vandin
Journal of Systems and Software 180, 111007, 2021
412021
Towards value-creating and sustainable open data ecosystems: A comparative case study and a research agenda
B Van Loenen, A Zuiderwijk, G Vancau-Wenberghe, FJ Lopez-Pellicer, ...
JeDEM-eJournal of eDemocracy and Open Government 13 (2), 1-27, 2021
402021
Engineering trustable choreography-based systems using blockchain
F Corradini, A Marcelletti, A Morichetta, A Polini, B Re, F Tiezzi
Proceedings of the 35th annual ACM symposium on applied computing, 1470-1479, 2020
382020
BProVe: a formal verification framework for business process models
F Corradini, F Fornari, A Polini, B Re, F Tiezzi, A Vandin
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
372017
Interoperability issues among smart home technological frameworks
L Rossi, A Belli, A De Santis, C Diamantini, E Frontoni, E Gambi, L Palma, ...
2014 IEEE/ASME 10th International Conference on Mechatronic and Embedded …, 2014
352014
Model-driven engineering for multi-party business processes on multiple blockchains
F Corradini, A Marcelletti, A Morichetta, A Polini, B Re, E Scala, F Tiezzi
Blockchain: Research and Applications 2 (3), 100018, 2021
322021
An interpolation-free ALE scheme for unsteady inviscid flows computations with large boundary displacements over three-dimensional adaptive grids
B Re, C Dobrzynski, A Guardone
Journal of Computational Physics 340, 26-54, 2017
302017
Business processes verification for e-government service delivery
F Corradini, A Polini, A Polzonetti, B Re
Information Systems Management 27 (4), 293-308, 2010
302010
Enabling auditing of smart contracts through process mining
F Corradini, F Marcantoni, A Morichetta, A Polini, B Re, M Sampaolo
From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019
272019
Inter-organizational business process verification in public administration
F Corradini, A Polini, B Re
Business Process Management Journal 21 (5), 1040-1065, 2015
272015
Animating multiple instances in BPMN collaborations: from formal semantics to tool support
F Corradini, C Muzi, B Re, L Rossi, F Tiezzi
Business Process Management: 16th International Conference, BPM 2018, Sydney …, 2018
262018
Research challenges in business process adaptability
R Cognini, F Corradini, S Gnesi, A Polini, B Re
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1049-1054, 2014
262014
Engineering trustable and auditable choreography-based systems using blockchain
F Corradini, A Marcelletti, A Morichetta, A Polini, B Re, F Tiezzi
ACM Transactions on Management Information Systems (TMIS) 13 (3), 1-53, 2022
252022
Modelling notations for IoT-aware business processes: a systematic literature review
I Compagnucci, F Corradini, F Fornari, A Polini, B Re, F Tiezzi
Business Process Management Workshops: BPM 2020 International Workshops …, 2020
242020
RePROSitory: a Repository Platform for Sharing Business PROcess modelS.
F Corradini, F Fornari, A Polini, B Re, F Tiezzi
BPM (PhD/Demos) 2420, 149-153, 2019
242019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20