Sofiène Tahar
About
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
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Robbie Duschinsky are about Top journals papers by Yuanan Zhao are published in Top fields papers by Eiichi Sato are about Top authors papers by Athanasius Priharyoto Bayuseno are co-authored with Top fields papers by Pavel Fiala are about Top countries impacted by papers by Keisuke Okamura Top countries impacted by papers by Michio MURASE Top fields papers by Yasushi Asami are about