Mamoun Filali
About
Mamoun Filali has authored 16 papers that have received a total of 47 indexed citations.
This includes 11 papers in Artificial Intelligence, 7 papers in Hardware and Architecture and 6 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (6 papers), Advanced Software Engineering Methodologies (5 papers) and Logic, programming, and type systems (4 papers). Mamoun Filali is often cited by papers focused on Formal Methods in Verification (6 papers), Advanced Software Engineering Methodologies (5 papers) and Logic, programming, and type systems (4 papers) and collaborates with scholars based in France, China and Germany. Mamoun Filali's co-authors include Jean-Paul Bodeveix, Zhiqiu Huang, Yong Zhou, Jean-Pierre Talpin and Yolande Berbers and has published in prestigious journals such as IEEE Transactions on Reliability, Science of Computer Programming and Formal Methods in System Design
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Kenneth Hamilton Top fields papers by Trung Quoc Nguyen are about Top authors papers by Xanthi Coskinas are co-authored with Top countries impacted by papers by J.A. Valls Top authors papers by Gene Ray are co-authored with Top fields papers by Siân Echard are about Top fields papers by Ephraim Ohazurike are about Top authors papers by Peter Mambrey are co-authored with