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 Youssef Hamadi Gauthier Picard 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. 83-92 2024 APIA https://hal.science/APIA-2024/hal-04642267v1 conf/apia/2024 db/conf/apia/apia2024.html#HamadiP24 Youssef Hamadi Gauthier Picard Towards Socially-Acceptable Multi-Criteria Resolution of the 4D-Contracts Repair Problem. 2297-2299 2024 AAMAS https://dl.acm.org/doi/10.5555/3635637.3663139 conf/atal/2024 db/conf/atal/aamas2024.html#HamadiP24

Mercedes Pelegrín Claudia D'Ambrosio Rémi Delmas Youssef Hamadi Urban air mobility: from complex tactical conflict resolution to network design and fairness insights. 1311-1343 2023 November 38 Optim. Methods Softw. 6 https://doi.org/10.1080/10556788.2023.2241148 db/journals/oms/oms38.html#PelegrinDDH23

Maxime Buyse Rémi Delmas Youssef Hamadi ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact). 14:1-14:4 2021 7 Dagstuhl Artifacts Ser. 2 https://doi.org/10.4230/DARTS.7.2.14 db/journals/darts/darts7.html#BuyseDH21

Annalisa Occhipinti Youssef Hamadi Hillel Kugler Christoph M. Wintersteiger Boyan Yordanov Claudio Angione Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism. 2339-2352 2021 18 IEEE ACM Trans. Comput. Biol. Bioinform. 6 https://doi.org/10.1109/TCBB.2020.2973386 https://www.wikidata.org/entity/Q91570576 db/journals/tcbb/tcbb18.html#OcchipintiHKWYA21

Maxime Buyse Rémi Delmas Youssef Hamadi ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety. 5:1-5:29 2021 ECOOP https://doi.org/10.4230/LIPIcs.ECOOP.2021.5 conf/ecoop/2021 db/conf/ecoop/ecoop2021.html#BuyseDH21

Thomas Durieux Youssef Hamadi Martin Monperrus Fully Automated HTML and JavaScript Rewriting for Constructing a Self-healing Web Proxy. 2020 30 Softw. Test. Verification Reliab. 2 https://doi.org/10.1002/stvr.1731 db/journals/stvr/stvr30.html#DurieuxHM20

Youssef Hamadi Optimization for Urban Air Mobility. 1-8 2020 LION https://doi.org/10.1007/978-3-030-53552-0_1 conf/lion/2020 db/conf/lion/lion2020.html#Hamadi20 Thomas Durieux Youssef Hamadi Zhongxing Yu Benoit Baudry Martin Monperrus Exhaustive Exploration of the Failure-Oblivious Computing Search Space. 139-149 2018 ICST https://doi.ieeecomputersociety.org/10.1109/ICST.2018.00023 https://www.wikidata.org/entity/Q57258150 conf/icst/2018 db/conf/icst/icst2018.html#DurieuxHYBM18 Thomas Durieux Youssef Hamadi Martin Monperrus Fully Automated HTML and Javascript Rewriting for Constructing a Self-Healing Web Proxy. 1-12 2018 ISSRE https://doi.org/10.1109/ISSRE.2018.00012 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2018.00012 https://www.wikidata.org/entity/Q59541834 conf/issre/2018 db/conf/issre/issre2018.html#DurieuxHM18 Youssef Hamadi Lakhdar Sais Handbook of Parallel Constraint Reasoning. Springer 2018 978-3-319-63515-6 978-3-319-63516-3 https://doi.org/10.1007/978-3-319-63516-3 db/books/collections/HS2018.html Youssef Hamadi Claudio Angione Hillel Kugler Christoph M. Wintersteiger Boyan Yordanov Large-scale Genetic Exploration of Genome-wide Models: an Application to Human Cancer Metabolism. 2018 November https://doi.org/10.21227/yegx-4z80 IEEE DataPort streams/repo/ieeedataport

Thomas Durieux Youssef Hamadi Martin Monperrus Fully Automated HTML and Javascript Rewriting for Constructing a Self-healing Web Proxy. 2018 abs/1803.08725 CoRR http://arxiv.org/abs/1803.08725 db/journals/corr/corr1803.html#abs-1803-08725

