Tarek Mhamdi
From MaRDI portal
Person:246139
Available identifiers
zbMath Open mhamdi.tarekMaRDI QIDQ246139
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Evaluation of anonymity and confidentiality protocols using theorem proving | 2016-02-25 | Paper |
| Formalization of Entropy Measures in HOL | 2011-08-17 | Paper |
| On the Formalization of the Lebesgue Integration Theory in HOL | 2010-09-14 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-25 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Tarek Mhamdi
