| Formalization of infinite dimension linear spaces with application to quantum theory MY Mahmoud, V Aravantinos, S Tahar NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 25 | 2013 |
| On the Formalization of Z-Transform in HOL U Siddique, MY Mahmoud, S Tahar Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014 | 23 | 2014 |
| Formal analysis of optical systems S Khan-Afshar, U Siddique, MY Mahmoud, V Aravantinos, O Seddiki, ... Mathematics in Computer Science 8, 39-70, 2014 | 22 | 2014 |
| Formalization of metatheory of the Quipper quantum programming language in a linear logic MY Mahmoud, AP Felty Journal of Automated Reasoning 63 (4), 967-1002, 2019 | 13 | 2019 |
| Formal meta-level analysis framework for quantum programming languages MY Mahmoud, AP Felty Electronic Notes in Theoretical Computer Science 338, 185-201, 2018 | 12 | 2018 |
| On the quantum formalization of coherent light in HOL M Yousri Mahmoud, S Tahar NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014 | 9 | 2014 |
| Formal verification of optical quantum flip gate MY Mahmoud, V Aravantinos, S Tahar Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014 | 8 | 2014 |
| Formal Analysis of Discrete-Time Systems using z-Transform. U Siddique, MY Mahmoud, S Tahar FLAP 5 (4), 875-906, 2018 | 6 | 2018 |
| On the formal verification of optical quantum gates in HOL MY Mahmoud, P Panangaden, S Tahar Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015 | 6 | 2015 |
| Hierarchical verification of quantum circuits SM Beillahi, MY Mahmoud, S Tahar NASA Formal Methods Symposium, 344-352, 2016 | 4 | 2016 |
| Formalization of Metatheory of the Quipper Programming Language in a Linear Logic M Mahmoud, AP Felty University of Ottawa, Canada, 2016 | 4 | 2016 |
| Formal analysis of quantum optics MY Mahmoud Concordia University, 2015 | 4 | 2015 |
| A modeling and verification framework for optical quantum circuits SM Beillahi, MY Mahmoud, S Tahar Formal Aspects of Computing 31, 321-351, 2019 | 3 | 2019 |
| Optical Quantum Gates Formalization in HOL Light SM Beillahi, MY Mahmoud, S Tahar http://hvg.ece.concordia.ca/publications/technical-reports/, 35, 2016 | 3 | 2016 |
| Management of Egypt crop pattern according to reservoir water storage H Ali, M Mahmoud Second regional conference on Arab water: action plans for integrated …, 2004 | 2 | 2004 |
| Design and automated layout generation of a pmic core in skywater 130nm open-source technology J Marin, D Arevalos, A Cortes, V Osorio, M Romero, J Gak, N Calarco, ... 2024 IEEE 15th Latin America Symposium on Circuits and Systems (LASCAS), 1-5, 2024 | 1 | 2024 |
| A Tool for the Formal Verification of Quantum Optical Computing Systems SM Beillahi, MY Mahmoud, S Tahar Automated Reasoning Workshop, 25-26, 2015 | 1* | 2015 |
| Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic M Yousri Mahmoud, AP Felty arXiv e-prints, arXiv: 1812.03624, 2018 | | 2018 |
| The Future of Automated Industrial Operations between Hope and Panic M Mahmoud مجلة العمارة و الفنون و العلوم الإنسانية 3 (11 (2)), 651-658, 2018 | | 2018 |
| Towards the Formal Verification of Quantum Optical Systems MY Mahmoud, V Aravantinos, S Tahar First International Workshop on Formal Techniques for Safety-Critical …, 2012 | | 2012 |