Thomas Durieux Youssef Hamadi Martin Monperrus Production-Driven Patch Generation. 2018 abs/1812.04475 CoRR http://arxiv.org/abs/1812.04475 db/journals/corr/corr1812.html#abs-1812-04475

Ky Khac Vu Claudia D'Ambrosio Youssef Hamadi Leo Liberti Surrogate-based methods for black-box optimization. 393-424 2017 24 Int. Trans. Oper. Res. 3 https://doi.org/10.1111/itor.12292 db/journals/itor/itor24.html#VuDHL17

Thomas Durieux Youssef Hamadi Martin Monperrus Production-Driven Patch Generation. 23-26 2017 ICSE-NIER https://doi.org/10.1109/ICSE-NIER.2017.8 https://doi.ieeecomputersociety.org/10.1109/ICSE-NIER.2017.8 https://www.wikidata.org/entity/Q59567494 conf/icse/2017nier db/conf/icse/icse2017nier.html#DurieuxHM17

Youssef Hamadi Souhila Kaci Preference Reasoning in Matching Procedures: Application to the Admission Post-Baccalaureat Platform. 2017 abs/1707.07298 CoRR http://arxiv.org/abs/1707.07298 db/journals/corr/corr1707.html#HamadiK17

Thomas Durieux Youssef Hamadi Zhongxing Yu Martin Monperrus Exhaustive Exploration of the Failure-oblivious Computing Search Space. 2017 abs/1710.09722 CoRR http://arxiv.org/abs/1710.09722 db/journals/corr/corr1710.html#abs-1710-09722

Youssef Hamadi Saïd Jabbour Lakhdar Saïs What we can learn from conflicts in propositional satisfiability. 13-37 2016 240 Ann. Oper. Res. 1 https://doi.org/10.1007/s10479-015-2028-9 db/journals/anor/anor240.html#HamadiJS16

Yoli Shavit Boyan Yordanov Sara-Jane Dunn Christoph M. Wintersteiger Tomoki Otani Youssef Hamadi Frederick J. Livesey Hillel Kugler Automated Synthesis and Analysis of Switching Gene Regulatory Networks. 26-34 2016 146 Biosyst. https://doi.org/10.1016/j.biosystems.2016.03.012 https://www.wikidata.org/entity/Q47430627 db/journals/biosystems/biosystems146.html#ShavitYDWOHLK16

Nicolás Gálvez Ramírez Youssef Hamadi Éric Monfroy Frédéric Saubion Towards Automated Strategies in Satisfiability Modulo Theory. 230-245 2016 EuroGP https://doi.org/10.1007/978-3-319-30668-1_15 conf/eurogp/2016 db/conf/eurogp/eurogp2016.html#RamirezHMS16 Mukund Raghothaman Yi Wei Youssef Hamadi SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis. 357-367 2016 ICSE https://doi.org/10.1145/2884781.2884808 https://ieeexplore.ieee.org/document/7886917/ conf/icse/2016 db/conf/icse/icse2016.html#RaghothamanWH16 Nicolás Gálvez Ramírez Youssef Hamadi Éric Monfroy Frédéric Saubion Evolving SMT Strategies. 247-254 2016 ICTAI https://doi.org/10.1109/ICTAI.2016.0046 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2016.0046 conf/ictai/2016 db/conf/ictai/ictai2016.html#RamirezHMS16

Thomas Durieux Youssef Hamadi Martin Monperrus BanditRepair: Speculative Exploration of Runtime Patches. 2016 abs/1603.07631 CoRR http://arxiv.org/abs/1603.07631 db/journals/corr/corr1603.html#DurieuxHM16

Thomas Durieux Youssef Hamadi Martin Monperrus Production-Driven Patch Generation and Validation. 2016 abs/1609.06848 CoRR http://arxiv.org/abs/1609.06848 db/journals/corr/corr1609.html#DurieuxHM16a

