Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Riadh Matmat
Observed names:
Matmat Riadh,
Riad Matmat
Institution:
Université Constantine 2
Observed institution:
Université Constantine 2
OpenAlex ID:
A5021710336
Timed Automata with Action Durations – From Theory to Implementation
2014
·
Souad Guellati
, Ilham Kitouni
, et al.
·
Communications in computer and information science
·
6
True Concurrency Semantics
2014
·
Souad Guellati
, Ilham Kitouni
, et al.
·
International Journal of Embedded and Real-Time Communication Systems
·
2
Maximality-based Region Graph: a Novel Alternative
2014
·
Riadh Matmat
, Ilham Kitouni
, et al.
·
2
A Distributed Algorithm for MLTS Generation with Aggregation of Transitions.
2011
·
Djamel Eddine Saïdouni
, Riadh Matmat
, et al.
·
CIIA
·
1
Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution
2016
·
Matmat Riadh
, Kitouni Ilham
, et al.
·
International Journal of Distributed Systems and Technologies
Forward Analysis of Timed Automata with Action Durations: Theory and Implementation
2014
·
Souad Guellati
, Ilham Kitouni
, et al.
·
International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC)
Show more works
View as search
Works count:
6
Citation count:
11
H-index:
2
I10-index:
Year
Topic
Type
