×

Mahmoud, Mohamed Yousri

Author ID: mahmoud.mohamed-yousri Recent zbMATH articles by "Mahmoud, Mohamed Yousri"
Published as: Mahmoud, Mohamed Yousri
Documents Indexed: 16 Publications since 1989
Co-Authors: 8 Co-Authors with 7 Joint Publications
80 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 22 times in 18 Documents Cited by Year
Formal analysis of optical systems. Zbl 1302.68245
Khan-Afshar, Sanaz; Siddique, Umair; Mahmoud, Mohamed Yousri; Aravantinos, Vincent; Seddiki, Ons; Hasan, Osman; Tahar, Sofiène
9
2014
Kadomtsev-Petviashvili equation for dust acoustic solitary waves in a warm dusty plasma with dust charge variation. Zbl 1067.76103
El-Labany, S. K.; Moslem, Waleed M.; El-Taibany, W. F.; Mahmoud, M.
5
2004
On the formalization of Z-transform in HOL. Zbl 1416.68178
Siddique, Umair; Mahmoud, Mohamed Yousri; Tahar, Sofiène
5
2014
Formalization of metatheory of the Quipper quantum programming language in a linear logic. Zbl 1468.68330
Mahmoud, Mohamed Yousri; Felty, Amy P.
4
2019
Formal meta-level analysis framework for quantum programming languages. Zbl 1433.68078
Mahmoud, Mohamed Yousri; Felty, Amy P.
2
2018
Bayesian prediction under a finite mixture of generalized exponential lifetime model. Zbl 1509.62200
Mahmoud, M.; Saleh, Elsayed H.; Helmy, Shaymaa M.
2
2014
Formal verification of optical quantum flip gate. Zbl 1416.68170
Mahmoud, Mohamed Yousri; Aravantinos, Vincent; Tahar, Sofiène
2
2014
Approximate Bayes estimators of the logistic distribution parameters based on progressive type-II censoring scheme. Zbl 1509.92003
Mahmoud, M.; Rashad, A.; Yusuf, M.
1
2016
A two non-identical units redundant system with common-cause failure and one standby unit. Zbl 0702.90029
Mahmoud, M.; Mokhles, N. A.; Saleh, E. H.
1
1989
Structural inference on the parameters of the Pareto distribution from complete and censored life test data. Zbl 0729.62646
Mahmoud, Mohamed; Maswadah, M. S.
1
1992
Formalization of metatheory of the Quipper quantum programming language in a linear logic. Zbl 1468.68330
Mahmoud, Mohamed Yousri; Felty, Amy P.
4
2019
Formal meta-level analysis framework for quantum programming languages. Zbl 1433.68078
Mahmoud, Mohamed Yousri; Felty, Amy P.
2
2018
Approximate Bayes estimators of the logistic distribution parameters based on progressive type-II censoring scheme. Zbl 1509.92003
Mahmoud, M.; Rashad, A.; Yusuf, M.
1
2016
Formal analysis of optical systems. Zbl 1302.68245
Khan-Afshar, Sanaz; Siddique, Umair; Mahmoud, Mohamed Yousri; Aravantinos, Vincent; Seddiki, Ons; Hasan, Osman; Tahar, Sofiène
9
2014
On the formalization of Z-transform in HOL. Zbl 1416.68178
Siddique, Umair; Mahmoud, Mohamed Yousri; Tahar, Sofiène
5
2014
Bayesian prediction under a finite mixture of generalized exponential lifetime model. Zbl 1509.62200
Mahmoud, M.; Saleh, Elsayed H.; Helmy, Shaymaa M.
2
2014
Formal verification of optical quantum flip gate. Zbl 1416.68170
Mahmoud, Mohamed Yousri; Aravantinos, Vincent; Tahar, Sofiène
2
2014
Kadomtsev-Petviashvili equation for dust acoustic solitary waves in a warm dusty plasma with dust charge variation. Zbl 1067.76103
El-Labany, S. K.; Moslem, Waleed M.; El-Taibany, W. F.; Mahmoud, M.
5
2004
Structural inference on the parameters of the Pareto distribution from complete and censored life test data. Zbl 0729.62646
Mahmoud, Mohamed; Maswadah, M. S.
1
1992
A two non-identical units redundant system with common-cause failure and one standby unit. Zbl 0702.90029
Mahmoud, M.; Mokhles, N. A.; Saleh, E. H.
1
1989

Citations by Year