Saddek Bensalem

17 papers and 98 indexed citations i.

Saddek Bensalem has authored 17 papers that have received a total of 98 indexed citations. This includes 12 papers in Computational Theory and Mathematics, 10 papers in Artificial Intelligence and 8 papers in Software. The topics of these papers are Formal Methods in Verification (12 papers), Advanced Software Engineering Methodologies (3 papers) and Machine Learning and Algorithms (3 papers). Saddek Bensalem is often cited by papers focused on Formal Methods in Verification (12 papers), Advanced Software Engineering Methodologies (3 papers) and Machine Learning and Algorithms (3 papers) and collaborates with scholars based in France, Greece and United States. Saddek Bensalem's co-authors include Marius Bozga, Peipei Xu, Peter Poplavko, Samir Ouchani and Xiaowei Huang and has published in prestigious journals such as Artificial Intelligence Review, Applied Intelligence and IEEE Robotics & Automation Magazine.