## Publications

Export 3812 results:
Sort by: Author [ Title ] Type Year
T
Gomaa, W. O., and E. A. Agamy, Egypt. J. Biol. Pest Control,, vol. 12, issue 2, pp. 5-7, 2002. Abstract
n/a
Rouchdy, A., and A. E. - D. Farouk, J Egypt Soc Cardiothorac Surg, vol. 22, issue 4, 2014. tyrone_david_aortic_valve_sparing.pdf
M. El-Hariri, H. Shawky, N. Ezz-Eldin, W. Tawakkol, M. Kotb, and M. Refai, Vet.Med.J.Giza. , vol. 55 , pp. 411-423., 2007. typing_of_c.n..pdf
Heidy Abo Elyazeed*, Amany Elsayed, S. Marouf, and M. Refai, International Journal of Research Studies in Biosciences (IJRSB) , vol. 3, issue 8,, pp. PP 1-6, 2015. typing_of_clostridium_perfringens_isolates_recovered_from_turkeys_published.pdf
Elyamani, A., and S. Moustafa, 20th Conference of the General Union of the Arab Archaeologists, Fayoum, Egypt, 11-13 Nov. 2017. reasons_degradation_islamic_hisorical_srucures_cairo.pdf
S.Moustafa, and A.Elyamani, onference: 20th Conference of the General Union of the Arab Archaeologists, At: Fayoum, Egypt, 11-13 Nov. 2017, 2018. as6924018322104321542092869033_content_1.pdf
, Medical Journal of Cairo University , vol. September, 1995.
Negmeldin, M. M., 4th International conference on Archi-cultural interactions through the silk road, Nishinomiya, Japan, ISBN 978-4-907594-05-3, pp. 55-62, 2017. 105_final.pdf
Barrada, A. M., and G. Hassan, Types of Egyptian Villages and Methods of Interaction, , Giza, Urban Research Consulting Center, pp. 1-12, June 2004. types_of_villages.pdf
Khalil, E. E., Types and Performance of Pumps and Compressors, , Paris, UNESCO_Ellos,2012, 2012.
Kim, N., J. J. Kim, I. Kim, M. Mannaa, J. Park, J. Kim, H. ‐H. Lee, S. ‐B. Lee, D. ‐S. Park, and W. J. Sul, Molecular plant pathology, vol. 21, issue 8, pp. 1055-1069, 2020. Abstract
n/a
El-Zawawy, M. A., and H. A. Nayel, IJCSNS International Journal of Computer Science and Network Security, vol. 5, no. 4, pp. 53-60, July, 2012. AbstractType Systems Based Data Race Detector.pdf

Multi-threading is a methodology that has been extremely used. Modern software depends essentially on multi-threading. Operating systems, famous examples, are based on multi-threading; a user can write his document, play an audio file, and downloading a file from internet at the same time. Each of these tasks called a thread. A common problem occurs when implementing multi-threaded programs is a data-race. Data race occurs when two threads try to access a shared variable at the same time without a proper synchronization. A detector is software that determines if the program contains a data-race problem or not. In this paper, we develop a detector that has the form of a type system. We present a type system which discovers the data-race problems. We also prove the soundness of our type system.

El-Zawawy, M. A., 16th International Conference on Computational Science and Its Applications, Beijing, China, July 4-7, 2016. Abstract

The most common form of computers today is the hand held form and
specially smart phones and tablets. The platform for the majority of
smart phones is the Android operating system. Therefore analyzing
and verifying the Android applications become an issue of extreme
importance. However classical techniques of static analysis are not
applicable directly to Android applications. This is so because
typically Android applications are developed using Java code that is
translated into Java bytecode and executed using Dalvik virtual
machine. Also developing new techniques for static analysis of
Android applications is an involved problem due to many facts such
as the concept of gestures used in Android interaction with users.

One of the main tools of analyzing and verifying programs is types
systems~\cite{el2012heap}. This paper presents a new type system,
Android$\mathcal{T}$, which is specific to Android applications. The
proposed type system ensures the absence of errors like "method is
undefined". Also the type system is applicable to check the
soundness of static analyses of Android applications.

Hosni, H. A., and A. I. Hosny, Taeckholmia, vol. 11, pp. 47-62, 1988.
El-Din, H. S., A. Al-Fattah, and M. Abd Al-Wahab, The type of protein supplement or substitute and its location from brood affect honeybee colony performance, : Beni-Sweif University, Faculty of Agriculture, 2022. Abstract
n/a
Al-Naggar, A. M. M., R. Shabana, M. S. Hassanein, T. A. Elewa, A. S. M. Younis, and A. M. a Metwally, Scientia Agriculturae , vol. 19, issue 3, pp. 76-84, 2017. type__of__gene__action_and__heritability.pdf
Eldehna, W. M., A. E. M. Kerdawy, G. H. Al-Ansary, S. T. Al-Rashood, M. M. Ali, and A. E. Mahmoud, Eur. J. Med. Chem., vol. 163, pp. 37-53, 2019.
eLsherpieny, E. A., and M. M. Elsehetry, Annals of Data Science , vol. 6, issue 1, pp. 1-20, 2019.
Bajwa, S., and R. H. Mohammed, https://www.statpearls.com/ArticleLibrary/viewarticle/30714, 2020.
ul Haq, M. A., A. M. Almarashi, A. S. Hassan, and M. Elgarhy, Journal of Advances in Mathematics and Computer Science, vol. 29, issue 1, pp. 1-19, 2018. 2018_tiihlr_distribution.pdf
Hassan, A. S., M. Elgarhy, and M. Shakil, Pakistan Journal of Statistics &Operation Research, vol. 13, issue 2, pp. 545-566, 2017. tiihlf.pdf
Hassan, A. S., M. Elgarhy, and Z. Ahmad, Journal of Data Science, vol. 17, issue 4, pp. 638 - 659, 2019. 2019_type_ii_generalized_topp-leone_family.pdf
Yao, J., Y. M. AbdelRahman, R. M. Robertson, J. V. Cox, R. J. Belland, S. W. White, and C. O. Rock, Journal od Biological Chemistry, vol. 289, issue 32, pp. 22365–22376, 2014. j._biol._chem.-2014-yao-22365-76.pdf
Algarni, A., Abdullah M. Almarashi, I. Elbatal, Amal S. Hassan, Ehab M. Almetwally, A. M. Daghistani, and M. Elgarhy, 2021, pp. 1-21, 2021. 23_type_i_half_logistic_burr_x-g_family.pdf