//-->
Sub-stochastic matrix analysis for bounds computation—Theoretical results
Haddad, Serge, (2007)
A formal semantics and a client synthesis for a BPEL service
Haddad, Serge, (2008)
A fault-tolerant communication mechanism for cooperative robots
Haddad, Joyce El, (2004)