Youssef Hamadi
Orcid: 0000-0002-8560-2443
According to our database1,
Youssef Hamadi
authored at least 78 papers
between 1997 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Urban air mobility: from complex tactical conflict resolution to network design and fairness insights.
Optim. Methods Softw., November, 2023
2021
Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism.
IEEE ACM Trans. Comput. Biol. Bioinform., 2021
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact).
Dagstuhl Artifacts Ser., 2021
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021
2020
Fully Automated HTML and JavaScript Rewriting for Constructing a Self-healing Web Proxy.
Softw. Test. Verification Reliab., 2020
Proceedings of the Learning and Intelligent Optimization - 14th International Conference, 2020
2018
Large-scale Genetic Exploration of Genome-wide Models: an Application to Human Cancer Metabolism.
Dataset, November, 2018
Proceedings of the 11th IEEE International Conference on Software Testing, 2018
2017
Preference Reasoning in Matching Procedures: Application to the Admission Post-Baccalaureat Platform.
CoRR, 2017
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017
2016
Biosyst., 2016
Ann. Oper. Res., 2016
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
Proceedings of the Genetic Programming - 19th European Conference, 2016
2015
Proceedings of the Information Processing in Cells and Tissues, 2015
Latent Topic Model Based Representations for a Robust Theme Identification of Highly Imperfect Automatic Transcriptions.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014
Using Comparative Preference Statements in Hypervolume-Based Interactive Multiobjective Optimization.
Proceedings of the Learning and Intelligent Optimization, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013
Ann. Math. Artif. Intell., 2013
Proceedings of the NASA Formal Methods, 2013
Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem.
Proceedings of the Learning and Intelligent Optimization - 7th International Conference, 2013
Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013
Proceedings of the Principles and Practice of Constraint Programming, 2013
Using Local Search with adaptive operator selection to solve the Progressive Party Problem.
Proceedings of the IEEE Congress on Evolutionary Computation, 2013
Springer, ISBN: 978-3-642-41481-7, 2013
2012
A Multi-objective Approach to Balance Buildings Construction Cost and Energy Efficiency.
Proceedings of the ECAI 2012, 2012
Proceedings of the Autonomous Search, 2012
Proceedings of the Autonomous Search, 2012
2011
Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011
Proceedings of the Learning and Intelligent Optimization - 5th International Conference, 2011
Optimizing architectural and structural aspects of buildings towards higher energy efficiency.
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011
2010
Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning.
Proceedings of the Third Annual Symposium on Combinatorial Search, 2010
Proceedings of the POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, 2010
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010
Proceedings of the Workshop on Constraint Based Methods for Bioinformatics, 2010
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010
2009
J. Satisf. Boolean Model. Comput., 2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Proceedings of the IJCAI 2009, 2009
Proceedings of the IJCAI 2009, 2009
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
Proceedings of the Theory and Applications of Satisfiability Testing, 2008
2007
J. Satisf. Boolean Model. Comput., 2007
Proceedings of the Principles and Practice of Constraint Programming, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
ACM Comput. Surv., 2006
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
Proceedings of the Principles and Practice of Constraint Programming, 2006
2005
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005
Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005
2002
Int. J. Artif. Intell. Tools, 2002
Proceedings of the Fourth IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS'02), 2002
1999
Communication et Emergence : une épidémie chez les termites.
Proceedings of the Ingénierie des systèmes Multi-Agents - JFIADSMA 99, 1999
1998
Distributed Intelligent Backtracking.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998
1997
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997