Djamel Eddine Saidouni; Nabil Belala Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification. Int. Arab J. of Information Technology (IAJIT) 2(3): 199-205 (2005)
	Salim Chikhi; Mohamed Batouche Using Probabilistic Unsupervised Neural Method for Lithofacies Identification. Int. Arab J. of Information Technologies 2(1): 58-66 (2005)
	Amer Draa; Hichem Talbi; Mohamed Batouche A quantum inspired genetic algorithm for solving the N-queens problem. 7th Int. Symp. on Programming and Systems (ISPS'15): 145-152 (2005)

	Salim Chikhi; Mohamed Batouche Probabilistic neural method combined with radial-bias functions applied to reservoir characterization in the Algerian Triassic province. J. of Geophysics and Engineering (JGE) 1(2): 134-142 (2004)
	Mohamed-Khireddine Kholladi Fractal Structure of the Urban Objects. Int. Arab J. of Information Technology (IAJIT) 1(2): 164-170 (2004)
	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)