Nadjet Kamel

	2009
4		Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota: Encoding a process algebra using the Event B method. STTT 11(3): 239-253 (2009)
	2008
3		Nadjet Kamel, Sid-Ahmed Selouani, Habib Hamam: A Modal Logic for the CARE Usability Properties for Multimodal User Interfaces. Software Engineering Research and Practice 2008: 39-45
	2004
2		Yamine Aït Ameur, Nadjet Kamel: A generic formal specification of fusion of modalities in a multimodal HCI. IFIP Congress Topical Sessions 2004: 415-420
1		Nadjet Kamel: Utilisation de SMV pour la vérification de propriétés d'IHM multimodales. IHM 2004: 219-222

Coauthor Index

1	Yamine Aït Ameur	[2] [4]
2	Mickaël Baron	[4]
3	Habib Hamam	[3]
4	Jean-Marc Mota	[4]
5	Sid-Ahmed Selouani	[3]

Colors in the list of coauthors