الرئيسية › دليل الباحثين › Olfa Mraihi
Olfa Mraihi
الانتماء : Institut Supérieur de Gestion de Tunis · Institut de Recherche en Gestion des Organisations
- 7منشورات (انتماء تونسي)
- 13مجموع المنشورات
- 84الاستشهادات
- 7مؤشر h
الملف البحثي
لدى Olfa Mraihi 7 منشور(ات) مفهرسة (2009–2012). تُنشر أعماله أساسًا في «Lecture notes in computer science»، «Science of Computer Programming» و«The Journal of Logic and Algebraic Programming». أكثر مقالاته استشهادًا هو «Invariant assertions, invariant relations, and invariant functions» (2012)، وقد استُشهد به 25 مرة. 6 من هذه المنشورات تعود إلى آخر ثلاث سنوات من النشاط. شارك في تأليف أعماله 6 باحثًا على الأقل، منهم باحثون من مؤسسات في الولايات المتحدة، كندا، فرنسا.
هل هذا أنت؟ عرّف بأبحاثك
أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.
إنشاء ملفي المجاني إضافة منشوراتيمجالات البحث
- Logic, programming, and type systems
- Formal Methods in Verification
- Teaching and Learning Programming
- Software Testing and Debugging Techniques
- Software Engineering Research
المنشورات (7)
- Invariant assertions, invariant relations, and invariant functions
- A versatile concept for the analysis of loops
- Invariant functions and invariant relations: An alternative to invariant assertions
- Computing Preconditions and Postconditions of While Loops
- Invariant Relations: An Automated Tool to Analyze Loops
- Using invariant functions and invariant relations to compute loop functions
- Relational Methods in the Analysis of While Loops: Observations of Versatility
مجلات النشر
- Lecture notes in computer science × 2
- Science of Computer Programming × 1
- The Journal of Logic and Algebraic Programming × 1
- Journal of Symbolic Computation × 1
- Electronic workshops in computing × 1
- ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) × 1
المنشورات حسب السنة
- 20123
- 20112
- 20101
- 20091
التعاون العلمي
المؤسسات الشريكة : Tunis El Manar University · Tunis University · New Jersey Institute of Technology · Université Laval · Compagnie Africaine des Peintures
بلدان المؤلفين المشاركين : الولايات المتحدة · كندا · فرنسا
المؤلفون المشاركون
البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).
لماذا تختارون Dzcademia؟
ملفات أكاديمية ومقالات ومداخلات علمية: امنحوا أبحاثكم حضوراً عاماً منظماً. تساعد البيانات الوصفية المدمجة محركات البحث ومساعدات الذكاء الاصطناعي على التعرف على أعمالكم وفهم مراجعها.
علّق عبر Google
سجّل الدخول عبر Google للتعليق مباشرة على هذه الصفحة.