الرئيسية › دليل الباحثين › Farid Arfi

Farid Arfi

الانتماء : University Frères Mentouri Constantine 1 · Université Constantine 2

• 4منشورات (انتماء جزائري)
• 8مجموع المنشورات
• 17الاستشهادات
• 2مؤشر h

OpenAlex

مجالات البحث

• Formal Methods in Verification
• Petri Nets in System Modeling
• Logic, programming, and type systems
• Scheduling and Optimization Algorithms
• Model-Driven Software Engineering Techniques

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

• Solving preemptive job-shop scheduling problems using a true concurrency model
  2016 · International Journal of Simulation and Process Modelling · استُشهد به 2 مرة
• Pruning Search Spaces of RATA Model for the Job-Shop Scheduling
  2013 · Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
• A model for job-shop problem
  2012 · International Conference on Information Technology and e-Services (ICITeS)
• FOCOVE: Formal Concurrency Verification Environment for Complex Systems
  2008 · AIP conference proceedings · استُشهد به 8 مرة

مجلات النشر

• International Journal of Simulation and Process Modelling × 1
• Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering × 1
• International Conference on Information Technology and e-Services (ICITeS) × 1
• AIP conference proceedings × 1

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

• 20161
• 20131
• 20121
• 20081

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

• Djamel Eddine Saïdouni
• Adel Benamira
• Nabil Belala

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