All Stories

  1. Engineering Trustable and Auditable Choreography-based Systems Using Blockchain

    Article • ACM Transactions on Management Information Systems, September 2022, ACM (Association for Computing Machinery)

    Barbara Re, Andrea Morichetta

  2. Flexible execution of multi-party business processes on blockchain

    Article • May 2022, ACM (Association for Computing Machinery)

    Andrea Morichetta, Barbara Re

  3. X-IoT

    Article • April 2022, ACM (Association for Computing Machinery)

    Barbara Re, Arianna Fedeli

  4. Verification of Privacy-Enhanced Collaborations

    Article • September 2020, ACM (Association for Computing Machinery)

    Barbara Re, Sara Belluccini, Marlon Dumas

  5. Private assisted house for smart living

    Article • Journal of Ambient Intelligence and Smart Environments, November 2017, IOS Press

    Barbara Re

  6. inter-organizational business process verification

    Article • Business Process Management Journal, September 2015, Emerald

    Barbara Re

  7. Formal Methods to Improve Public Administration Business Processes

    Article • RAIRO - Theoretical Informatics and Applications, February 2012, EDP Sciences

    Barbara Re

  8. Business Processes Verification for e-Government Service Delivery

    Article • Information Systems Management, October 2010, Taylor & Francis

    Barbara Re

  9. Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies

    Article • Expert Systems with Applications, May 2010, Elsevier

    Barbara Re

  10. Quality of service in e-government underlines the role of information usability

    Article • International Journal of Information Quality, January 2008, Inderscience Publishers

    Barbara Re