Youssef Hamadi

40 papers and 633 indexed citations i.

Youssef Hamadi has authored 40 papers that have received a total of 633 indexed citations. This includes 22 papers in Computer Networks and Communications, 18 papers in Artificial Intelligence and 13 papers in Computational Theory and Mathematics. The topics of these papers are Distributed Constraint Optimization Problems and Algorithms (18 papers), Formal Methods in Verification (11 papers) and Logic, programming, and type systems (6 papers). Youssef Hamadi is often cited by papers focused on Distributed Constraint Optimization Problems and Algorithms (18 papers), Formal Methods in Verification (11 papers) and Logic, programming, and type systems (6 papers) and collaborates with scholars based in United Kingdom, France and United States. Youssef Hamadi's co-authors include Christoph M. Wintersteiger, Lucas Bordeaux, Lakhdar Saïs, Saïd Jabbour and Hillel Kugler and has published in prestigious journals such as ACM Transactions on Graphics, ACM Computing Surveys and Transportation Research Part C Emerging Technologies