Andreas Fröhlich Armin Biere Christoph M. Wintersteiger Youssef Hamadi Stochastic Local Search for Satisfiability Modulo Theories. 1136-1143 2015 AAAI https://doi.org/10.1609/aaai.v29i1.9372 conf/aaai/2015 db/conf/aaai/aaai2015.html#FrohlichBWH15 Mohamed Morchid Richard Dufour Georges Linarès Youssef Hamadi Latent Topic Model Based Representations for a Robust Theme Identification of Highly Imperfect Automatic Transcriptions. 596-605 2015 CICLing (2) https://doi.org/10.1007/978-3-319-18117-2_44 conf/cicling/2015-2 db/conf/cicling/cicling2015-2.html#MorchidDLH15 Yoli Shavit Boyan Yordanov Sara-Jane Dunn Christoph M. Wintersteiger Youssef Hamadi Hillel Kugler Switching Gene Regulatory Networks. 131-144 2015 IPCAT https://doi.org/10.1007/978-3-319-23108-2_11 conf/ipcat/2015 db/conf/ipcat/ipcat2015.html#ShavitYDWHK15

Mukund Raghothaman Yi Wei Youssef Hamadi SWIM: Synthesizing What I Mean. 2015 abs/1511.08497 CoRR http://arxiv.org/abs/1511.08497 db/journals/corr/corr1511.html#RaghothamanWH15

Nicola Paoletti Boyan Yordanov Youssef Hamadi Christoph M. Wintersteiger Hillel Kugler Analyzing and Synthesizing Genomic Logic Functions. 343-357 2014 CAV https://doi.org/10.1007/978-3-319-08867-9_23 conf/cav/2014 db/conf/cav/cav2014.html#PaolettiYHWK14 Dimo Brockhoff Youssef Hamadi Souhila Kaci Using Comparative Preference Statements in Hypervolume-Based Interactive Multiobjective Optimization. 121-136 2014 LION https://doi.org/10.1007/978-3-319-09584-4_13 conf/lion/2014 db/conf/lion/lion2014.html#BrockhoffHK14 Markus N. Rabe Christoph M. Wintersteiger Hillel Kugler Boyan Yordanov Youssef Hamadi Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. 388-403 2014 QEST https://doi.org/10.1007/978-3-319-10696-0_30 conf/qest/2014 db/conf/qest/qest2014.html#RabeWKYH14 Lucas Bordeaux Youssef Hamadi Pushmeet Kohli Tractability: Practical Approaches to Hard Problems Cambridge University Press 2014 9781139177801 https://doi.org/10.1017/CBO9781139177801 db/books/collections/BHK2014.html Youssef Hamadi Combinatorial Search - From Algorithms to Systems. I-XIII, 1-139 Springer 2013 978-3-642-41481-7 http://www.springer.com/computer/ai/book/978-3-642-41481-7

Youssef Hamadi Christoph M. Wintersteiger Seven Challenges in Parallel SAT Solving. 99-106 2013 34 AI Mag. 2 https://doi.org/10.1609/aimag.v34i2.2450 db/journals/aim/aim34.html#HamadiW13

Youssef Hamadi Marc Schoenauer Guest editorial: special issue - revised selected papers of the LION 6 conference. 149-150 2013 69 Ann. Math. Artif. Intell. 2 https://doi.org/10.1007/s10472-013-9344-z db/journals/amai/amai69.html#HamadiS13

Christoph M. Wintersteiger Youssef Hamadi Leonardo Mendonça de Moura Efficiently solving quantified bit-vector formulas. 3-23 2013 42 Formal Methods Syst. Des. 1 https://doi.org/10.1007/s10703-012-0156-2 db/journals/fmsd/fmsd42.html#WintersteigerHM13

Nadarajen Veerapen Youssef Hamadi Frédéric Saubion Using Local Search with adaptive operator selection to solve the Progressive Party Problem. 554-561 2013 IEEE Congress on Evolutionary Computation https://doi.org/10.1109/CEC.2013.6557617 conf/cec/2013 db/conf/cec/cec2013.html#VeerapenHS13 Manuel Loth Michèle Sebag Youssef Hamadi Marc Schoenauer Bandit-Based Search for Constraint Programming. 464-480 2013 CP https://doi.org/10.1007/978-3-642-40627-0_36 conf/cp/2013 db/conf/cp/cp2013.html#LothSHS13 Boyan Yordanov Christoph M. Wintersteiger Youssef Hamadi Andrew Phillips Hillel Kugler Functional Analysis of Large-Scale DNA Strand Displacement Circuits. 189-203 2013 DNA https://doi.org/10.1007/978-3-319-01928-4_14 conf/dna/2013 db/conf/dna/dna2013.html#YordanovWHPK13 Manuel Loth Michèle Sebag Youssef Hamadi Marc Schoenauer Christian Schulte 0001 Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem. 315-320 2013 LION https://doi.org/10.1007/978-3-642-44973-4_35 conf/lion/2013 db/conf/lion/lion2013.html#LothSHSS13 Boyan Yordanov Christoph M. Wintersteiger Youssef Hamadi Hillel Kugler SMT-Based Analysis of Biological Computation. 78-92 2013 NASA Formal Methods https://doi.org/10.1007/978-3-642-38088-4_6 conf/nfm/2013 db/conf/nfm/nfm2013.html#YordanovWHK13

