Otmane Aı̈t Mohamed

64 papers and 356 indexed citations i.

Otmane Aı̈t Mohamed has authored 64 papers that have received a total of 356 indexed citations. This includes 33 papers in Computational Theory and Mathematics, 20 papers in Electrical and Electronic Engineering and 20 papers in Software. The topics of these papers are Formal Methods in Verification (29 papers), Radiation Effects in Electronics (15 papers) and Software Reliability and Analysis Research (12 papers). Otmane Aı̈t Mohamed is often cited by papers focused on Formal Methods in Verification (29 papers), Radiation Effects in Electronics (15 papers) and Software Reliability and Analysis Research (12 papers) and collaborates with scholars based in Canada, United States and Jordan. Otmane Aı̈t Mohamed's co-authors include Yvon Savaria, Samir Ouchani, Khaza Anuarul Hoque, Mourad Debbabi and Mounir Boukadoum and has published in prestigious journals such as Expert Systems with Applications, IEEE Access and IEEE Transactions on Industrial Informatics.