Accueil › Annuaire des chercheurs › Riadh Matmat

Riadh Matmat

Affiliation : Université Constantine 2

• 4Publications (affiliation algérienne)
• 6Publications au total
• 11Citations
• 2Indice h

OpenAlex

Domaines de recherche

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

Publications (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 · cité 6 fois
• True Concurrency Semantics
  2014 · International Journal of Embedded and Real-Time Communication Systems · cité 2 fois
• Forward Analysis of Timed Automata with Action Durations: Theory and Implementation
  2014 · International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC)

Revues de publication

• 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

Publications par année

• 20161
• 20143

Co-auteurs

• Djamel Eddine Saïdouni
• Ilham Kitouni
• Souad Guellati

Données bibliographiques issues d’OpenAlex (base ouverte).