Verifying Multithreaded Recursive Programs with Integer Variables. - Narjes Ben Rajeb; Brahim Nasraoui; Riadh Robbana; Tayssir Touili (INFINITY, 2009)

Reachability Analysis of Multithreaded Programs Using Communicating Rewriting Systems. - Brahim Nasraoui; Riadh Robbana (COMPSAC Workshops, 2016)

A New ECG Denoising Technique based on WATV and Convex Fused-Lasso. - Abdallah Rezgui; Brahim Nasraoui; Arij Alfaidi; Mourad Talbi (ACIT, 2024)

ECG Denoising based on Total Variation Denoising and Deep Learning Convolutional Neural Networks. - Abdallah Rezgui; Brahim Nasraoui; Mourad Talbi (ICISS, 2024)

Electrocardiogram Denoising Based on SWT and WATV Using ANNs. - Abdallah Rezgui; Brahim Nasraoui; Mourad Talbi (Circuits Syst. Signal Process., 2024)

A novel method of image denoising based on 2D dual-tree DWT and SWT. - Mourad Talbi; Riadh Baazaoui; Brahim Nasraoui (Int. J. Wavelets Multiresolution Inf. Process., 2024)