الرئيسية › دليل الباحثين › Fatima Haloua

Fatima Haloua

الانتماء : University of Eloued

• 5منشورات (انتماء جزائري)
• 6مجموع المنشورات
• 2الاستشهادات
• 1مؤشر h

OpenAlex

مجالات البحث

• Formal Methods in Verification
• Model-Driven Software Engineering Techniques
• Safety Systems Engineering in Autonomy
• Autism Spectrum Disorder Research
• Speech Recognition and Synthesis

المنشورات (5)

• A Novel Vocal Database for Children with Autism Spectrum Disorder: Design, Collection, and Future Applications
  2026 · International Journal of Informatics and Applied Mathematics
• A Novel Vocal Database for Children with Autism Spectrum Disorder: Design, Collection, and Future Applications
  2026 · Lecture notes in networks and systems
• Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
  2024 · International Conference on Pattern Analysis and Intelligent Systems (PAIS) · استُشهد به 1 مرة
• A maintainable and iterative development approach of critical systems with FoCaLiZe
  2024 · STUDIES IN ENGINEERING AND EXACT SCIENCES
• Development of Critical Systems with UML/OCL and FoCaLiZe
  2021 · Communications in computer and information science · استُشهد به 1 مرة

مجلات النشر

• International Journal of Informatics and Applied Mathematics × 1
• Lecture notes in networks and systems × 1
• International Conference on Pattern Analysis and Intelligent Systems (PAIS) × 1
• STUDIES IN ENGINEERING AND EXACT SCIENCES × 1
• Communications in computer and information science × 1

المنشورات حسب السنة

• 20262
• 20242
• 20211

التعاون العلمي

المؤسسات الشريكة : Princess Nourah bint Abdulrahman University · Ocean County Library · University of Boumerdes

بلدان المؤلفين المشاركين : السعودية · الولايات المتحدة

المؤلفون المشاركون

• Imane Kadi
• Ammar Boucherit
• Messaoud Abbas
• Mohammed Mounir Bouhamed
• Hessa Alfraihi
• Messaoud Abbas
• Rachid Djerbi

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).