Items where Author is "Mhamdi, Tarek"

Article

Mhamdi, Tarek, Hasan, Osman and Tahar, Sofiène (2013) Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL. ACM Transactions on Embedded Computing Systems, 12 (1). pp. 1-23. ISSN 15399087

Thesis

Mhamdi, Tarek (2012) Information-Theoretic Analysis using Theorem Proving. PhD thesis, Concordia University.

Mhamdi, Tarek (2003) On the embedding of multiway decision graphs in HOL. Masters thesis, Concordia University.