selected publications

• academic article

  • Guest editorial: Selected papers from the International Conference on Smart Living and Public Health.  IET Smart Cities.  3:1-2. 2021
  • Restriction‐based fragmentation of business processes over the cloud.  Concurrency and Computation Practice and Experience.  33:1-1. 2019

• book

  • The Impact of Digital Technologies on Public Health in Developed and Developing Countries 2020

• chapter

  • A SAT-Based Formal Approach for Verifying Business Process Configuration.  Communications in computer and information science. 47-62. 2019

• conference paper

  • Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes.  . 952-959. 2018
  • Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process.  . 314-321. 2017