Edit Profile (opens in new tab) Mahmoud, Mohamed Yousri Co-Author Distance Author ID: 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 all top 5 Co-Authors 1 single-authored 5 Tahar, Sofiène 3 Siddique, Umair 2 Aravantinos, Vincent 2 Felty, Amy P. 2 Saleh, Elsayed H. 1 Beillahi, Sidi Mohamed 1 Dutton, Ken 1 El-labany, S. K. 1 El-Taibany, W. F. 1 Gray, William J. 1 Hasan, Osman 1 Helmy, Shaymaa M. 1 Ibrahim, Sahar A. N. 1 Khan Afshar, Sanaz 1 Maswadah, M. S. 1 Mokhles, N. A. 1 Mokhlis, Nahed A. 1 Moslem, Waleed M. 1 Rashad, Ahmed M. 1 Scott, Meckinley 1 Seddiki, Ons all top 5 Serials 2 Pakistan Journal of Statistics and Operation Research 1 International Journal of Systems Science 1 IAPQR Transactions 1 Journal of Automated Reasoning 1 Trabajos de Estadistica 1 Formal Aspects of Computing 1 Statistische Hefte 1 Test 1 Physica Scripta 1 Control and Intelligent Systems 1 Mathematics in Computer Science 1 Journal of Applied Logics - IfCoLog Journal of Logics and their Applications all top 5 Fields 6 Computer science (68-XX) 5 Quantum theory (81-XX) 4 Statistics (62-XX) 2 Probability theory and stochastic processes (60-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 Mathematical logic and foundations (03-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Fluid mechanics (76-XX) 1 Optics, electromagnetic theory (78-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 32 Authors 9 Tahar, Sofiène 5 Hasan, Osman 5 Siddique, Umair 3 Khan Afshar, Sanaz 3 Rashid, Adnan 2 Dunchev, Cvetan 2 Felty, Amy P. 2 Mahmoud, Mohamed Yousri 2 Momigliano, Alberto 1 Abel, Andreas M. 1 Allais, Guillaume 1 Aravantinos, Vincent 1 Beillahi, Sidi Mohamed 1 Guan, Yong 1 Hameer, Aliya 1 Kaliszyk, Cezary 1 Li, Yongdong 1 Mantovani, Marco 1 Olarte, Carlos 1 Paolini, Luca 1 Pientka, Brigitte 1 Roversi, Luca 1 Schäfer, Steven 1 Seddiki, Ons 1 Shi, Zhiping 1 Siddique, Umar 1 Stark, Kathrin 1 Urban, Josef 1 Wang, Guohui 1 Xavier, Bruno 1 Zhang, Jingzhi 1 Zorzi, Margherita all top 5 Cited in 7 Serials 2 Formal Aspects of Computing 1 Journal of Computer and System Sciences 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Functional Programming 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 9 Fields 17 Computer science (68-XX) 5 Optics, electromagnetic theory (78-XX) 3 Mathematical logic and foundations (03-XX) 3 Harmonic analysis on Euclidean spaces (42-XX) 3 Quantum theory (81-XX) 1 Real functions (26-XX) 1 Ordinary differential equations (34-XX) 1 Integral transforms, operational calculus (44-XX) 1 Calculus of variations and optimal control; optimization (49-XX) Citations by Year