Noura Boudiaf; Allaoua Chaoui Towards Automated Analysis of Ada-95 Tasking Behavior Using Rewriting Logic. ISIIT'04 (2004)
	Noura Boudiaf; Allaoua Chaoui Dynamic Analysis Algorithm for ECATNets. Int. workshop on Modelling of Objects, Components, and Agents (MOCA'04): 47-63 (2004)
	Noura Boudiaf; Allaoua Chaoui A rewriting Logic Based Tool for Automated Support of ECATNets Reachability Analysis. Int. Conf. on Computer Science, Software Engineering, Information Technology, e-Business and Applications (CSITeA’04) (2004)
	Amer Draa; Mohamed Batouche; Hichem Talbi A Genetic Quantum Hybridization for Multi-Sensors Image Registration. 4th Int. Conf. on Intelligent Systems Design and Applications (ISDA’04): 749-754 (2004)
	Hichem Talbi; Amer Draa; Mohamed Batouche A new quantum-inspired genetic algorithm for solving the travelling salesman problem. IEEE Int. Conf. on Industrial Technology (ICIT'04): 1192-1197 (2004)
	Amer Draa; Souham Meshoul; Hichem Talbi; Mohamed Batouche A quantum inspired differential evolution algorithm for rigid image registration. Int. Conf. on Computational Intelligence (ICCI'04): 408-411 (2004)
	Hichem Talbi; Mohamed Batouche; Amer Draa A quantum-inspired genetic algorithm for multi-source affine image registration. Int. Conf. Image Analysis and Recognition (ICIAR'04): 147-154 (2004)
	Hichem Talbi; Amer Draa; Mohamed Chaouki Batouche A genetic quantum algorithm for image registration. Int. Conf. on Information and Communication Technologies: From Theory to Applications (ICTTA'04): 395-396 (2004)
	Salama Meghriche; Amer Draa; Mohammed Boulemden; Afnen Abada A Hybrid Neural Network for Detecting AtrioVentricular Block (AVB) in ECG Signal. (2004)

	Salim Chikhi; Hocine Shout Using probabilistic neural networks to construct well facies. WSEAS Transactions on Systems 2(4): 839-843 (2003)
	Esma Bendiab; Souham Meshoul; Mohamed Batouche An Artificial Immune System for Multimodality Image Alignment. 2nd Int. Conf. on Artificial Immune Systems (ICARIS'03): 11-21 (2003)

Jean Pierre Courtiat; Djamel Eddine Saidouni Relating maximality-based semantics to action refinement in process algebras. 7th Int. Conf. on Formal Description Techniques: 293-308 (1995)

Djamel Eddine Saidouni; Jean Pierre Courtiat Syntactic Action Refinement in Presence of Multiway Synchronisation. Int. Workshop on Semantics of Specification Languages (SoSL): 289-303 (1994)

Jean Pierre Courtiat; Djamel Eddine Saidouni Action Refinement in LOTOS. 13th IFIP Int. Symp. on Protocol Specification, Testing and Verification (PSTV'93): 341-354 (1993)