Tarek Mhamdi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2004–2012
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICFEM | Quantitative Analysis of Information Flow Using Theorem Proving. | Tarek Mhamdi, Osman Hasan, Sofine Tahar |
| 2011 | ITP | Formalization of Entropy Measures in HOL. | Tarek Mhamdi, Osman Hasan, Sofine Tahar |
| 2010 | ITP | On the Formalization of the Lebesgue Integration Theory in HOL. | Tarek Mhamdi, Osman Hasan, Sofine Tahar |
| 2004 | ATVA | Providing Automated Verification in HOL Using MDGs. | Tarek Mhamdi, Sofine Tahar |