Folgen
Barbara Re
Barbara Re
Bestätigte E-Mail-Adresse bei unicam.it
Titel
Zitiert von
Zitiert von
Jahr
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
1042009
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
802018
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
492010
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
462018
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 (2), 343-371, 2018
402018
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
312014
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
292017
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
252014
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
242017
Inter-organizational business process verification in public administration
F Corradini, A Polini, B Re
Business Process Management Journal, 2015
242015
Business processes verification for e-government service delivery
F Corradini, A Polini, A Polzonetti, B Re
Information Systems Management 27 (4), 293-308, 2010
232010
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
212020
A case study of semantic solutions for citizen-centered web portals in eGovernment: the Tecut Portal
F Corradini, L Álvarez Sabucedo, A Polzonetti, L Anido Rifón, B Re
International Conference on Electronic Government, 204-215, 2007
212007
Modeling for learning in public administrations—the learn PAd approach
GD Angelis, A Pierantonio, A Polini, B Re, B Thönssen, R Woitsch
Domain-Specific Conceptual Modeling, 575-594, 2016
192016
Direct verification of BPMN processes through an optimized unfolding technique
D Falcioni, A Polini, A Polzonetti, B Re
2012 12th International Conference on Quality Software, 179-188, 2012
192012
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
182019
Collaboration vs. choreography conformance in BPMN 2.0: from theory to practice
F Corradini, A Morichetta, A Polini, B Re, F Tiezzi
2018 IEEE 22nd International Enterprise Distributed Object Computing …, 2018
182018
Business process feature model: an approach to deal with variability of business processes
R Cognini, F Corradini, A Polini, B Re
Domain-Specific Conceptual Modeling, 171-194, 2016
172016
An operational semantics of BPMN collaboration
F Corradini, A Polini, B Re, F Tiezzi
Formal Aspects of Component Software, 161-180, 2015
172015
Innovation on public services using business process management
F Corradini, D Falcioni, A Polzonetti, B Re
International Conference on E-business, Management and Economics IPEDR 25, 25-29, 2011
172011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20