الرئيسية › دليل الباحثين › Asma Besbas

Asma Besbas

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

• 4منشورات (انتماء جزائري)
• 5مجموع المنشورات
• 46الاستشهادات
• 3مؤشر h

ORCIDOpenAlex

مجالات البحث

• Formal Methods in Verification
• Logic, programming, and type systems
• Metaheuristic Optimization Algorithms Research
• Building Energy and Comfort Optimization
• Blockchain Technology Applications and Security

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

• Tackling Satisfiability: SAT Instances Classification Using Several Machine Learning Approaches
  2025 · International Symposium on iNnovative Informatics of Biskra (ISNIB)
• On the Formal Verification of Smart Contracts and Blockchain: Challenges and Future Directions
  2024 · International Conference on Embedded & Distributed Systems (EDiS) · استُشهد به 7 مرة
• Parametric-Based Multi-Objective Optimization Workflow: Daylight and Energy Performance Study of Hospital Building in Algeria
  2022 · Sustainability · استُشهد به 34 مرة
• Machine learning Solutions to Model Checking: A Brief Literature Review
  2022 · International Symposium on iNnovative Informatics of Biskra (ISNIB) · استُشهد به 5 مرة

مجلات النشر

• International Symposium on iNnovative Informatics of Biskra (ISNIB) × 2
• International Conference on Embedded & Distributed Systems (EDiS) × 1
• Sustainability × 1

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

• 20251
• 20241
• 20222

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

المؤسسات الشريكة : University of Béjaïa

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

• Laïd Kahloul
• Sihem Slatnia
• Samir Bourekkache
• Leyla Belaiche
• Noureddine Zemmouri
• Amira Ailane
• Mohamed Amine Khadraoui
• Soumaya Besbas

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