Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory. - Mohamed Yousri Mahmoud; Vincent Aravantinos; Sofiène Tahar (NASA Formal Methods, 2013)

Formal Verification of Optical Quantum Flip Gate. - Mohamed Yousri Mahmoud; Vincent Aravantinos; Sofiène Tahar (ITP, 2014)

On the Formalization of Z-Transform in HOL. - Umair Siddique; Mohamed Yousri Mahmoud; Sofiène Tahar (ITP, 2014)

On the Quantum Formalization of Coherent Light in HOL. - Mohamed Yousri Mahmoud; Sofiène Tahar (NASA Formal Methods, 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 Formal Verification of Optical Quantum Gates in HOL. - Mohamed Yousri Mahmoud; Prakash Panangaden; Sofiène Tahar (FMICS, 2015)

Hierarchical Verification of Quantum Circuits. - Sidi Mohamed Beillahi; Mohamed Yousri Mahmoud; Sofiène Tahar (NFM, 2016)

Formal Meta-level Analysis Framework for Quantum Programming Languages. - Mohamed Yousri Mahmoud; Amy P. Felty (LSFA, 2017)

Formal Analysis of Discrete-Time Systems using z-Transform. - Umair Siddique; Mohamed Yousri Mahmoud; Sofiène Tahar (FLAP, 2018)

A modeling and verification framework for optical quantum circuits. - Sidi Mohamed Beillahi; Mohamed Yousri Mahmoud; Sofiène Tahar (Formal Aspects Comput., 2019)

Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic. - Mohamed Yousri Mahmoud; Amy P. Felty (J. Autom. Reason., 2019)