| 2021 | ECOOP | ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety. | Maxime Buyse, Rmi Delmas, Youssef Hamadi |
| 2018 | ICST | Exhaustive Exploration of the Failure-Oblivious Computing Search Space. | Thomas Durieux, Youssef Hamadi, Zhongxing Yu, Benoit Baudry, Martin Monperrus |
| 2018 | ISSRE | Fully Automated HTML and Javascript Rewriting for Constructing a Self-Healing Web Proxy. | Thomas Durieux, Youssef Hamadi, Martin Monperrus |
| 2017 | ICSE | Production-Driven Patch Generation. | Thomas Durieux, Youssef Hamadi, Martin Monperrus |
| 2016 | EUROGP | Towards Automated Strategies in Satisfiability Modulo Theory. | Nicols Glvez Ramrez, Youssef Hamadi, ric Monfroy, Frdric Saubion |
| 2016 | ICSE | SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis. | Mukund Raghothaman, Yi Wei, Youssef Hamadi |
| 2016 | ICTAI | Evolving SMT Strategies. | Nicols Glvez Ramrez, Youssef Hamadi, ric Monfroy, Frdric Saubion |
| 2015 | AAAI | Stochastic Local Search for Satisfiability Modulo Theories. | Andreas Frhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi |
| 2015 | CICLING | Latent Topic Model Based Representations for a Robust Theme Identification of Highly Imperfect Automatic Transcriptions. | Mohamed Morchid, Richard Dufour, Georges Linars, Youssef Hamadi |
| 2014 | CAV | Analyzing and Synthesizing Genomic Logic Functions. | Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler |
| 2013 | CEC | Using Local Search with adaptive operator selection to solve the Progressive Party Problem. | Nadarajen Veerapen, Youssef Hamadi, Frdric Saubion |
| 2013 | CP | Bandit-Based Search for Constraint Programming. | Manuel Loth, Michle Sebag, Youssef Hamadi, Marc Schoenauer |
| 2013 | DNA | Functional Analysis of Large-Scale DNA Strand Displacement Circuits. | Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler |
| 2012 | AAAI | Seven Challenges in Parallel SAT Solving. | Youssef Hamadi, Christoph M. Wintersteiger |
| 2012 | ECAI | A Multi-objective Approach to Balance Buildings Construction Cost and Energy Efficiency. | lvaro Fialho, Youssef Hamadi, Marc Schoenauer |
| 2011 | GECCO | Optimizing architectural and structural aspects of buildings towards higher energy efficiency. | lvaro Fialho, Youssef Hamadi, Marc Schoenauer |
| 2010 | CP | Diversification and Intensification in Parallel SAT Solving. | Long Guo, Youssef Hamadi, Sad Jabbour, Lakhdar Sais |
| 2010 | FMCAD | Efficiently solving quantified bit-vector formulas. | Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendona de Moura |
| 2010 | ICLP | Building Portfolios for the Protein Structure Prediction Problem. | Alejandro Arbelaez, Youssef Hamadi, Michle Sebag |
| 2010 | ICTAI | Continuous Search in Constraint Programming. | Alejandro Arbelaez, Youssef Hamadi, Michle Sebag |
| 2010 | ICTAI | A Parallel Solving Algorithm for Quantified Constraints Problems. | Jrmie Vautard, Arnaud Lallouet, Youssef Hamadi |
| 2010 | SAT | From Parallel SAT to Distributed SAT. | Youssef Hamadi |
| 2010 | SoCS | Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning. | Vincent Vidal, Lucas Bordeaux, Youssef Hamadi |
| 2009 | CAV | A Concurrent Portfolio Approach to SMT Solving. | Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendona de Moura |
| 2009 | IJCAI | Experiments with Massively Parallel Constraint Solving. | Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz |
| 2009 | IJCAI | Control-Based Clause Sharing in Parallel SAT Solving. | Youssef Hamadi, Sad Jabbour, Lakhdar Sais |
| 2009 | ICTAI | Learning for Dynamic Subsumption. | Youssef Hamadi, Sad Jabbour, Lakhdar Sais |
| 2009 | SAC | Exploiting weak dependencies in tree-based search. | Alejandro Arbelaez, Youssef Hamadi |
| 2008 | ECAI | Vivifying Propositional Clausal Formulae. | Cdric Piette, Youssef Hamadi, Lakhdar Sais |
| 2008 | SAT | A Generalized Framework for Conflict Analysis. | Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Sad Jabbour, Lakhdar Sais |
| 2007 | AAAI | Knowledge Compilation Properties of Tree-of-BDDs. | Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi |
| 2007 | CP | An Analysis of Slow Convergence in Interval Propagation. | Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi |
| 2006 | CP | Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms. | Frank Hutter, Youssef Hamadi, Holger H. Hoos, Kevin Leyton-Brown |
| 2006 | ECAI | Distributed Log-Based Reconciliation. | Yek Loong Chong, Youssef Hamadi |
| 2005 | CCGRID | Continuous resources allocation in Internet data centers. | Youssef Hamadi |
| 2005 | CP | Boosting Distributed Constraint Satisfaction. | Georg Ringwelski, Youssef Hamadi |
| 2005 | CPAIOR | The Temporal Knapsack Problem and Its Solution. | Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth |
| 2001 | ICTAI | Interleaved Backtracking in Distributed Constraint Networks. | Youssef Hamadi |
| 1999 | CP | Optimal Distributed Arc-Consistency. | Youssef Hamadi |
| 1998 | ECAI | Distributed Intelligent Backtracking. | Youssef Hamadi, Christian Bessire, Jol Quinqueton |
| 1997 | CP | Reconfigurable Architectures: A New Vision for Optimization Problems. | Youssef Hamadi, David Merceron |