Reconfigurable Architectures: A New Vision for Optimization Problems. - Youssef Hamadi; David Merceron (CP, 1997)

Distributed Intelligent Backtracking. - Youssef Hamadi; Christian Bessière; Joël Quinqueton (ECAI, 1998)

Communication et Emergence : une épidémie chez les termites. - Joël Quinqueton; Youssef Hamadi (JFIADSMA, 1999)

DisCSPs: Tools for Generic and Efficient Multi-Agents Negotiations. - Youssef Hamadi (WECWIS, 2002)

Optimal Distributed Arc-Consistency. - Youssef Hamadi (Constraints An Int. J., 2002)

Interleaved Backtracking in Distributed Constraint Networks. - Youssef Hamadi (Int. J. Artif. Intell. Tools, 2002)

Continuous resources allocation in Internet data centers. - Youssef Hamadi (CCGRID, 2005)

The Temporal Knapsack Problem and Its Solution. - Mark Bartlett; Alan M. Frisch; Youssef Hamadi; Ian Miguel; Armagan Tarim; Chris Unsworth (CPAIOR, 2005)

Conflicting Agents in Distributed Search. - Youssef Hamadi (Int. J. Artif. Intell. Tools, 2005)

Pushing Log-Based Reconciliation. - Youssef Hamadi; Marc Shapiro 001 (Int. J. Artif. Intell. Tools, 2005)

Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms. - Frank Hutter; Youssef Hamadi; Holger H. Hoos; Kevin Leyton-Brown (CP, 2006)

Distributed Log-Based Reconciliation. - Yek Loong Chong; Youssef Hamadi (ECAI, 2006)

Propositional Satisfiability and Constraint Programming: A comparative survey. - Lucas Bordeaux; Youssef Hamadi; Lintao Zhang (ACM Comput. Surv., 2006)

AutoCollage. - Carsten Rother; Lucas Bordeaux; Youssef Hamadi; Andrew Blake 001 (ACM Trans. Graph., 2006)

Knowledge Compilation Properties of Tree-of-BDDs. - Sathiamoorthy Subbarayan; Lucas Bordeaux; Youssef Hamadi (AAAI, 2007)

An Analysis of Slow Convergence in Interval Propagation. - Lucas Bordeaux; Youssef Hamadi; Moshe Y. Vardi (CP, 2007)

Preface to Special Issue on SAT/CP Integration. - Youssef Hamadi; Lucas Bordeaux (J. Satisf. Boolean Model. Comput., 2007)

Vivifying Propositional Clausal Formulae. - Cédric Piette; Youssef Hamadi; Lakhdar Sais (ECAI, 2008)

A Generalized Framework for Conflict Analysis. - Gilles Audemard; Lucas Bordeaux; Youssef Hamadi; Saïd Jabbour; Lakhdar Sais (SAT, 2008)

A Concurrent Portfolio Approach to SMT Solving. - Christoph M. Wintersteiger; Youssef Hamadi; Leonardo Mendonça de Moura (CAV, 2009)

Efficient Combination of Decision Procedures for MUS Computation. - Cédric Piette; Youssef Hamadi; Lakhdar Sais (FroCoS, 2009)

Experiments with Massively Parallel Constraint Solving. - Lucas Bordeaux; Youssef Hamadi; Horst Samulowitz (IJCAI, 2009)

Control-Based Clause Sharing in Parallel SAT Solving. - Youssef Hamadi; Saïd Jabbour; Lakhdar Sais (IJCAI, 2009)

Exploiting weak dependencies in tree-based search. - Alejandro Arbelaez; Youssef Hamadi (SAC, 2009)

Conclusion to the Special Issue on Parallel SAT Solving. - Youssef Hamadi (J. Satisf. Boolean Model. Comput., 2009)

ManySAT: a Parallel SAT Solver. - Youssef Hamadi; Saïd Jabbour; Lakhdar Sais (J. Satisf. Boolean Model. Comput., 2009)

Diversification and Intensification in Parallel SAT Solving. - Long Guo; Youssef Hamadi; Saïd Jabbour; Lakhdar Sais (CP, 2010)

Building Portfolios for the Protein Structure Prediction Problem. - Alejandro Arbelaez; Youssef Hamadi; Michèle Sebag (WCB@ICLP, 2010)

Continuous Search in Constraint Programming. - Alejandro Arbelaez; Youssef Hamadi; Michèle Sebag (ICTAI (1), 2010)

