Ahmed Bouajjani

51 papers and 451 indexed citations i.

Ahmed Bouajjani has authored 51 papers that have received a total of 451 indexed citations. This includes 34 papers in Computational Theory and Mathematics, 23 papers in Artificial Intelligence and 18 papers in Software. The topics of these papers are Formal Methods in Verification (33 papers), Logic, programming, and type systems (17 papers) and Distributed systems and fault tolerance (16 papers). Ahmed Bouajjani is often cited by papers focused on Formal Methods in Verification (33 papers), Logic, programming, and type systems (17 papers) and Distributed systems and fault tolerance (16 papers) and collaborates with scholars based in France, Sweden and Czechia. Ahmed Bouajjani's co-authors include Peter Habermehl, Tayssir Touili, Javier Esparza, Mohamed Faouzi Atig and Parosh Aziz Abdulla and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and ACM SIGPLAN Notices