The following pages link to Mohamed Yousri Mahmoud (Q475381):
Displayed 7 items.
- Formal analysis of optical systems (Q475384) (← links)
- Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
- Formal meta-level analysis framework for quantum programming languages (Q2333324) (← links)
- A modeling and verification framework for optical quantum circuits (Q2418045) (← links)
- Formal Verification of Optical Quantum Flip Gate (Q2879263) (← links)
- On the Formalization of Z-Transform in HOL (Q2879271) (← links)
- (Q5869541) (← links)