Kais Klai (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

11 Kais Klai, Samir Tata, Jörg Desel: Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. BPM 2009: 294-309

8 Samir Tata, Kais Klai, Nomane Ould Ahmed M'Bareck: CoopFlow: A Bottom-Up Approach to Workflow Cooperation for Short-Term Virtual Enterprises. IEEE T. Services Computing 1(4): 214-228 (2008)

6 Kais Klai, Nomane Ould Ahmed M'Bareck, Samir Tata: Behavioral Technique for Workflow Abstraction and Matching. Business Process Management 2006: 477-483

5 Kais Klai, Samir Tata, Issam Chebbi: An Observation-based Algorithm for Workflow Matching. MSVVEIS 2006: 193-197

2 Kais Klai, Samir Tata: Abstraction-basedWorkflow Cooperation Using Petri Net Theory. WETICE 2005: 113-120

Selection of 5 from 11 records - Kais Klai has 11 coauthors

11		Kais Klai, Samir Tata, Jörg Desel: Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. BPM 2009: 294-309
8		Samir Tata, Kais Klai, Nomane Ould Ahmed M'Bareck: CoopFlow: A Bottom-Up Approach to Workflow Cooperation for Short-Term Virtual Enterprises. IEEE T. Services Computing 1(4): 214-228 (2008)
6		Kais Klai, Nomane Ould Ahmed M'Bareck, Samir Tata: Behavioral Technique for Workflow Abstraction and Matching. Business Process Management 2006: 477-483
5		Kais Klai, Samir Tata, Issam Chebbi: An Observation-based Algorithm for Workflow Matching. MSVVEIS 2006: 193-197
2		Kais Klai, Samir Tata: Abstraction-basedWorkflow Cooperation Using Petri Net Theory. WETICE 2005: 113-120