Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa; Allaoua Chaoui Entanglement swapping via quantum zeno dynamics in noisy environment. Quantum Information Processing 23(2) (2024)

Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa; Allaoua Chaoui Optimized exploration of quantum circuits space based on sub-circuits equivalences. Quantum Information Processing 22(1) (2023)

Khalfaoui Khaled; El Hillali Kerkouche; Tahar Boudjedaa; Allaoua Chaoui Optimized search for complex protocols based on entanglement detection. Quantum Information Processing 21(6) (2022)

Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa Automatic design of quantum circuits: generation of quantum teleportation protocols. Quantum Information Processing 20(9) (2021)

Elhillali Kerkouche; Khaled Khalfaoui; Allaoua Chaoui A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. Int. J. of Computer Aided Engineering and Technology 12(2): 237-262 (2020)

Chafika Djaoui; Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams. Int. Conf. on Information Reuse and Integration (IRI'18): 511-517 (2018)

	Khaled Khalfaoui; Elhillali Kerkouche; Allaoua Chaoui; Cherif Foudil Automatic generation of SPL structurally valid products: An approach based on progressive composition of partial configurations. Int. Conf. on Information and Communication Systems (ICICS'15): 25-31 (2015)
	Riad Boussetoua; Hammadi Bennoui; Allaoua Chaoui; Khaled Khalfaoui; Elhillali Kerkouche An automatic approach to transform BPMN models to Pi-Calculus. 12th Int. Conf. of Computer Systems and Applications (AICCSA'15): 1-8 (2015)

	Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui; Raida Elmansouri On the Verification of G-Nets Models Using Graph Transformations. Int. journal of innovative computing, information and control (IJCIC) 9(11): 4285-4302 (2013)
	Khaled Khalfaoui; Allaoua Chaoui; Cherif Foudil; Elhillali Kerkouche Automatic Generation of SPL Structurally Valid Products Using Graph Transformations Approach. Modeling Approaches and Algorithms for Advanced Computer Applications: 347-356 (2013)

Khaled Khalfaoui; Allaoua Chaoui; Cherif Foudil; Elhillali Kerkouche Formal Specification of Software Product Lines: A Graph Transformation Based Approach. J. of SoftWare (JSW) 7(11): 2518-2532 (2012)

Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui Transforming UML models to colored petri nets models using graph grammars. 14th IEEE Symp. on Computers and Communications (ISCC'09): 230-236 (2009)