Seguir
Mohamed Yousri Mahmoud
Mohamed Yousri Mahmoud
Mohamed Yousri Mahmoud
Email confirmado em uottawa.ca - Página inicial
Título
Citado por
Citado por
Ano
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
212014
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
112018
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
72014
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
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
A modeling and verification framework for optical quantum circuits
SM Beillahi, MY Mahmoud, S Tahar
Formal Aspects of Computing 31, 321-351, 2019
32019
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
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
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–18