selected publications

• academic article

  • Generic and Specific Compatibility Criteria for Web Service Composition.  International Journal of Web Services Research.  9:45-68. 2012

• chapter

  • Deadlock-Freeness Verification of Business Process Configuration Using SOG.  Lecture notes in computer science. 96-112. 2017
  • Behavioral Technique for Workflow Abstraction and Matching.  Lecture notes in computer science. 477-483. 2006