A New Method for Computing Stable Models in Logic Programming. - Tarek Khaled; Belaid Benhamou; Pierre Siegel (ICTAI, 2018)

Symmetry breaking in a new stable model search method. - Tarek Khaled; Belaid Benhamou (LPAR (Workshop and Short Papers), 2018)

A New Approach to Conceive ASP Solvers. - Tarek Khaled (RuleML+RR (Supplement), 2018)

An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks. - Tarek Khaled; Belaïd Benhamou (ICLP Technical Communications, 2019)

Dealing with Biology Systems in the Framework of Answer Set Programming. - Tarek Khaled; Belaid Benhamou (KES, 2020)

An ASP-based Approach for Boolean Networks Representation and Attractor Detection. - Tarek Khaled; Belaid Benhamou (LPAR, 2020)

Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells. - Tarek Khaled; Belaid Benhamou; Van-Giang Trinh (Ann. Math. Artif. Intell., 2023)

Forecasting Empty Container availability for Vehicle Booking System Application. - Arthur Cartel Foahom Gouabou; Mohammed Al-Kharaz; Faouzi Hakimi; Tarek Khaled; Kenza Amzil (KES, 2024)

Towards a Digital Twin Modeling Method for Container Terminal Port. - Faouzi Hakimi; Tarek Khaled; Mohammed Al-Kharaz; Arthur Cartel Foahom Gouabou; Kenza Amzil (KES, 2024)