5 recent publications |
---|
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) |
|
Abdelouahab Fortas; Elhillali Kerkouche; Allaoua Chaoui
Formal Verification of IoT Applications Using Rewriting Logic: An MDE-Based Approach. Science of Computer Programming 222: 102859 (2022) |
|
Abdelkamel Hettab; Allaoua Chaoui; Mohamed Boubakir; Elhillali Kerkouche
Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach. Int. J. of Computer Aided Engineering and Technology 16(3): 379-415 (2022) |
|
Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa
Automatic design of quantum circuits: generation of quantum teleportation protocols. Quantum Information Processing 20(9) (2021) |
PhD thesis |
---|
Elhillali Kerkouche
Modélisation multi-paradigme : Une approche basée sur la transformation de graphes. Université Mentouri de Constantine, Algérie (2011) |