37
Publications
846
Citations
16
H-Index
1999
Active since
Otmane Aı̈t Mohamed is an author at Concordia University specializing in engineering, computer science, and formal verification.
Top concepts
EngineeringComputer ScienceSystems EngineeringComputer EngineeringFormal MethodsFormal VerificationVerificationSoftware AnalysisAutomated ReasoningProgram Analysis
Publications per year
1999–2022
37
37
Lilia Lazli, Mounir Boukadoum, Otmane Aı̈t Mohamed · Applied Sciences · 2020 · 52 citations · Full text
Engineering, Machine Learning, Brain Regions Segmentation +27
Lilia Lazli, Mounir Boukadoum, Otmane Aı̈t Mohamed · Brain Sciences · 2019 · 37 citations · Full text
Rows per page
1–5 of 37