Brahim Nasraoui

Brahim Nasraoui

University of Tabuk - Tabuk / Saudi Arabia
Engineering & Technology / Computer Science
AD Scientific Index ID: 5422127
جامعة تبوك
person_outline Brahim Nasraoui's MOST POPULAR ARTICLES
1-) A novel method of image denoising based on 2D dual-tree DWT and SWTM Talbi, R Baazaoui, B NasraouiInternational Journal of Wavelets, Multiresolution and Information …, 202422024
2-) Verifying multithreaded recursive programs with integer variablesNB Rajeb, B Nasraoui, R Robbana, T TouiliElectronic Notes in Theoretical Computer Science 239, 143-154, 200922009
3-) ECG Denoising based on Transformation Matrix for Non-Decimated Wavelet Transform and Wavelet/Total Variation (WATV) DenoisingA Rezgui, B Nasraoui, M Talbi12022
4-) Reachability Analysis of Multithreaded Programs Using Communicating Rewriting SystemsB Nasraoui, R Robbana2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC …, 201612016
5-) SBMC: symmetric bounded model checkingB Nasraoui, S Ayadi, R RobbanaFourth International Workshop on Verification and Evaluation of Computer and …, 201012010