Research Group
"Metaheuristics, Optimization and Applications"


Dr. Jin-Kao Hao (郝进考)
Professor and initial founder of the Group
(Professeur des Universités, 1ère Classe)

JKH


LERIA (Director)
Faculty of Sciences - University of Angers

2, Boulevard Lavoisier, 49045 Angers Cedex 01 - France
Email: Jin-Kao.Hao[at]univ-angers.fr
Phone: (+33) 2 41 73 50 76, Fax: (+33) 2 41 73 50 73



Key words

Research

R&D grants

Ph.D supervision

Mini CV

Conferences

Publications

Key words

Metaheuristics and heuristics, large-scale combinatorial optimization, mobile radio and Internet network optimization, constraint solving and constrained optimization, resource assignment-planning-scheduling, timetabling, optimization in transportation and logistics, bioinformatics, data mining.

Research

The group "Metaheuristics, Optimization and Applications" works on modern metaheuristics and intelligent search methods for solving large-scale complex combinatorial problems. We are especially interested in the following methods:

Metaheuristics are based on general principles and applicable to a large number of problems. Metaheuristics are known today to be among the most powerful methods for tackling hard and large combinatorial problems.

Target applications of metaheuristics concern those highly combinatorial and strongly constrained problems which cannot be solved other ways. Typical examples of such applications include resource assignment, planning, scheduling and re-scheduling, timetabling and inventory...

Research in our group is carried out in several tightly related directions. We develop high performance heuristic methods for real applications including:

and for general NP-hard problems such as:

We are also working on combinatorial problems encountered in other application domains such as Bioinformatics. In particular, we are developing heuristic algorithms for the following problems:

We are also interested in regulation networks and protein structure prediction.

Other ongoing research activities include multiobjective optimization, dynamic optimization and uncertain optimization by metaheuristics. Finally, we are interested in general purpose problem solvers based on metaheuristics, fundamental issues related to the design and understanding of the heuristic methods (landscapes, search space analysis, distribution of local optima...).

R&D grants and contracts

Ph.D and Post-doc supervision

Ongoing Ph.D. candidates

(Wishing to do a PhD with us? click here)

