Mohamed Yousri Mahmoud

From MaRDI portal
Person:475381

Available identifiers

zbMath Open mahmoud.mohamed-yousriMaRDI QIDQ475381

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q58695412022-09-28Paper
Formal meta-level analysis framework for quantum programming languages2019-11-12Paper
Formalization of metatheory of the Quipper quantum programming language in a linear logic2019-10-25Paper
A modeling and verification framework for optical quantum circuits2019-06-03Paper
Formal analysis of optical systems2014-11-26Paper
On the Formalization of Z-Transform in HOL2014-09-08Paper
Formal Verification of Optical Quantum Flip Gate2014-09-08Paper

Research outcomes over time

This page was built for person: Mohamed Yousri Mahmoud

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:475381&oldid=7017033"
Powered by MediaWiki