A Parallel Solving Algorithm for Quantified Constraints Problems. - Jérémie Vautard; Arnaud Lallouet; Youssef Hamadi (ICTAI (1), 2010)

From Parallel SAT to Distributed SAT. - Youssef Hamadi (POS@SAT, 2010)

Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning. - Vincent Vidal 001; Lucas Bordeaux; Youssef Hamadi (SOCS, 2010)

Learning for Dynamic Subsumption. - Youssef Hamadi; Saïd Jabbour; Lakhdar Sais (Int. J. Artif. Intell. Tools, 2010)

Optimizing architectural and structural aspects of buildings towards higher energy efficiency. - Álvaro Fialho; Youssef Hamadi; Marc Schoenauer (GECCO (Companion), 2011)

Improving Parallel Local Search for SAT. - Alejandro Arbelaez; Youssef Hamadi (LION, 2011)

Lazy Decomposition for Distributed Decision Procedures - Youssef Hamadi; João Marques-Silva 001; Christoph M. Wintersteiger (PDMC, 2011)

Boosting distributed constraint satisfaction. - Youssef Hamadi; Georg Ringwelski (J. Heuristics, 2011)

Deterministic Parallel DPLL. - Youssef Hamadi; Saïd Jabbour; Cédric Piette; Lakhdar Sais (J. Satisf. Boolean Model. Comput., 2011)

Continuous Search in Constraint Programming. - Alejandro Arbelaez; Youssef Hamadi; Michèle Sebag (Autonomous Search, 2012)

Control-Based Clause Sharing in Parallel SAT Solving. - Youssef Hamadi; Saïd Jabbour; Lakhdar Sais (Autonomous Search, 2012)

An Introduction to Autonomous Search. - Youssef Hamadi; Éric Monfroy; Frédéric Saubion (Autonomous Search, 2012)

A Multi-objective Approach to Balance Buildings Construction Cost and Energy Efficiency. - Álvaro Fialho; Youssef Hamadi; Marc Schoenauer (ECAI, 2012)

Learning from conflicts in propositional satisfiability. - Youssef Hamadi; Saïd Jabbour; Lakhdar Sais (4OR, 2012)

Combinatorial Search - From Algorithms to Systems. - Youssef Hamadi (Springer, 2013)

Using Local Search with adaptive operator selection to solve the Progressive Party Problem. - Nadarajen Veerapen; Youssef Hamadi; Frédéric Saubion (IEEE Congress on Evolutionary Computation, 2013)

Bandit-Based Search for Constraint Programming. - Manuel Loth; Michèle Sebag; Youssef Hamadi; Marc Schoenauer (CP, 2013)

Functional Analysis of Large-Scale DNA Strand Displacement Circuits. - Boyan Yordanov; Christoph M. Wintersteiger; Youssef Hamadi; Andrew Phillips; Hillel Kugler (DNA, 2013)

Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem. - Manuel Loth; Michèle Sebag; Youssef Hamadi; Marc Schoenauer; Christian Schulte 001 (LION, 2013)

SMT-Based Analysis of Biological Computation. - Boyan Yordanov; Christoph M. Wintersteiger; Youssef Hamadi; Hillel Kugler (NASA Formal Methods, 2013)

Seven Challenges in Parallel SAT Solving. - Youssef Hamadi; Christoph M. Wintersteiger (AI Mag., 2013)

Guest editorial: special issue - revised selected papers of the LION 6 conference. - Youssef Hamadi; Marc Schoenauer (Ann. Math. Artif. Intell., 2013)

Efficiently solving quantified bit-vector formulas. - Christoph M. Wintersteiger; Youssef Hamadi; Leonardo Mendonça de Moura (Formal Methods Syst. Des., 2013)

Analyzing and Synthesizing Genomic Logic Functions. - Nicola Paoletti; Boyan Yordanov; Youssef Hamadi; Christoph M. Wintersteiger; Hillel Kugler (CAV, 2014)

Using Comparative Preference Statements in Hypervolume-Based Interactive Multiobjective Optimization. - Dimo Brockhoff; Youssef Hamadi; Souhila Kaci (LION, 2014)

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. - Markus N. Rabe; Christoph M. Wintersteiger; Hillel Kugler; Boyan Yordanov; Youssef Hamadi (QEST, 2014)

Stochastic Local Search for Satisfiability Modulo Theories. - Andreas Fröhlich; Armin Biere; Christoph M. Wintersteiger; Youssef Hamadi (AAAI, 2015)

