Sofiène Tahar

151 papers and 1.1k indexed citations i.

Sofiène Tahar has authored 151 papers that have received a total of 1.1k indexed citations. This includes 64 papers in Computational Theory and Mathematics, 60 papers in Hardware and Architecture and 55 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (53 papers), Embedded Systems Design Techniques (27 papers) and VLSI and Analog Circuit Testing (25 papers). Sofiène Tahar is often cited by papers focused on Formal Methods in Verification (53 papers), Embedded Systems Design Techniques (27 papers) and VLSI and Analog Circuit Testing (25 papers) and collaborates with scholars based in Canada, United States and United Kingdom. Sofiène Tahar's co-authors include Osman Hasan, Mohamed H. Zaki, Amr T. Abdel-Hamid, Mahmoud Masadeh and Tho Le‐Ngoc and has published in prestigious journals such as PLoS ONE, IEEE Transactions on Industrial Electronics and IEEE Journal on Selected Areas in Communications.