Mohamed Yousri Mahmoud

Identifiers

• name variant Mohamed Yousri Mahmoud 0.60 · backfill

Papers (2)

1. Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic cs.LO · 2018 · author #1
2. Formal Analysis of Optical Systems cs.LO · 2014 · author #3

Mentions

• 1403.3039 #3 · backfill · confidence 0.70 Mohamed Yousri Mahmoud

Frequent Coauthors

• Amy P. Felty 1 shared papers
• Ons Seddiki 1 shared papers
• Osman Hasan 1 shared papers
• Sanaz Khan-Afshar 1 shared papers
• Sofiene Tahar 1 shared papers
• Umair Siddique 1 shared papers
• Vincent Aravantinos 1 shared papers