Latent Topic Model Based Representations for a Robust Theme Identification of Highly Imperfect Automatic Transcriptions. - Mohamed Morchid; Richard Dufour; Georges Linarès; Youssef Hamadi (CICLing (2), 2015)

Switching Gene Regulatory Networks. - Yoli Shavit; Boyan Yordanov; Sara-Jane Dunn; Christoph M. Wintersteiger; Youssef Hamadi; Hillel Kugler (IPCAT, 2015)

SWIM: Synthesizing What I Mean. - Mukund Raghothaman; Yi Wei; Youssef Hamadi (CoRR, 2015)

Towards Automated Strategies in Satisfiability Modulo Theory. - Nicolás Gálvez Ramírez; Youssef Hamadi; Éric Monfroy; Frédéric Saubion (EuroGP, 2016)

SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis. - Mukund Raghothaman; Yi Wei; Youssef Hamadi (ICSE, 2016)

Evolving SMT Strategies. - Nicolás Gálvez Ramírez; Youssef Hamadi; Éric Monfroy; Frédéric Saubion (ICTAI, 2016)

What we can learn from conflicts in propositional satisfiability. - Youssef Hamadi; Saïd Jabbour; Lakhdar Saïs (Ann. Oper. Res., 2016)

Automated Synthesis and Analysis of Switching Gene Regulatory Networks. - Yoli Shavit; Boyan Yordanov; Sara-Jane Dunn; Christoph M. Wintersteiger; Tomoki Otani; Youssef Hamadi; Frederick J. Livesey; Hillel Kugler (Biosyst., 2016)

BanditRepair: Speculative Exploration of Runtime Patches. - Thomas Durieux; Youssef Hamadi; Martin Monperrus (CoRR, 2016)

Production-Driven Patch Generation and Validation. - Thomas Durieux; Youssef Hamadi; Martin Monperrus (CoRR, 2016)

Production-Driven Patch Generation. - Thomas Durieux; Youssef Hamadi; Martin Monperrus (ICSE-NIER, 2017)

Preference Reasoning in Matching Procedures: Application to the Admission Post-Baccalaureat Platform. - Youssef Hamadi; Souhila Kaci (CoRR, 2017)

Exhaustive Exploration of the Failure-oblivious Computing Search Space. - Thomas Durieux; Youssef Hamadi; Zhongxing Yu; Martin Monperrus (CoRR, 2017)

Surrogate-based methods for black-box optimization. - Ky Khac Vu; Claudia D'Ambrosio; Youssef Hamadi; Leo Liberti (Int. Trans. Oper. Res., 2017)

Exhaustive Exploration of the Failure-Oblivious Computing Search Space. - Thomas Durieux; Youssef Hamadi; Zhongxing Yu; Benoit Baudry; Martin Monperrus (ICST, 2018)

Large-scale Genetic Exploration of Genome-wide Models: an Application to Human Cancer Metabolism. - Youssef Hamadi; Claudio Angione; Hillel Kugler; Christoph M. Wintersteiger; Boyan Yordanov (IEEE DataPort, 2018)

Optimization for Urban Air Mobility. - Youssef Hamadi (LION, 2020)

Fully Automated HTML and JavaScript Rewriting for Constructing a Self-healing Web Proxy. - Thomas Durieux; Youssef Hamadi; Martin Monperrus (Softw. Test. Verification Reliab., 2020)

ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety. - Maxime Buyse; Rémi Delmas; Youssef Hamadi (ECOOP, 2021)

ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact). - Maxime Buyse; Rémi Delmas; Youssef Hamadi (Dagstuhl Artifacts Ser., 2021)

Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism. - Annalisa Occhipinti; Youssef Hamadi; Hillel Kugler; Christoph M. Wintersteiger; Boyan Yordanov; Claudio Angione (IEEE ACM Trans. Comput. Biol. Bioinform., 2021)

Urban air mobility: from complex tactical conflict resolution to network design and fairness insights. - Mercedes Pelegrín; Claudia D'Ambrosio; Rémi Delmas; Youssef Hamadi (Optim. Methods Softw., 2023)

Résolution multicritère socialement acceptable du problème de réparation des contrats 4d dans le cadre de la gestion du trafic aérien sans pilote. - Youssef Hamadi; Gauthier Picard (APIA, 2024)

Towards Socially-Acceptable Multi-Criteria Resolution of the 4D-Contracts Repair Problem. - Youssef Hamadi; Gauthier Picard (AAMAS, 2024)