Univ. Constantine 2
Team : MFGL

5 recent publications
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)
PhD thesis
Khaled Khalfaoui
Une approche de spécification des changements de besoins basée transformations de graphes. Université de Biskra, Algérie (2014)