| 2025 | ICAART | Graphical Analysis of Abstract Argumentation Frameworks via Boolean Networks. | Van-Giang Trinh, Belaid Benhamou, Vincent Risch |
| 2024 | AAAI | Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming. | Giang V. Trinh, Belaid Benhamou, Samuel Pastva, Sylvain Soliman |
| 2023 | CP | Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming. | Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman |
| 2022 | ICAART | A Constraint Programming Model for the Scheduling Problem with Flexible Maintenance under Human Resource Constraints. | Meriem Touat, Belaid Benhamou, Fatima Benbouzid-Si Tayeb |
| 2020 | KES | Dealing with Biology Systems in the Framework of Answer Set Programming. | Tarek Khaled, Belaid Benhamou |
| 2020 | LPAR | An ASP-based Approach for Boolean Networks Representation and Attractor Detection. | Tarek Khaled, Belaid Benhamou |
| 2019 | SMC | An Integrated Guided Local Search considering Human Resource Constraints for the Single-machine Scheduling problem with Preventive Maintenance. | Meriem Touat, Fatima Benbouzid-Si Tayeb, Belaid Benhamou, Lamia Sadeg, Salima Aklil, Meryem Karaoui |
| 2018 | ICTAI | A New Method for Computing Stable Models in Logic Programming. | Tarek Khaled, Belaid Benhamou, Pierre Siegel |
| 2018 | KES | An effective heuristic for the single-machine scheduling problem with flexible maintenance under human resource constraints. | Meriem Touat, Fatima Benbouzid Si-Tayeb, Belaid Benhamou |
| 2018 | LPAR | Symmetry breaking in a new stable model search method. | Tarek Khaled, Belaid Benhamou |
| 2017 | ICTAI | Some Neighbourhood Approaches for the Antenna Positioning Problem. | Larbi Benmezal, Belaid Benhamou, Dalila Boughaci |
| 2017 | ICTAI | A Fuzzy Genetic Algorithm for Single-Machine Scheduling and Flexible Maintenance Planning Integration under Human Resource Constraints. | Meriem Touat, Fatima Benbouzid-Si Tayeb, Sabrina Bouzidi-Hassini, Belaid Benhamou |
| 2013 | LPAR | Dynamic and Static Symmetry Breaking in Answer Set Programming. | Belaid Benhamou |
| 2012 | ICTAI | A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics. | Belaid Benhamou, Pierre Siegel |
| 2010 | ICTAI | Enhancing Clause Learning by Symmetry in SAT Solvers. | Belaid Benhamou, Tarek Nabhani, Richard Ostrowski, Mohamed Rda Sadi |
| 2008 | AAAI | A New Incomplete Method for CSP Inconsistency Checking. | Belaid Benhamou, Mohamed Rda Sadi |
| 2008 | CP | Stochastic Local Search for the Optimal Winner Determination Problem in Combinatorial Auctions. | Dalila Boughaci, Belaid Benhamou, Habiba Drias |
| 2007 | CP | Local Symmetry Breaking During Search in CSPs. | Belaid Benhamou, Mohamed Rda Sadi |
| 2007 | ICTAI | Consistent Neighborhood for the Satisfiability Problem. | Djamal Habet, Lionel Paris, Belaid Benhamou |
| 2006 | AIMSA | A Boolean Encoding Including SAT and n-ary CSPs. | Lionel Paris, Belaid Benhamou, Pierre Siegel |
| 2006 | CP | Reasoning by Dominance in Not-Equals Binary Constraint Networks. | Belaid Benhamou, Mohamed Rda Sadi |
| 2006 | DEPCoS | Distributed Intrusion Detection Framework based on Autonomous and Mobile Agents. | Dalila Boughaci, Habiba Drias, Ahmed Bendib, Youcef Bouznit, Belaid Benhamou |
| 2006 | DEPCoS | A Distributed Firewall using Autonomous Agents. | Dalila Boughaci, Habiba Drias, Brahim Oubeka, Abdelkader Aissioui, Belaid Benhamou |
| 2005 | ECSQARU | A Local Fusion Method of Temporal Information. | Mahat Khelfallah, Belaid Benhamou |
| 2005 | TIME | A Local Method for Prioritized Fusion of Temporal Information. | Mahat Khelfallah, Belaid Benhamou |
| 2004 | AISC | Two Revision Methods Based on Constraints: Application to a Flooding Problem. | Mahat Khelfallah, Belaid Benhamou |
| 2004 | ECAI | Geographic Information Revision Based on Constraints. | Mahat Khelfallah, Belaid Benhamou |
| 2002 | CADE | Reasoning by Symmetry and Function Ordering in Finite Model Generation. | Gilles Audemard, Belaid Benhamou |
| 2000 | CADE | Two Techniques to Improve Finite Model Search. | Gilles Audemard, Belaid Benhamou, Laurent Henocque |
| 1998 | AIMSA | Study of Symmetry in Qualitative Temporal Interval Networks. | Belaid Benhamou, Amar Isli |
| 1998 | AISC | Finite Model Search for Equational Theories (FMSET). | Belaid Benhamou, Laurent Henocque |
| 1994 | STACS | Two Proof Procedures for a Cardinality Based Language in Propositional Calculus. | Belaid Benhamou, Lakhdar Sais, Pierre Siegel |
| 1992 | CADE | Theoretical Study of Symmetries in Propositional Calculus and Applications. | Belaid Benhamou, Lakhdar Sais |