|
[4]
|
Hatem HADJ KACEM, Hoang Ngoc Minh and Gérard DUCHAMP.
Splitting modules using classical minimization theory of automata.
Journal of Computer Science and Technology (JCST), Springer publishers, 2012 (to be submitted)
[ BibTeX ]
|
|
[3]
|
Hatem HADJ KACEM, Imen LOULOU and Ahmed HADJ KACEM.
A formal approach to model and verify the behavior of Publish/Subscribe architectural style.
International Journal of Information Technology, Communications and Convergence, Inderscience publishers (IJITCC), 2012 (submitted)
[ BibTeX ]
|
|
[2]
|
Nesrine OULEDABDALLAH, Hatem HADJ KACEM, Mohamed MOSBAH, Akka ZEMMARI.
Randomized Broadcasting in Wireless Mobile Sensor Networks.
Concurrency and Computation: Practice and Experience (CCPE)2012, (to appear).
[ BibTeX ]
|
|
[1]
|
Gérard H. E. DUCHAMP, Hatem HADJ KACEM and Éric LAUGEROTTE.
Algebraic elimination of epsilon-transitions.
Discrete Mathematics and Theoretical Computer Science (DMTCS)Vol 7; pp 51-70 (2005).
[ BibTeX ]
|
