Mohamed Yousri Mahmoud

Orcid: 0000-0002-4834-8140

According to our database1, Mohamed Yousri Mahmoud authored at least 11 papers between 2013 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic.
J. Autom. Reason., 2019

A modeling and verification framework for optical quantum circuits.
Formal Aspects Comput., 2019

2018
Formal Analysis of Discrete-Time Systems using z-Transform.
FLAP, 2018

2017
Formal Meta-level Analysis Framework for Quantum Programming Languages.
Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

2016
Hierarchical Verification of Quantum Circuits.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015
On the Formal Verification of Optical Quantum Gates in HOL.
Proceedings of the Formal Methods for Industrial Critical Systems, 2015

2014
Formal Analysis of Optical Systems.
Math. Comput. Sci., 2014

On the Quantum Formalization of Coherent Light in HOL.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

On the Formalization of Z-Transform in HOL.
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

Formal Verification of Optical Quantum Flip Gate.
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2013
Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory.
Proceedings of the NASA Formal Methods, 2013


  Loading...