Youssef Hamadi Saïd Jabbour Lakhdar Sais Learning from conflicts in propositional satisfiability. 15-32 2012 10 4OR 1 https://doi.org/10.1007/s10288-011-0191-7 db/journals/4or/4or10.html#HamadiJS12

Youssef Hamadi Christoph M. Wintersteiger Seven Challenges in Parallel SAT Solving. 2012 AAAI https://doi.org/10.1609/aaai.v26i1.8438 conf/aaai/2012 db/conf/aaai/aaai2012.html#HamadiW12 2120-2125 Álvaro Fialho Youssef Hamadi Marc Schoenauer A Multi-objective Approach to Balance Buildings Construction Cost and Energy Efficiency. 961-966 2012 ECAI https://doi.org/10.3233/978-1-61499-098-7-961 conf/ecai/2012 db/conf/ecai/ecai2012.html#FialhoHS12 Youssef Hamadi Éric Monfroy Frédéric Saubion An Introduction to Autonomous Search. 1-11 2012 Autonomous Search https://doi.org/10.1007/978-3-642-21434-9_1 books/daglib/0028910 db/books/collections/HMS2012.html#HamadiMS12 Alejandro Arbelaez Youssef Hamadi Michèle Sebag Continuous Search in Constraint Programming. 219-243 2012 Autonomous Search https://doi.org/10.1007/978-3-642-21434-9_9 books/daglib/0028910 db/books/collections/HMS2012.html#ArbelaezHS12 Youssef Hamadi Saïd Jabbour Lakhdar Sais Control-Based Clause Sharing in Parallel SAT Solving. 245-267 2012 Autonomous Search https://doi.org/10.1007/978-3-642-21434-9_10 books/daglib/0028910 db/books/collections/HMS2012.html#HamadiJS12 Youssef Hamadi Éric Monfroy Frédéric Saubion Autonomous Search Springer 2012 978-3-642-21433-2 978-3-642-21434-9 https://doi.org/10.1007/978-3-642-21434-9 db/books/collections/HMS2012.html Youssef Hamadi Marc Schoenauer Learning and Intelligent Optimization - 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers 7219 2012 Springer Lecture Notes in Computer Science https://doi.org/10.1007/978-3-642-34413-8 978-3-642-34412-1 LION db/conf/lion/lion2012.html

Youssef Hamadi Georg Ringwelski Boosting distributed constraint satisfaction. 251-279 2011 17 J. Heuristics 3 https://doi.org/10.1007/s10732-010-9134-2 db/journals/heuristics/heuristics17.html#HamadiR11

Youssef Hamadi Saïd Jabbour Cédric Piette Lakhdar Sais Deterministic Parallel DPLL. 127-132 2011 7 J. Satisf. Boolean Model. Comput. 4 https://doi.org/10.3233/sat190081 db/journals/jsat/jsat7.html#HamadiJPS11

Álvaro Fialho Youssef Hamadi Marc Schoenauer Optimizing architectural and structural aspects of buildings towards higher energy efficiency. 727-732 2011 GECCO (Companion) https://doi.org/10.1145/2001858.2002077 conf/gecco/2011c db/conf/gecco/gecco2011c.html#FialhoHS11 Alejandro Arbelaez Youssef Hamadi Improving Parallel Local Search for SAT. 46-60 2011 LION https://doi.org/10.1007/978-3-642-25566-3_4 conf/lion/2011 db/conf/lion/lion2011.html#ArbelaezH11 Youssef Hamadi João Marques-Silva 0001 Christoph M. Wintersteiger Lazy Decomposition for Distributed Decision Procedures PDMC 2011 43-54 https://doi.org/10.4204/EPTCS.72.5 http://arxiv.org/abs/1111.0371 journals/corr/abs-1111-0064 db/series/eptcs/eptcs72.html#abs-1111-0371

