Tarek Khaled

11 papers B 5Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Forecasting Empty Container availability for Vehicle Booking System Application.
CoRR
Arthur Cartel Foahom Gouabou, Mohammed Al-Kharaz, Faouzi Hakimi, Tarek Khaled, Kenza Amzil
2025 J jnl
Towards a Digital Twin Modeling Method for Container Terminal Port.
CoRR
Faouzi Hakimi, Tarek Khaled, Mohammed Al-Kharaz, Arthur Cartel Foahom Gouabou, Kenza Amzil
2024 B conf
Forecasting Empty Container availability for Vehicle Booking System Application.
KES
Arthur Cartel Foahom Gouabou, Mohammed Al-Kharaz, Faouzi Hakimi, Tarek Khaled, Kenza Amzil
2024 B conf
Towards a Digital Twin Modeling Method for Container Terminal Port.
KES
Faouzi Hakimi, Tarek Khaled, Mohammed Al-Kharaz, Arthur Cartel Foahom Gouabou, Kenza Amzil
2023 J jnl
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells.
Ann. Math. Artif. Intell.
Tarek Khaled, Belaid Benhamou, Van-Giang Trinh
2020 B conf
An ASP-based Approach for Boolean Networks Representation and Attractor Detection.
LPAR
Tarek Khaled, Belaid Benhamou
2020 B conf
Dealing with Biology Systems in the Framework of Answer Set Programming.
KES
Tarek Khaled, Belaid Benhamou
2019 — conf
An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks.
ICLP Technical Communications
Tarek Khaled, Belaïd Benhamou
2018 — conf
A New Approach to Conceive ASP Solvers.
RuleML+RR (Supplement)
Tarek Khaled
2018 B conf
A New Method for Computing Stable Models in Logic Programming.
ICTAI
Tarek Khaled, Belaid Benhamou, Pierre Siegel
2018 — conf
Symmetry breaking in a new stable model search method.
LPAR (Workshop and Short Papers)
Tarek Khaled, Belaid Benhamou