Login / Signup
Brahim Nasraoui
Publication Activity (10 Years)
Years Active: 2009-2024
Publications (10 Years): 2
Top Topics
Gaussian Noise
Rewriting Systems
Denoising
Artificial Neural
Top Venues
COMPSAC Workshops
Circuits Syst. Signal Process.
</>
Publications
</>
Abdallah Rezgui
,
Brahim Nasraoui
,
Mourad Talbi
Electrocardiogram Denoising Based on SWT and WATV Using ANNs.
Circuits Syst. Signal Process.
43 (5) (2024)
Brahim Nasraoui
,
Riadh Robbana
Reachability Analysis of Multithreaded Programs Using Communicating Rewriting Systems.
COMPSAC Workshops
(2016)
Narjes Ben Rajeb
,
Brahim Nasraoui
,
Riadh Robbana
,
Tayssir Touili
Verifying Multithreaded Recursive Programs with Integer Variables.
INFINITY
(2009)