Youssef Hamadi Saïd Jabbour Lakhdar Sais Learning for Dynamic Subsumption. 511-529 2010 19 Int. J. Artif. Intell. Tools 4 https://doi.org/10.1142/S0218213010000303 db/journals/ijait/ijait19.html#HamadiJS10

Long Guo Youssef Hamadi Saïd Jabbour Lakhdar Sais Diversification and Intensification in Parallel SAT Solving. 252-265 2010 CP https://doi.org/10.1007/978-3-642-15396-9_22 conf/cp/2010 db/conf/cp/cp2010.html#GuoHJS10 Christoph M. Wintersteiger Youssef Hamadi Leonardo Mendonça de Moura Efficiently solving quantified bit-vector formulas. 239-246 2010 FMCAD https://ieeexplore.ieee.org/document/5770955/ conf/fmcad/2010 db/conf/fmcad/fmcad2010.html#WintersteigerHM10 Alejandro Arbelaez Youssef Hamadi Michèle Sebag Building Portfolios for the Protein Structure Prediction Problem. 2-7 2010 WCB@ICLP https://doi.org/10.29007/dnbk conf/iclp/2010wcb db/conf/iclp/wcb2010.html#ArbelaezHS10 Alejandro Arbelaez Youssef Hamadi Michèle Sebag Continuous Search in Constraint Programming. 53-60 2010 ICTAI (1) https://doi.org/10.1109/ICTAI.2010.17 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2010.17 conf/ictai/2010-1 db/conf/ictai/ictai2010-1.html#ArbelaezHS10 Jérémie Vautard Arnaud Lallouet Youssef Hamadi A Parallel Solving Algorithm for Quantified Constraints Problems. 271-274 2010 ICTAI (1) https://doi.org/10.1109/ICTAI.2010.46 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2010.46 conf/ictai/2010-1 db/conf/ictai/ictai2010-1.html#VautardLH10 Youssef Hamadi From Parallel SAT to Distributed SAT. 1 2010 POS@SAT https://doi.org/10.29007/44vf conf/sat/2010pos db/conf/sat/pos2010.html#Hamadi10 Vincent Vidal 0001 Lucas Bordeaux Youssef Hamadi Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning. 2010 SOCS https://doi.org/10.1609/socs.v1i1.18165 conf/socs/2010 db/conf/socs/socs2010.html#VidalBH10 100-107

Youssef Hamadi Saïd Jabbour Lakhdar Sais ManySAT: a Parallel SAT Solver. 245-262 2009 6 J. Satisf. Boolean Model. Comput. 4 https://doi.org/10.3233/sat190070 db/journals/jsat/jsat6.html#HamadiJS09

Youssef Hamadi Conclusion to the Special Issue on Parallel SAT Solving. 263 2009 6 J. Satisf. Boolean Model. Comput. 4 https://doi.org/10.3233/sat190071 db/journals/jsat/jsat6.html#Hamadi09

Christoph M. Wintersteiger Youssef Hamadi Leonardo Mendonça de Moura A Concurrent Portfolio Approach to SMT Solving. 715-720 2009 CAV https://doi.org/10.1007/978-3-642-02658-4_60 conf/cav/2009 db/conf/cav/cav2009.html#WintersteigerHM09 Cédric Piette Youssef Hamadi Lakhdar Sais Efficient Combination of Decision Procedures for MUS Computation. 335-349 2009 FroCoS https://doi.org/10.1007/978-3-642-04222-5_21 conf/frocos/2009 db/conf/frocos/frocos2009.html#PietteHS09 Youssef Hamadi Saïd Jabbour Lakhdar Sais Learning for Dynamic Subsumption. 328-335 2009 ICTAI https://doi.org/10.1109/ICTAI.2009.22 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2009.22 conf/ictai/2009 db/conf/ictai/ictai2009.html#HamadiJS09 Lucas Bordeaux Youssef Hamadi Horst Samulowitz Experiments with Massively Parallel Constraint Solving. 443-448 2009 IJCAI http://ijcai.org/Proceedings/09/Papers/081.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#BordeauxHS09 Youssef Hamadi Saïd Jabbour Lakhdar Sais Control-Based Clause Sharing in Parallel SAT Solving. 499-504 2009 IJCAI http://ijcai.org/Proceedings/09/Papers/090.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#HamadiJS09 Alejandro Arbelaez Youssef Hamadi Exploiting weak dependencies in tree-based search. 1385-1391 2009 SAC https://doi.org/10.1145/1529282.1529592 conf/sac/2009 db/conf/sac/sac2009.html#ArbelaezH09

