Mohamed Yousri Mahmoud

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic.

Mohamed Yousri Mahmoud, Amy P. Felty

J. Autom. Reason., 2019

A modeling and verification framework for optical quantum circuits.

Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar

Formal Aspects Comput., 2019

2018

Formal Analysis of Discrete-Time Systems using z-Transform.

Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar

FLAP, 2018

2017

Formal Meta-level Analysis Framework for Quantum Programming Languages.

Mohamed Yousri Mahmoud, Amy P. Felty

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

2016

Hierarchical Verification of Quantum Circuits.

Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015

On the Formal Verification of Optical Quantum Gates in HOL.

Mohamed Yousri Mahmoud, Prakash Panangaden, Sofiène Tahar

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

2014

Formal Analysis of Optical Systems.

Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar

Math. Comput. Sci., 2014

On the Quantum Formalization of Coherent Light in HOL.

Mohamed Yousri Mahmoud, Sofiène Tahar

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.

Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

Formal Verification of Optical Quantum Flip Gate.

Mohamed Yousri Mahmoud, Vincent Aravantinos, Sofiène Tahar

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2013

Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory.

Mohamed Yousri Mahmoud, Vincent Aravantinos, Sofiène Tahar

Proceedings of the NASA Formal Methods, 2013