Mohamed Yousri Mahmoud
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2014–2015
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | FMICS | On the Formal Verification of Optical Quantum Gates in HOL. | Mohamed Yousri Mahmoud, Prakash Panangaden, Sofine Tahar |
| 2014 | ITP | Formal Verification of Optical Quantum Flip Gate. | Mohamed Yousri Mahmoud, Vincent Aravantinos, Sofine Tahar |
| 2014 | ITP | On the Formalization of Z-Transform in HOL. | Umair Siddique, Mohamed Yousri Mahmoud, Sofine Tahar |