(Notice that we don't take undergraduate students for their training program)

Former Ph.D. candidates

  1. Vincent Barichard (Assistant Professor at the Université d'Angers, PhD defense in 2003, from the Université d'Angers)
  2. Meriema Belaidouni (Post-doc at the Institut National de Telecommunications, Paris, PhD defense in 2001, from the Université Houari Boumédiène, Algeria)
  3. Edmondo Bonilla Huerta (Assistant Professor at the Instituto Tecnologico Apizaco, Tlaxcala, Mexico,  PhD defense in November 2008, Mexican COSNET scholarship, from the Instituto Tecnologico Apizaco, co-supervisor Dr. B. Duval, )
  4. Marc-Olivier Buob (R&D Engineer, PhD defense in November 2008, France Telecom R&D research scholarship, from the Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE), former IIE  Paris, co-supervisor Dr. J.J. Lutton, France Telecom R&D)
  5. Alain Chabrier (ODMS Tools and Platforms R&D Director, ILOG, an IBM Company, Madrid, PhD defense in 2003, from the Ecole Polytechnique, Paris)
  6. Daniela Claro (Assistant Professor, Universidade Federal da Bahia, Brasil, co-supervisor Dr. P. Albers, PhD defense in 2006, from Universidade Federal de Santa Catarina, Brazil)
  7. Herve Deleau (Teaching and Research Assistant, PhD defense in 2005, from the Université d'Amiens, co-supervisor Dr. F. Saubion)
  8. Vincent Derrien (Assistant Professor at the Higher Engineering School ESIGELEC, Regional scholarship, graduated from the Université d'Angers, PhD defense in March 2008, co-supervisor Dr. J.M. Richer)
  9. Raphaël Dorne (Senior research scientist at British Telecom's Advanced Communications Technology Centre, Suffolk, U.K., PhD defense in 1998, from the Université de Montpellier II)
  10. Philippe Galinier (Associate Professor at the Ecole Polytechnique de Montreal, Canada, PhD defense in 1999, from the Université de Montpellier II)
  11. Adrien Goeffon (Post-doc at the LaBRI Lab, co-supervisor Dr. J.M. Richer, PhD defense in 2006, from the Université d'Angers)
  12. Valérie Guihaire (R&D Engineer, PhD defense in December 2009, Industrial research grant CIFRE with PERINFO SA, from the Université Catholique de l'Ouest)
  13. Jean-Philippe Hamiez (Assistant Professor at the Université d'Angers, PhD defense in 2002, from the Université d'Amiens)
  14. José Crispin Hernandez Hernandez (Assistant Professor at the Instituto Tecnologico Apizaco, Tlaxcala, Mexico, PhD defense in November 2008, Mexican COSNET scholarship, from the Instituto Tecnologico Apizaco, co-supervisor Dr. B. Duval, )
  15. Frederic Lardeux (Assistant Professor at the Université d'Angers, co-supervisor Dr. F. Saubion, PhD defence in 2005, from the Université d'Angers)
  16. Benoit Laurent (R&D team leader at PERINFO SA, PhD defense in December 2008, Industrial research grant CIFRE with PERINFO SA, from the Université d'Angers)
  17. Hakim Mabed (Assistant Professor at the Université de Franche-comté, co-supervised by Dr. A. Caminada, France Telecom R&D, PhD defense in 2003)
  18. Nicolas Pech-Gourg (Assistant Professor at the Higher Engineering School IMERIR, France, PhD defense in 2002, from the Ecole des Mines d'Alès)
  19. Daniel Porumbel (Regional scholarship, co-supervisor Dr. P. Kuntz, Polytech'Nantes, joint Master of the Polytech'Nantes and the Université "Politehnica" de Bucarest, Romania, PhD defense in Nov. 2009)
  20. Eduardo A. Rodriguez-Tello (Researcher at the Cinvestav Tamaulipas, Mexican CONACyT scholarship, PhD defense in July 2007, from ITESM Cuernavaca, Mexico, in cooperation with Prof. J. Torres-Jimenez)
  21. Michel Vasquez (Director of the LGI2P Lab at the National Higher Engineering School "Ecole des Mines d'Ales", France, PhD defense in 2000, from the Ecole des Mines d'Alèes )
Post-doc

(Wishing to do a post-doc with us? click here)

Mini CV

Jin-Kao Hao holds a full Professor position in the Department of Computer Science of the University of Angers (France) since 1999 and got promoted to a first class Professor position in 2006 by the French National Council of Universities. He is currently the Director of the LERIA Laboratory (Angers Computer Science Lab) and the initial founder of the leading research group "Metaheuristics, Optimization and Applications". Before joining the University of Angers, he has been an Associate Professor at the National Higher Engineering School "Ecole des Mines d'Ales" (EERIE site in Nîmes) and head of the "Constraints and Heuristics" research group until September 1999.

His research focuses on the solution of large-scale combinatorial search problems and on the design of effective heuristic and metaheuristic methods for practical applications. He is known for his contributions to the solution of significant NP-hard problems like graph coloring, bandwidth and linear arrangement minimization, SAT, multidimensional 0-1 knapsack problem, unconstrained quadratic binary problem, constraint satisfaction, and maximum parsimony as well as various applications in the areas of bioinformatics, data mining, telecommunication networks and transportation, among others. 

His work has been featured in top International Conferences (CP, EA, ECAI, EvoBIO&EvoCOP, EMO, GECCO, IEEE CEC, ICTAI, IJCAI, MIC, PPSN) and Journals (Annals of Operations Research, European J. of Operational Research, Evolutionary Computation, Computers & Industrial Engineering, Computers & Operations Research, Discrete Applied Mathematics, Briefings in Bioinformatics, IEEE/ACM Trans. on Computational Biology and Bioinformatics, Genomics Proteomics & Bioinformatics, J. of Combinatorial Optimization, Computational Optimization and Applications, J. of Heuristics, Intl. J. of Metaheuristics, Intl. J. of Mathematics in Operational Research, J. of Mathematical Modelling and Algorithms, Intl J. of Mobile Network Design & Innovation, RAIRO Operations Research, Transportation Research). His published work has been recognized by multiple awards (PATAT-WATT 2007 ITC Competition, 2004 SAT Competition, EvoCOP 2009, MICAI 2006, PPSN 1996) and includes more than one hundred peer-reviewed publications in international journals, book chapters and conference proceedings in the fields of Metaheuristics, Evolutionary Computation, Combinatorial Optimization, Bioinformatics, Constraint Programming and Artificial Intelligence.

He has supervised and worked on several real world applications including business relationship inference in the Internet, antenna positioning and frequency assignment for mobile radio networks, daily photograph scheduling of an earth observation satellite, integrated scheduling of vehicles and drivers, sports league scheduling, timetabling and decision making for marketing investment. He has initiated a number of important R&D projects including an EC funded Esprit project (96-99) and French National Research Network RNRT project (1999-2002). Since 2001, he has been working on "Heuristic Algorithms for Bioinformatics" within the Ouest Genepole, the CER "Post-Genome" and Regional Bioinformatics programs. He is involved in several internatinal collaboration programs, in particular with China, Canada, Mexico, Tunisia and USA.

Dr. Hao has served as an Invited Member of more than one hundred Program Committees of the chief International and National Conferences and serves regularly as a reviewer for some thirty well-established Journals in his research domain. He is on the Editorial Board of three International Journals and participated in the organization of several Conferences and Workshops in addition to co-editing four volumes of Springer LNCS series. In his capacity as a Professor, he has supervised more than twenty defended PhD theses till 2009 and served as an external examiner of more than sixty PhD Examination Boards (in France and abroad).

Jin-Kao Hao was born in Nov. 1961 in China. He graduated in 1982 from the National University of Defense Technology (School of Computer Science) (China). He received a Master degree (Oct. 87) from the National Institute of Applied Sciences (INSA Lyon, France), Ph.D. in Constraint Programming (Feb. 91, suppervised by Prof. Jean-Jacques Chabrier of the University of Burgundy, Dijon, France) and the Professorship Diploma HDR (Habilitation a Diriger des Recherches) (Jan. 98) from the University of Montpellier II (France).


Selected publications since 1995 
(Examples citing our papers can be found from Google Scholar, see also DBLP or Google(CiteSeer) 

Journals, books and refereed conferences

(If you encounter problems to download any paper, you may contact me at mailto: jin-kao.hao[at]univ-angers.fr, replace [at] by @)

  1. Daniel Cosmin Porumbel, Jin-Kao Hao, Pascale Kuntz. An Evolutionary Approach with Diversity Guarantee and Well-Informed Grouping Recombination for Graph Coloring. Computers & Operations Research 37(10): 1822-1832, 2010. Draft (pdfdoi) Elsevier©
  2. Daniel Cosmin Porumbel, Jin-Kao Hao, Pascale Kuntz. A Search Space Cartography for Guiding Graph Coloring Heuristics. Computers & Operations Research 37(4): 769-778, 2010. Draft (pdfdoi) Elsevier©
  3. Zhipeng Lü and Jin-Kao Hao. A Memetic Algorithm for Graph Coloring. European Journal of Operational Research 203(1): 241-250, 2010. Draft (pdfElsevier© (Program Code is HERE, Readme is HERE)
  4. Zhipeng Lü and Jin-Kao Hao. Adaptive Tabu Search for Course Timetabling. European Journal of Operational Research 200(1): 235-244, 2010. Draft (pdfElsevier© 
  5. Fred Glover and Jin-Kao Hao. The Case for Strategic Oscillation. Accepted in July 2009 and to appear in Annals of Operations Research. DOI10.1007/s10479-009-0597-1, Draft (pdf) Springer© 
  6. Zhipeng Lü, Jin-Kao Hao, Fred Glover. Neighborhood Analysis: A Case Study on Curriculum-Based Course Timetabling. Accepted in January 2010 and to appear in Journal of Heuristics. (pdfSpringer©
  7. Fred Glover, Zhipeng Lü, Jin-Kao Hao. Diversification-Driven Tabu Search for Unconstrained Binary Quadratic Problems. Accepted in November 2009 and to appear in 4ORDraft (pdf) Springer© 
  8. Zhipeng Lü, Fred Glover, Jin-Kao Hao. Neighborhood Combination for Unconstrained Binary Quadratic Problems. In S. Voss and M. Caserta (Eds.): MIC-2009 Post-Conference Book. Draft (pdf), Springer© .
  9. Fred Glover and Jin-Kao Hao. Fast 2-flip Move Evaluations for Binary Unconstrained Quadratic Optimization ProblemsAccepted in July 2009 and to appear in International Journal of Metaheuristics, 2009. Draft (pdf), Inderscience Publishers©
  10. Fred Glover and Jin-Kao Hao. Efficient Evaluation for Solving 0-1 Unconstrained Quadratic Optimization Problems. Accepted in May 2009 and to appear in International Journal of Metaheuristics, 2009. Draft (pdf), Inderscience Publishers©
  11. Giglia Gomez Villouta, Jean-Philippe Hamiez, Jin-Kao Hao. Tabu Search with Consistent Neighbourhood for Strip Packing. To appear in C. Fyfe, N. Garcia-Pedrajas, F. Herrera, M. Ali (Eds.): IEA/AIE 2010 Lecture Notes in Computer Science , 2010. (pdf) Springer© 
  12. Valérie Guihaire and Jin-Kao Hao. Improving Timetable Quality in Scheduled Transit Networks. To appear in C. Fyfe, N. Garcia-Pedrajas, F. Herrera, M. Ali (Eds.): IEA/AIE 2010 Lecture Notes in Computer Science , 2010. (pdf) Springer©
  13. Valérie Guihaire and Jin-Kao Hao. Transit Network Timetabling and Vehicle Assignment for Regulating Authorities. Accepted in February 2010 and to appear in Computers & Industrial Engineering Draft (pdfElsevier©
  14. Benoit Laurent and Jin-Kao Hao. Iterated Local Search for the Multiple Depot Vehicle Scheduling Problem. Computers & Industrial Engineering 57(1): 277-286, 2009. Draft (pdf), Elsevier©
  15. Benoit Laurent and Jin-Kao Hao. List Graph Coloring for Multi-depot Vehicle Scheduling. International Journal of Mathematics in Operational Research 1(1-2): 228-245, 2009. Draft (pdf), Inderscience Publishers©
  16. Béatrice Duval and Jin-Kao Hao. Advances in Metaheuristics for Gene Selection and Classification of Microarray Data. Briefings in Bioinformatics 11(1): 127-141, 2010. Draft (pdf), Oxford Journals©
  17. Sami Laroum, Dominique Tessier, Béatrice Duval, Jin-Kao Hao. A Local Search Approach for Transmembrane Segment and Signal Peptide DiscriminationIn C. Pizzuti, M.D. Ritchie, M. Giacobini (Eds.): EvoBIO 2010 Lecture Notes in Computer Science 6023: 134-145, 2010. Draft (pdf) Springer©
  18. Wassim Ayadi, Mourad Elloumi, Jin-Kao Hao. A Biclustering Algorithm based on a Bicluster Enumeration Tree: Application to DNA Microarray Data. BioData Mining 2009, 2:9. Draft (pdf), BioMed Central.
  19. Béatrice Duval, Jin-Kao Hao, José Crispin Hernandez Hernandez. A Memetic Algorithm for Gene Selection and Molecular Classification of Cancer. Proc. of 11th Annual Conference on Genetic and Evolutionary Computation (GECCO-09), pages 201-208, Montreal, Canada, July 2009. ACM Press. (pdf) ACM Press©
  20. Jean-Michel Richer, Adrien Goëffon, Jin-Kao Hao. A Memetic Algorithm for Phylogenetic Reconstruction with Maximum Parsimony. In C. Pizzuti, M.D. Ritchie, and M. Giacobini (Eds.): EvoBIO 2009 Lecture Notes in Computer Science 5483: 164-175, 2009. (pdf) Springer©
  21. Zhipeng Lü and Jin-Kao Hao. A Critical Element-Guided Perturbation Strategy for Iterated Local Search. In C. Cotta and P. Cowling (Eds.): EvoCOP 2009, Lecture Notes in Computer Science 5482: 1–12. 2009. (pdf) Springer©
  22. Jean-Philippe Hamiez, Julien Robet, Jin-Kao Hao. A Tabu Search Algorithm with Direct Representation for Strip Packing. In C. Cotta and P. Cowling (Eds.): EvoCOP 2009, Lecture Notes in Computer Science 5482: 61–72, 2009. (pdf) Springer©
  23. Daniel Cosmin Porumbel, Jin-Kao Hao, Pascale Kuntz. Position-Guided Tabu Search Algorithm for the Graph Coloring Problem. In T. Stuetzle (Ed.), selected papers from Learning and Intelligent OptimizatioN (LION III), Lecture Notes in Computer Science 5851: 148-162, 2009. (pdf) Springer©
  24. Daniel Cosmin Porumbel, Jin-Kao Hao, Pascale Kuntz. Diversity Control and Multi-Parent Recombination for Evolutionary Graph Coloring Algorithms. In C. Cotta and P. Cowling (Eds.): EvoCOP 2009 (Best Paper Nominee), Lecture Notes in Computer Science 5482: 121–132, 2009. (pdf) Springer©.
  25. Matthias Ehrgott, Carlos M. Fonseca, Xavier Gandibleux, Jin-Kao Hao, Marc Sevaux (Eds.): Evolutionary Multi-Criterion Optimization, Proceedings of 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009.
  26. Jean-Philippe Hamiez, Jin-Kao Hao. Using Solution Properties within an Enumerative Search to Solve a Sports League Scheduling Problem. Discrete Applied Mathematics 156(10): 1683-1693, 2008. Draft (pdfElsevier©
  27. Eduardo Rodriguez-Tello, Jin-Kao Hao,  José Torres-Jimenez. An improved Simulated Annealing algorithm for bandwidth minimization. European Journal of Operational Research 185(3): 1319-1335, 2008. Draft (pdf) Elsevier©
  28. Eduardo Rodriguez-Tello, Jin-Kao Hao and José Torres-Jimenez. An effective two-stage simulated annealing algorithm for the Minimum Linear Arrangement problem. Computers & Operations Research 35(10): 3331-3346, 2008. Draft (pdfElsevier©
  29. Valérie Guihaire and Jin-Kao Hao. Transit network design and scheduling: a global review. Transportation Research Part A: Policy and Practice 42: 1251-1273, 2008. Draft (pdf), Elsevier©
  30. Valérie Guihaire and Jin-Kao Hao. Transit network re-timetabling and vehicle scheduling. Communications in Computer and Information Science (CCIS) 14: 135-144, Springer, 2008 (pdf) Springer©
  31. Oliver Bailleux and Jin-Kao Hao, Stochastic search algorithms (in French). In L. Sais (Ed.), "Problem SAT: progresses and challenges", Chapter 5, Draft (pdf), Hermes, 2008. 
  32. Alexandre Caminada, Jin-Kao Hao, Jean-Luc Lutton and Vincent Martin, Telecommunication networks. In G. Finke (Ed.), "Operational Research and Networks", Chapter 7, Wiley, 2008.
  33. Benoit Laurent and Jin-Kao Hao. Simultaneous vehicle and driver scheduling: a case study in a limousine rental company. Computers & Industrial Engineering 53(3): 542-558, 2007. Draft (pdfElsevier©
  34. Adrien Goëffon, Jean-Michel Richer and Jin-Kao Hao, Progressive tree neighborhood applied to the Maximum Parsimony problem. IEEE/ACM Transactions on Computational Biology and Bioinformatics 5(1): 136-145, 2008. Draft (pdf) IEEE CSP©. Software is available HERE.
  35. Edmundo Bonilla Huerta, Béatrice Duval and Jin-Kao Hao, Fuzzy logic for elimination of redundant information of microarray data. Genomics Proteomics & Bioinformatics 6(2): 61-73, June 2008. Draft (pdfElsevier©
  36. Edmundo Bonilla Huerta, Béatrice Duval and Jin-Kao Hao, Gene selection for Microarray data by a LDA-based genetic algorithm. Lecture Notes in Bioinformatics 5265: 252-263, Springer-Verlag, 2008 (pdf) Sprigner©
  37. José Crispin Hernandez Hernandez, Béatrice Duval and Jin-Kao Hao, SVM-based local search for gene selection and classification of Microarray data. Communications in Computer and Information Science (CCIS) 13: 599-598, Springer, 2008 (pdf) Springer©
  38. Zhipeng Lü and Jin-Kao Hao. Solving the course timetabling problem with a hybrid heuristic algorithm. Lecture Notes in Computer Science 5253: 262-273, Springer, 2008, Draft (pdf) Springer©
  39. Benoït Laurent and Jin-Kao Hao, Simultaneous vehicle and crew scheduling for extra urban transports. Lecture Notes in Artificial Intelligence 5027: 466–475, Springer, 2008, Draft (pdf) Springer©
  40. Benoit Laurent and Jin-Kao Hao, A study of neighborhood structures for the multiple depot vehicle scheduling problem. Lecture Notes in Computer Science 4638: 197-201, Springer, 2007 (pdf) Springer© 
  41. Daniel Porumbel, Jin-Kao Hao and Pascale Kuntz, A study of evaluation functions for the graph K-coloring problem. Selected papers from the 8th International Conference on Artificial Evolution (EA-07). Lecture Notes in Computer Science 4926: 124-135, Springer, 2008. (pdf) Springer©
  42. José Crispin Hernandez Hernandez, Béatrice Duval and Jin-Kao Hao. A study of crossover operators for gene selection of microarray data. Selected papers from the 8th International Conference on Artificial Evolution (EA-07). Lecture Notes in Computer Science 4926: 243-254, Springer, 2008. (pdf) Springer©
  43. José Crispin Hernandez Hernandez, Béatrice Duval and Jin-Kao Hao. A genetic embedded approach for gene selection and classification of microarray data. Lecture Notes in Computer Science 4447: 90-101, Springer, 2007. (pdfSpringer©
  44. Jean-Michel Richer, Vincent Derrien, and Jin-Kao Hao. A new dynamic programming algorithm for multiple sequence alignment. Lecture Notes in Computer Science 4616: 52-61, Springer-Verlag, 2007. (pdf) Springer©
  45. Eduardo Rodriguez-Tello, Jin-Kao Hao and José Torres-Jimenez,  A refined evaluation function for the MinLA problem. Lecture Notes in Artificial Intelligence: 4293: 392-403, Springer-Verlag, 2006 (5th Mexican International Conference on Artificial Intelligence, Best paper award, 3rd price), (pdf) Springer©
  46. Jean-Philippe Hamiez and Jin-Kao Hao, Sports league scheduling: enumerative searh for Prob026 from CSPLib. Lecture Notes in Computer Science 4204: 716-720, Springer-Verlag, 2006. (pdf) Springer©
  47. Adrien Goëffon, Jean-Michel Richer and Jin-Kao Hao, A distance-based information preservation tree crossover for the maximum parsimony problem. Lecture Notes in Computer Science 4193: 761-770, Springer-Verlag, 2006. (pdf) Springer©. Software is available HERE.
  48. Edmundo Bonilla Huerta, Béatrice Duval and Jin-Kao Hao, A hybrid GA/SVM approach for gene selection and classification of Microarry data. Lecture Notes in Computer Science 3907: 34-44, Springer-Verlag, 2006. (pdfSpringer©
  49. Benoit Laurent, Valerie Guihaire and Jin-Kao Hao, A heuristic solution for a driver-vehicule scheduling problem. Operations Research Proceedings 2005: 703-708, Springer-Verlag, 2006. (pdf) Springer©
  50. Eduardo Rodriguez-Tello, Jin-Kao Hao and Jose Torres-Jimenez, Memetic algorithms for the MinLA problem. Lecture Notes in Computer Science 3871: 73-84, Springer-Verlag, 2006. (pdf) Springer©
  51. Frédéric Lardeux, Frédéric Saubion and Jin-Kao Hao, GASAT: a genetic local search algorithm for the satisfibility problem. Evolutionary Computation 14(2): 223-253, 2006. (pdf)  MIT Press©
  52. Daniela Claro, Patrick Albers and Jin-Kao Hao, Web services composition. In J. Cardoso, Sheth, Amit (Eds.) "Semantic Web Services, Processes and Applications", Chapter 8, 2006, (pdf)  Springer©
  53. Eduardo Rodriguez-Tello, Jin-Kao Hao and J. Torres-Jimenez, A comparison of memetic recombination operators for the MinLA problem. Lecture Notes in Computer Science 3789: 613-622, Springer-Verlag, 2005. (pdf) Springer©
  54. Adrien Goëffon, Jean-Michel Richer and Jin-Kao Hao, Local search for the maximum parsimony problem. Lecture Notes in Computer Science 3612: 678-683. Springer-Verlag, 2005. (pdf) Springer©
  55. Vincent Derrien, J.M. Richer and Jin-Kao Hao, Plasma, a progressive algorithm for multiple sequence alignment (in French). Proceedings of French Open Days on Biology, Computer Science and Mathematics (JOBIM-05), Lyon, July 6-8 2005. (pdf). To use our Plasma multiple alignment tool, click here.
  56. Frédéric Lardeux, Frédéric Saubion and Jin-Kao Hao, Three truth values for SAT and MAX-SAT problems. Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), pp187-192, Edinburgh, July-August, 2005. (pdf)
  57. Hakim Mabed, Alexandre Caminada and Jin-Kao Hao, Impact of tradeoff between blocking and interference on TDMA cell capacity planning. International Journal of Mobile Network Design and Innovation, (1)1:24-33, 2005. Inderscience Publishers©.
  58. Hervé Deleau, Jin-Kao Hao and Frédéric Saubion, Hybrid strategies for solving constraint satisfaction problems (in French). RAIRO Operational Research 39:87-103, 2005. (pdf) EDP Sciences©.
  59. Jean-Philippe Hamiez and Jin-Kao Hao, A linear-time algorithm to solve the sports league scheduling problem. Discrete Applied Mathematics 143: 252-265, 2004. Draft  (postscript) (pdf) Elsevier©
  60. Philippe Galinier and Jin-Kao Hao, A general approach for constraint solving by local search. Journal of Mathematical Modelling and Algorithms 3(1): 73-88, 2004. Draft. (pdf Springer©
  61. Eduardo Rodriguez-Tello, Jin-Kao Hao, Jose Torres-Jimenez, An improved evaluation function for the bandwidth minimization problem. Lecture Notes in Computer Science 3242: 650-659, Springer-Verlag, 2004. (pdfSpringer©
  62. Vincent Barichard, Hervé Deleau, Jin-Kao Hao, Frédéric Saubion, A hybrid evolutionary algorithm for constraint satisfaction problems. Lecture Notes in Computer Science 2936: 79-90, Springer-Verlag, 2004. (pdfSpringer©
  63. Frédéric Lardeux, Frédéric Saubion and Jin-Kao Hao, Recombination operators for satisfiability problems. Lecture Notes in Computer Science 2936: 103-114, Springer-Verlag, 2004. (pdfSpringer©
  64. Vincent Barichard and Jin-Kao Hao, A population and interval constraint propagation algorithm. Lecture Notes in Computer Science 2632: 88-101, Springer-Verlag, 2003. (postscript) (pdf)
  65. Vincent Barichard and Jin-Kao Hao, Genetic tabu search for the multi-objective knapsack problem. Journal of Tsinghua Science and Technology, 8(1): 8-13, 2003. (postscript) (pdf) Elsevier©
  66. Jin-Kao Hao, Frédéric Lardeux and Frédéric Saubion, Evolutionary computing for the satisfiability problem. Lecture Notes in Computer Science  2611: 258-268, Springer-Verlag, 2003. (postscript) (pdfSpringer©
  67. Michel Vasquez and Jin-Kao Hao, Upper bounds for the SPOT 5 daily photograph scheduling problem. Journal of Combinatorial Optimization 7(1):  87-103,2003. Draft (postscript) (pdf Springer©
  68. Jean-Philippe Hamiez and Jin-Kao Hao, An analysis of solution properties of the graph coloring problem. "Metaheuristics: Computer Decision-Making", Chapter 15, pp325-346, M.G.C. Resende and J.P. de Sousa (Eds.), Kluwer, 2003. (postscript) (pdf). 
  69. Hakim Mabed, Alexandre Caminada and Jin-Kao Hao, Multi-period channel assignment. Lecture Notes in Computer Science 2775: 541-554, Springer-Verlag, 2003. (pdfSpringer©
  70. Nicolas Pech-Gourg, Jin-Kao Hao, Métaheuristiques pour l'optimisation de règles de classification de bouchons naturels en liege. Revue d'Extraction des Connaissances et Apprentissage (ECA), 16(6) : 785-806, Hermès, 2003. (In French)
  71. Hakim Mabed, Alexandre Caminada, Jin-Kao Hao and Denis Renaud, A dynamic traffic model for frequency assignment. Lecture Notes in Computer Science 2439: 779-788, Springer-Verlag, 2002. (pdfSpringer©
  72. Jean-Philippe Hamiez and Jin-Kao Hao, Scatter search for graph coloring. Lecture Notes in Computer Science 2310: 168-179, Springer-Verlag, 2002. (postscript) (pdfSpringer©
  73. Alexandre Caminada, Jin-Kao Hao, Jean-Luc Lutton, Vincent Martin, Réseaux de télécommunications. In G. Finke (Ed.) "Recherche Opérationnelle et Réseaux" traité IGAT, Chapitre 7, pp196-240, Hermès, 2002. (In French)
  74. Mériéma Bélaidouni and Jin-Kao Hao, SAT, local search dynamics and density of states. Leture Notes in Computer Science 2310: 192-204, Springer, 2002. (postscript) (pdfSpringer©
  75. Jean-Philippe Hamiez and Jin-Kao Hao, Solving the sports league scheduling problem with Tabu search. Lecture Notes in Artificial Intelligence 2148: 24-36, Springer-Verlag, 2001. (postscript) (pdf).  Springer©
  76. Michel Vasquez and Jin-Kao Hao, A hybrid approach for the multidimensional 0-1 knapsack problem. Proc. of the 17th Intl. Joint Conference on Artificial Intelligence (IJCAI-01), pages 328-333, Seattle, Washington, USA, August 2001. Morgan Kaufmann Publishers. (postscript) (pdf)
  77. Nicolas Pech-Gourg and Jin-Kao Hao, A genetic algorithm for the classification of natural corks. Proc. of 2001 Genetic and Evolutionary  Computation Conference (GECCO-01), pages 1382-1388, San Francisco, California, July 2001. Morgan Kaufmann Publishers. (postscript) (pdf)
  78. Michel Vasquez and Jin-Kao Hao, A heuristic approach for antenna positioning in cellular networks. Journal of Heuristics. 7(5): 443-472, 2001. (postscript) (pdf Springer©
  79. Michel Vasquez and Jin-Kao Hao, A "logic-constrained" knapsack formulation and a Tabu algorithm for the daily photograph scheduling of an earth observation satellite. Computational Optimization and Applications 20(2): 137-157, 2001. (postscript) (pdf Springer©
  80. Michel Vasquez and Jin-Kao Hao, Une approche hybride pour le problème de sac-à-dos multidimensionnel. RAIRO Operational Research 35(4): 415-438, 2001. (pdfEDP Sciences©
  81. Pierre Collet, Cyril Fonlupt, Jin-Kao Hao, Evelyne Lutton, Marc Schoenauer (Ed.), Lecture Notes in Computer Science 2310, Springer-Verlag, ISBN 3-540-43544-1, 2002. Selected Papers Selected papers from the 5th European Conference on Artificial Evolution (AE-01), Le Creusot, France, Oct. 2001.
  82. Mériéma Bélaidouni and Jin-Kao Hao, Analysis of the configuration space of the maximal constraint satisfaction problem. Lecture Notes in Computer Science 1917: 49-58, Springer-Verlag, 2000 (postscript) (pdf) Springer©
  83. Mériéma Bélaidouni and Jin-Kao Hao, Landscapes of the maximal constraint satisfaction problem. Lecture Notes in Computer Science 1829: 244-255, Springer-Verlag, 2000. (postscript) (pdfSpringer©
  84. Mériéma Bélaidouni and Jin-Kao Hao, A measure of combinational landscape difficulty for the Metropolis algorithm. Artificial Intelligence and Mathematics VI, Fort Lauderdale, Florida, January 2000. (postscript)
  85. Jean-Philippe Hamiez and Jin-Kao Hao, Recherche tabou et planification de rencontres sportives Tabu Search and sports league scheduling. RFIA 2000, Paris, Jan. 2000. (pdf)
  86. Cyril Fonlupt, Jin-Kao Hao, Evelyne Lutton, Edmund Ronald and Marc Schoenauer (Eds.), Selected papers from the 4th European Conference on Artificial Evolution (EA-99), Dunkerque, France, Nov. 2000, Lecture Notes in Computer Science 1829, ISBN-3-540-67846-8, Springer, 349 pages, 2000.
  87. Philippe Galinier and Jin-Kao Hao, Hybrid evolutionary algorithms for graph coloring. Journal of Combinatorial Optimization. 3(4): 379-397, 1999. (Draft version is here postscript or pdf Springer©
  88. Jin-Kao Hao, Philippe Galinier and Michel Habib, Metaheuristiques pour l'optimisation combinatoire et l'affectation sous contraintes. Revue d'Intelligence Artificielle, 13(2): 283-324, 1999. Hermes. (Draft version postscript or pdf)
  89. Raphaël Dorne and Jin-Kao Hao, A new genetic local search algorithm for graph coloring. Lecture Notes in Computer Science 1498: 745-754, Springer-Verlag, Sept. 1998. (Best Paper Nominee, Parallel Problem Solving from Nature - PPSN V, Amsterdam, The Netherlands, Sept, 1998) (postscript) (pdfSpringer©
  90. Jin-Kao Hao, Raphaël Dorne and Philippe Galinier, Tabu search for frequency assignment in mobile radio networks. Journal of Heuristics, 4(1): 47-62, 1998. Draft  (postscript or pdf Springer©
  91. Raphaël Dorne and Jin-Kao Hao, Tabu search for graph coloring, T-colorings and set T-colorings. "Meta-heuristics: Advances and Trends in Local Search Paradigms for Optimization", Chapter 6, pp77-92, S. Voss, S. Martello, I.H. Osman and C. Roucairol (Eds.), Kluwer, 1998. (Draft version is here postscript or pdf)
  92. Philippe Galinier and Jin-Kao Hao, Solving the progressive party problem by local search. "Meta-heuristics: Advances and Trends in Local Search Paradigms for Optimization", Chapter 29, pp418-432, S. Voss, S. Martello, I.H. Osman and C. Roucairol (Eds.), Kluwer, 1998. (Draft version is here postscript or pdf)
  93. Jin-Kao Hao, Evelyne Lutton, Edmund Ronald, Marc Schoenauer and D. Snyers (Eds.), Proc. of European Conference on Artificial Evolution (AE-97), Nimes, Oct. 1997, Lecture Notes in Computer Science 1363, ISBN 3-540-64169-6, Springer-Verlag, 349 pages, February 1998.
  94. Jin-Kao Hao and Jérôme Pannier, Simulated annealing and tabu search for constraint solving. Artificial Intelligence and Mathematics V, Electronic Proceeding http://rutcor.rutgers.edu/~amai/Proceedings.html, January 1998. (postscript) (pdf)
  95. Jin-Kao Hao and Jérôme Pannier, Etude expérimentale de recherche locale pour la résolution de contraintes. 11eme Congres on Reconnaissance des Formes et Intelligence Artificielle, Vol. II, pp97-106, Jan. 1998. (postscript) (pdf)
  96. Philippe Galinier and Jin-Kao Hao, Tabu search for maximal constraint satisfaction problems. Lecture Notes in Computer Science 1330: 196-208, Springer-Verlag, Nov., 1997. (postscript) (pdfSpringer©
  97. Raphaël Dorne and Jin-Kao Hao, Constraint handling in evolutionary search: a case study on frequency assignment. Lecture Notes in Computer Science 1141 : 801-810, Springer-Verlag, Sept. 1996. (postscript) (pdfSpringer©
  98. Jin-Kao Hao and Raphaël Dorne, Empirical studies of heuristic local search for constraint solving. Lecture Notes in Computer Science 1118: 194-208, Springer-Verlag, Aug. 1996. (postscript) (pdfSpringer©
  99. Jin-Kao Hao and Laurent. Tetart, CH-SAT: a complete procedure for satisfiability problems. ECAI'96 Workshop on Advances in Propositional Deduction, pp27-38, Aug. 1996. (postscript) (pdf)
  100. Raphaël Dorne and Jin-Kao Hao, An evolutionary approach for frequency assignment in cellular radio networks. Proc. of IEEE Intl. Conf. on Evolutionary Computation, Perth, Australia, Nov.-Dec. 1995, IEEE Press. pp539-544. (postscript) (pdf)
  101. Jin-Kao Hao and Raphaël Dorne, Study of genetic search for the frequency assignment problem. Lecture Notes in Computer Science 1063: 333-344, Springer-Verlag, Sept. 1995. (postscript) (pdf) Springer©
  102. Jin-Kao Hao, A clausal genetic representation and its related evolutionary procedures for satisfiability problems. Proc. of Intl. Conf. on Artificial Neural Nets & Genetic Algorithms, Springer-Verlag, pp289-292, April 1995. (postscript) (pdfSpringer©
  103. Jin-Kao Hao and Raphaël Dorne, A new population-based method for satisfiability problems. Proc. of 11th European Conf. on Artificial Intelligence (ECAI-94), John Wiley & Sons, pp135-139, Amsterdam, Aug. 1994. (postscript) (pdf)
  104. Jin-Kao Hao and Raphaël Dorne, An empirical comparison of two evolutionary methods for satisfiability problems. Proc. of IEEE Intl. Conf. on Evolutionary Computation, IEEE Press, pp450-455, June-July 1994.

Thesis and tutorial

  1. Jin-Kao Hao, Metaheuristics for combinatorial optimization (slides of a tutorial). April 2001 (English version is here pdf) (French version is here pdf)

  2. Jin-Kao Hao, Metaheuristics for combinatorial optimization and constrained solving (in French). Habilitation thesis (Professorship Diploma), Univerisity of Montpellier II, January 1998.

  3. Jin-Kao Hao, A study of partial evaluation for constraint logic programming (in French). Ph.D thesis, University of Burgundy, February 1991.


Back to: Homepage Beginning, Computer Science Lab. LERIA, Department of Computer Science, Faculty of Sciences, University of Angers, City of Angers, France