Youssef Hamadi Saïd Jabbour Lakhdar Sais Learning for Dynamic subsumption http://arxiv.org/abs/0904.0029 2009 CoRR abs/0904.0029 db/journals/corr/corr0904.html#abs-0904-0029

Cédric Piette Youssef Hamadi Lakhdar Sais Vivifying Propositional Clausal Formulae. 525-529 2008 ECAI https://doi.org/10.3233/978-1-58603-891-5-525 conf/ecai/2008 db/conf/ecai/ecai2008.html#PietteHS08 Gilles Audemard Lucas Bordeaux Youssef Hamadi Saïd Jabbour Lakhdar Sais A Generalized Framework for Conflict Analysis. 21-27 2008 SAT https://doi.org/10.1007/978-3-540-79719-7_3 conf/sat/2008 db/conf/sat/sat2008.html#AudemardBHJS08

Youssef Hamadi Lucas Bordeaux Preface to Special Issue on SAT/CP Integration. 2007 1 J. Satisf. Boolean Model. Comput. 3-4 https://doi.org/10.3233/sat190008 db/journals/jsat/jsat1.html#HamadiB07

Sathiamoorthy Subbarayan Lucas Bordeaux Youssef Hamadi Knowledge Compilation Properties of Tree-of-BDDs. 502-507 2007 conf/aaai/2007 AAAI db/conf/aaai/aaai2007.html#SubbarayanBH07 http://www.aaai.org/Library/AAAI/2007/aaai07-079.php Lucas Bordeaux Youssef Hamadi Moshe Y. Vardi An Analysis of Slow Convergence in Interval Propagation. 790-797 2007 conf/cp/2007 CP https://doi.org/10.1007/978-3-540-74970-7_56 db/conf/cp/cp2007.html#BordeauxHV07

Lucas Bordeaux Youssef Hamadi Lintao Zhang Propositional Satisfiability and Constraint Programming: A comparative survey. 2006 38 ACM Comput. Surv. 4 https://doi.org/10.1145/1177352.1177354 db/journals/csur/csur38.html#BordeauxHZ06 12

Carsten Rother Lucas Bordeaux Youssef Hamadi Andrew Blake 0001 AutoCollage. 847-852 2006 25 ACM Trans. Graph. 3 https://doi.org/10.1145/1141911.1141965 https://doi.org/10.1145/1179352.1141965 db/journals/tog/tog25.html#RotherBHB06

Frank Hutter Youssef Hamadi Holger H. Hoos Kevin Leyton-Brown Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms. 213-228 2006 conf/cp/2006 CP https://doi.org/10.1007/11889205_17 https://www.wikidata.org/entity/Q60521687 db/conf/cp/cp2006.html#HutterHHL06 Yek Loong Chong Youssef Hamadi Distributed Log-Based Reconciliation. 108-112 2006 conf/ecai/2006 ECAI db/conf/ecai/ecai2006.html#ChongH06 http://www.booksonline.iospress.nl/Content/View.aspx?piid=1656

Youssef Hamadi Marc Shapiro 0001 Pushing Log-Based Reconciliation. 445-458 2005 14 Int. J. Artif. Intell. Tools 3 https://doi.org/10.1142/S0218213005002193 db/journals/ijait/ijait14.html#HamadiS05

Youssef Hamadi Conflicting Agents in Distributed Search. 459-476 2005 14 Int. J. Artif. Intell. Tools 3 https://doi.org/10.1142/S021821300500220X db/journals/ijait/ijait14.html#Hamadi05

Youssef Hamadi Continuous resources allocation in Internet data centers. 566-573 2005 conf/ccgrid/2005 CCGRID https://doi.org/10.1109/CCGRID.2005.1558604 https://doi.ieeecomputersociety.org/10.1109/CCGRID.2005.1558604 db/conf/ccgrid/ccgrid2005.html#Hamadi05 Georg Ringwelski Youssef Hamadi Boosting Distributed Constraint Satisfaction. 549-562 2005 conf/cp/2005 CP https://doi.org/10.1007/11564751_41 db/conf/cp/cp2005.html#RingwelskiH05 Mark Bartlett Alan M. Frisch Youssef Hamadi Ian Miguel Armagan Tarim Chris Unsworth The Temporal Knapsack Problem and Its Solution. 34-48 2005 conf/cpaior/2005 CPAIOR https://doi.org/10.1007/11493853_5 db/conf/cpaior/cpaior2005.html#BartlettFHMTU05

