Faisal Abouzaid

Faysal Abouzaid

	2009
7		Faisal Abouzaid, John Mullins: Model-checking Web Services Orchestrations using BP-calculus. Electr. Notes Theor. Comput. Sci. 255: 3-21 (2009)
	2008
6		Faisal Abouzaid, John Mullins: A Calculus for Generation, Verification and Refinement of BPEL Specifications. Electr. Notes Theor. Comput. Sci. 200(3): 43-65 (2008)
	2007
5		Martin Lesage, Omar Cherkaoui, Faysal Abouzaid, Martin Poirier, Gilles Raîche, Martin Riopel: Blender plugin implementations for 3D collaborative work. SMC 2007: 2557-2569
4		Martin Lesage, Omar Cherkaoui, Faysal Abouzaid, Martin Poirier, Gilles Raîche: A Blender Plugin for Collaborative Work on the Articiel Platform. Software Engineering Research and Practice 2007: 333-339
	2006
3		Faisal Abouzaid: Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations. Computer Supported Acitivity Coordination 2006: 23-34
2		Faisal Abouzaid: A Mapping from Pi-Calculus into BPEL. ISPE CE 2006: 235-242
	2004
1		Sabri Boutemedjet, Faysal Abouzaid, Omar Cherkaoui, Gilles Gauthier: ARTICIEL: A supporting platform for collaborative work - Application to the creation of 3D-persons. Computer Supported Acitivity Coordination 2004: 239-245

Coauthor Index

1	Sabri Boutemedjet	[1]
2	Omar Cherkaoui	[1] [4] [5]
3	Gilles Gauthier	[1]
4	Martin Lesage	[4] [5]
5	John Mullins	[6] [7]
6	Martin Poirier	[4] [5]
7	Gilles Raîche	[4] [5]
8	Martin Riopel	[5]

Colors in the list of coauthors