Allaoua CHAOUI
...
Professeur
Univ. Constantine 2
Equipe : MFGL
CV

Research Gate DBLP Google Scholar LinkedIn
Détails
5 dernières 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)
Radja Hamli; Allaoua Chaoui; Raida El Mansouri; Ali Khebizi
Comprehensive Framework-Based Reconfigurable Object Nets for Managing Dynamic Protocols Evolution. Int. J. of Organizational and Collective Intelligence (IJOCI) 13(1) (2023)
Houda Hamrouche; Allaoua Chaoui; Smaine Mazouzi
A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams. Computing and Informatics (CAI) 41(5): 1284-1309 (2022)
Said Meghzili; Allaoua Chaoui; Raida El Mansouri; Bardis Nadjla Alloui; Amina Bouabsa
Formal Verification and Implementation of an E-Voting System. Int. J. of Software Innovation (IJSI) 10(1): 1-20 (2022)
Yasmina Rahmoune; Allaoua Chaoui
Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation. Computer Science 23(3): 411-447 (2022)
Titre Spécialité Niveau
Ingénierie Dirigée par les Modèles
INDM
Réseaux Et Systèmes Distribués (RSD) Master 1
Complexité des Algorithmes Séquentiels et Parallèles
CASP
Réseaux Et Systèmes Distribués (RSD) Master 1
Compilation
COMP
Science de l'Informatiques (SCI) Licence 3