All Stories

  1. Dynamic formation of service communities in the cloud under distribution and incomplete information settings

    Article • Concurrency and Computation Practice and Experience, October 2017, Wiley

    Jamal Bentahar

  2. Model checking multi-agent systems

    Article • Fundamenta Informaticae, April 2017, IOS Press

    Mohamed El Menshawy, Jamal Bentahar