SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Kaïs Klai · Study

Home/Author

Kaïs Klai

7 works· latest 2017· 1 institutionscluster: provisionalORCID 0000-0001-5494-913X

h-index7

i107

Citations121

Works here7

08

09

11

12

13

16

17

Most cited in this library

Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes2009 · 29 citations
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes2011 · 19 citations
Formal Verification of Time-Aware Cloud Resource Allocation in Business Process2016 · 18 citations
Formal Model and Method to Decompose Process-Aware IoT Applications2017 · 15 citations
CoopFlow: A Bottom-Up Approach to Workflow Cooperation for Short-Term Virtual Enterprises2008 · 15 citations

Works

7 shown

Formal Model and Method to Decompose Process-Aware IoT Applications

Lecture notes in computer science·2017·2 authors·other

15citations

Formal Verification of Time-Aware Cloud Resource Allocation in Business Process

Lecture notes in computer science·2016·5 authors·other

18citations

Time-Based Evaluation of Service-Based Business Process Elasticity in the Cloud

IEEE International Conference on Cloud Computing Technology and Science·2013·4 authors·other

11citations

Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs

Lecture notes in computer science·2012·2 authors·other·Open access

14citations

Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes

Data & Knowledge Engineering·2011·3 authors

19citations

Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes

Lecture notes in computer science·2009·3 authors·other

29citations

CoopFlow: A Bottom-Up Approach to Workflow Cooperation for Short-Term Virtual Enterprises

IEEE Transactions on Services Computing·2008·3 authors

15citations