Riadh Matmat

الانتماء : Université Constantine 2

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

الملف البحثي

لدى Riadh Matmat 4 منشور(ات) مفهرسة (2014–2016). تُنشر أعماله أساسًا في «International Journal of Distributed Systems and Technologies»، «Communications in computer and information science» و«International Journal of Embedded and Real-Time Communication Systems». أكثر مقالاته استشهادًا هو «Timed Automata with Action Durations – From Theory to Implementation» (2014)، وقد استُشهد به 6 مرة. شارك في تأليف أعماله 3 باحثًا على الأقل.

هل هذا أنت؟ عرّف بأبحاثك

أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.

إنشاء ملفي المجاني إضافة منشوراتي

مجالات البحث

Formal Methods in Verification
Petri Nets in System Modeling
Real-Time Systems Scheduling
Business Process Modeling and Analysis

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

Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution
2016 · International Journal of Distributed Systems and Technologies
Timed Automata with Action Durations – From Theory to Implementation
2014 · Communications in computer and information science · استُشهد به 6 مرة
True Concurrency Semantics
2014 · International Journal of Embedded and Real-Time Communication Systems · استُشهد به 2 مرة
Forward Analysis of Timed Automata with Action Durations: Theory and Implementation
2014 · International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC)

مجلات النشر

International Journal of Distributed Systems and Technologies × 1
Communications in computer and information science × 1
International Journal of Embedded and Real-Time Communication Systems × 1
International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC) × 1

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

20161
20143

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

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