Follow
Mohamed Yousri Mahmoud
Mohamed Yousri Mahmoud
Mohamed Yousri Mahmoud
Verified email at uottawa.ca - Homepage
Title
Cited by
Cited by
Year
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
242013
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
232014
Formal analysis of optical systems
S Khan-Afshar, U Siddique, MY Mahmoud, V Aravantinos, O Seddiki, ...
Mathematics in Computer Science 8, 39-70, 2014
222014
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
132019
Formal meta-level analysis framework for quantum programming languages
MY Mahmoud, AP Felty
Electronic Notes in Theoretical Computer Science 338, 185-201, 2018
122018
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
92014
Formal verification of optical quantum flip gate
MY Mahmoud, V Aravantinos, S Tahar
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014
82014
Formal Analysis of Discrete-Time Systems using z-Transform.
U Siddique, MY Mahmoud, S Tahar
FLAP 5 (4), 875-906, 2018
62018
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
62015
A modeling and verification framework for optical quantum circuits
SM Beillahi, MY Mahmoud, S Tahar
Formal Aspects of Computing 31, 321-351, 2019
52019
Formalization of Metatheory of the Quipper Programming Language in a Linear Logic
M Mahmoud, AP Felty
University of Ottawa, Canada, 2016
42016
Hierarchical verification of quantum circuits
SM Beillahi, MY Mahmoud, S Tahar
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016
42016
Formal analysis of quantum optics
MY Mahmoud
Concordia University, 2015
42015
Optical Quantum Gates Formalization in HOL Light
SM Beillahi, MY Mahmoud, S Tahar
http://hvg.ece.concordia.ca/publications/technical-reports/, 35, 2016
32016
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
22004
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
12024
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
The system can't perform the operation now. Try again later.
Articles 1–20