| On the formalization of the Lebesgue integration theory in HOL T Mhamdi, O Hasan, S Tahar Interactive Theorem Proving: First International Conference, ITP 2010 …, 2010 | 84 | 2010 |
| Formalization of entropy measures in HOL T Mhamdi, O Hasan, S Tahar International Conference on Interactive Theorem Proving, 233-248, 2011 | 50 | 2011 |
| Information-theoretic analysis using theorem proving T Mhamdi Concordia University, 2012 | 21 | 2012 |
| Formalization of measure theory and Lebesgue integration for probabilistic analysis in HOL T Mhamdi, O Hasan, S Tahar ACM Transactions on Embedded Computing Systems (TECS) 12 (1), 1-23, 2013 | 16 | 2013 |
| Providing automated verification in HOL using MDGs T Mhamdi, S Tahar Automated Technology for Verification and Analysis: Second International …, 2004 | 12 | 2004 |
| Evaluation of anonymity and confidentiality protocols using theorem proving T Mhamdi, O Hasan, S Tahar Formal Methods in System Design 47, 265-286, 2015 | 8 | 2015 |
| Quantitative analysis of information flow using theorem proving T Mhamdi, O Hasan, S Tahar Formal Methods and Software Engineering: 14th International Conference on …, 2012 | 6 | 2012 |
| Formalization of Measure and Lebesgue Integration over Extended Reals in HOL T Mhamdi, O Hasan, S Tahar Technical Repert, ECE Dept., Concordia University (Feb 2011), http://hvg …, 2011 | 3 | 2011 |
| On the embedding of multiway decision graphs in HOL. T Mhamdi | 2 | 2004 |