Youssef Hamadi Optimal Distributed Arc-Consistency. 367-385 2002 7 Constraints An Int. J. 3-4 db/journals/constraints/constraints7.html#Hamadi02 https://doi.org/10.1023/A:1020594125144

Youssef Hamadi Interleaved Backtracking in Distributed Constraint Networks. 167-188 2002 11 Int. J. Artif. Intell. Tools 2 https://doi.org/10.1142/S0218213002000836 db/journals/ijait/ijait11.html#Hamadi02

Youssef Hamadi DisCSPs: Tools for Generic and Efficient Multi-Agents Negotiations. 245-248 2002 conf/wecwis/2002 WECWIS https://doi.org/10.1109/WECWIS.2002.1021266 https://doi.ieeecomputersociety.org/10.1109/WECWIS.2002.1021266 db/conf/wecwis/wecwis2002.html#Hamadi02 Youssef Hamadi Interleaved Backtracking in Distributed Constraint Networks. 33-41 2001 conf/ictai/2001 ICTAI https://doi.org/10.1109/ICTAI.2001.974446 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2001.974446 db/conf/ictai/ictai2001.html#Hamadi01 Youssef Hamadi Optimal Distributed Arc-Consistency. 219-233 1999 conf/cp/1999 CP db/conf/cp/cp99.html#Hamadi99 https://doi.org/10.1007/978-3-540-48085-3_16 Joël Quinqueton Youssef Hamadi Communication et Emergence : une épidémie chez les termites. 225-235 1999 JFIADSMA conf/jfsma/1999 db/conf/jfsma/jfsma1999.html#QuinquetonH99 Youssef Hamadi Christian Bessière Joël Quinqueton Distributed Intelligent Backtracking. 219-223 1998 conf/ecai/1998 ECAI db/conf/ecai/ecai98.html#HamadiBQ98 Youssef Hamadi David Merceron Reconfigurable Architectures: A New Vision for Optimization Problems. 209-221 1997 conf/cp/1997 CP db/conf/cp/cp97.html#HamadiM97 https://doi.org/10.1007/BFb0017441 Claudio Angione Alejandro Arbelaez Gilles Audemard Mark Bartlett Benoit Baudry Christian BessiereChristian Bessière Armin Biere Andrew Blake 0001 Lucas Bordeaux Dimo Brockhoff Maxime Buyse Yek Loong Chong Claudia D'Ambrosio Rémi Delmas Richard Dufour Sara-Jane Dunn Thomas Durieux Álvaro Fialho Alan M. Frisch Andreas Fröhlich Long Guo Holger H. Hoos Frank Hutter Saïd Jabbour Souhila Kaci Pushmeet Kohli Hillel Kugler Arnaud Lallouet Kevin Leyton-Brown Leo Liberti Georges Linarès Frederick J. Livesey Manuel Loth João Marques-Silva 0001 David Merceron Ian Miguel Éric Monfroy Martin Monperrus Mohamed Morchid Leonardo Mendonça de Moura Annalisa Occhipinti Tomoki Otani Nicola Paoletti Mercedes Pelegrín-GarcíaMercedes Pelegrín Andrew Phillips Gauthier Picard Cédric Piette Joël Quinqueton Markus N. Rabe Mukund Raghothaman Nicolás Gálvez Ramírez Georg Ringwelski Carsten Rother Lakhdar SaisLakhdar Saïs Horst Samulowitz Frédéric Saubion Marc Schoenauer Christian Schulte 0001 Michèle Sebag Marc Shapiro 0001 Yoli Shavit Sathiamoorthy Subbarayan Armagan Tarim Chris Unsworth Moshe Y. Vardi Jérémie Vautard Nadarajen Veerapen Vincent Vidal 0001 Ky Khac Vu Yi Wei Christoph M. Wintersteiger Boyan Yordanov Zhongxing Yu Lintao Zhang