Skip to Main content

Journal names

Export Publications

Export the displayed publications:
Number of documents

180

Tentative CV


Journal articles60 documents

  • Younes Bouchiba, Juan Cortés, Thomas Schiex, Sophie Barbe. Molecular flexibility in computational protein design: an algorithmic perspective. Protein Engineering, Design and Selection, Oxford University Press (OUP), 2021, 34, pp.gzab011. ⟨10.1093/protein/gzab011⟩. ⟨hal-03221838⟩
  • Jelena Vucinic, David Simoncini, Manon Ruffini, Sophie Barbe, Thomas Schiex. Positive multistate protein design. Bioinformatics, Oxford University Press (OUP), 2020, ⟨10.1093/bioinformatics/btz497⟩. ⟨hal-02625007⟩
  • Martin Cooper, Simon de Givry, Thomas Schiex. Graphical Models: Queries, Complexity, Algorithms. Leibniz International Proceedings in Informatics , Leibniz-Zentrum für Informatik, 2020, 154, pp.4:1--4:22. ⟨10.4230/LIPIcs.STACS.2020.4⟩. ⟨hal-02547692⟩
  • Antoine Charpentier, David Mignon, Sophie Barbe, Juan Cortés, Thomas Schiex, et al.. Variable Neighborhood Search with Cost Function Networks To Solve Large Computational Protein Design Problems. Journal of Chemical Information and Modeling, American Chemical Society, 2019, 59 (1), pp.127-136. ⟨10.1021/acs.jcim.8b00510⟩. ⟨hal-01943616⟩
  • David Simoncini, Kam y J Zhang, Thomas Schiex, Sophie Barbe. A structural homology approach for computational protein design with flexible backbone. Bioinformatics, Oxford University Press (OUP), 2019, ⟨10.1093/bioinformatics/bty975⟩. ⟨hal-02114756⟩
  • Hiroki Noguchi, Christine Addy, David Simoncini, Staf Wouters, Bram Mylemans, et al.. Computational design of symmetrical eight-bladed β-propeller proteins. International Union of Crystallography journal, International Union of Crystallography 2019, 6 (1), pp.46-55. ⟨10.1107/S205225251801480X⟩. ⟨hal-02154353⟩
  • Nathalie Peyrard, Marie-Josée Cros, Simon de Givry, Alain Franc, Stephane Robin, et al.. Exact or approximate inference in graphical models: why the choice is dictated by the treewidth, and how variable elimination can be exploited. Australian and New Zealand Journal of Statistics, Wiley, 2019, 61 (2), pp.89-133. ⟨10.1111/anzs.12257⟩. ⟨hal-02433018⟩
  • Thomas Schiex. Contraintes, incertitudes et modèles graphiques. Bulletin de l'Association Française pour l'Intelligence Artificielle, AFIA, 2018, pp.40-42. ⟨hal-02617623⟩
  • Clément Viricel, Simon de Givry, Thomas Schiex, Sophie Barbe. Cost function network-based design of protein–protein interactions: predicting changes in binding affinity. Bioinformatics, Oxford University Press (OUP), 2018, 34 (15), pp.2581-2589. ⟨10.1093/bioinformatics/bty092⟩. ⟨hal-02154341⟩
  • Romain Blanc-Mathieu, Laetitia Zurletto, Jean-Marc Aury, Martine da Rocha, Jerome Gouzy, et al.. Hybridization and polyploidy enable genomic plasticity without sex in the most devastating plant-parasitic nematodes. PLoS Genetics, Public Library of Science, 2017, 13 (6), pp.e1006777. ⟨10.1371/journal.pgen.1006777⟩. ⟨hal-01602779⟩
  • Christian Bessière, Simon de Givry, Thomas Schiex, Thi Hông Hiêp Nguyên. Triangle-based consistencies for cost function networks
. Constraints, Springer Verlag, 2017, 22 (2), pp.230-264. ⟨10.1007/s10601-016-9250-1⟩. ⟨lirmm-01374514⟩
  • David Simoncini, Thomas Schiex, Kam Y.J. Zhang. Balancing exploration and exploitation in population-based sampling improves fragment-based de novo protein structure prediction. Proteins, 2017, 85 (5), pp.852-858. ⟨10.1002/prot.25244⟩. ⟨hal-01607119⟩
  • Hélène Badouin, Jerome Gouzy, Christopher Grassa, Florent Murat, S Evan Staton, et al.. The sunflower genome provides insights into oil metabolism, flowering and Asterid evolution. Nature, Nature Publishing Group, 2017, 546 (7656), pp.148-152. ⟨10.1038/nature22380⟩. ⟨hal-01603287⟩
  • Seydou Traore, Kyle E. Roberts, David Allouche, Bruce R. Donald, Isabelle André, et al.. Fast search algorithms for computational protein design. Journal of Computational Chemistry, Wiley, 2016, 37 (12), pp.1048 - 1058. ⟨10.1002/jcc.24290⟩. ⟨hal-01886385⟩
  • Barry Hurley, Barry O'Sullivan, David Allouche, George Katsirelos, Thomas Schiex, et al.. Multi-language evaluation of exact solvers in graphical model discrete optimization. Constraints, Springer Verlag, 2016, 21 (3), pp.413-434. ⟨10.1007/s10601-016-9245-y⟩. ⟨hal-02633083⟩
  • David Allouche, Christian Bessière, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, et al.. Tractability-preserving Transformations of Global Cost Functions. Artificial Intelligence, Elsevier, 2016, 238, pp.166-189. ⟨10.1016/j.artint.2016.06.005⟩. ⟨lirmm-01374533⟩
  • David Simoncini, David Allouche, Simon de Givry, Céline Delmas, Sophie Barbe, et al.. Guaranteed Discrete Energy Optimization on Large Protein Design Problems. Journal of Chemical Theory and Computation, American Chemical Society, 2015, 11 (12), pp.5980 - 5989. ⟨10.1021/acs.jctc.5b00594⟩. ⟨hal-02637306⟩
  • David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, et al.. Computational protein design as an optimization problem. Artificial Intelligence, Elsevier, 2014, 212, pp.59-79. ⟨10.1016/j.artint.2014.03.005⟩. ⟨hal-01268554⟩
  • Erika Sallet, Jerome Gouzy, Thomas Schiex. EuGene-PP: a next generation automated annotation pipeline for prokaryotic genomes.. Bioinformatics, Oxford University Press (OUP), 2014, 30 (18), pp.2659-2661. ⟨10.1093/bioinformatics/btu366⟩. ⟨hal-02632297⟩
  • Erika Sallet, Brice Roux, Laurent Sauviac, Marie-Françoise Jardinaud, Sebastien Carrere, et al.. Next-generation annotation of prokaryotic genomes with EuGene-P: application to Sinorhizobium meliloti 2011. DNA Research, Oxford University Press (OUP), 2013, 20 (4), pp.339-353. ⟨10.1093/dnares/dst014⟩. ⟨hal-02644625⟩
  • Seydou Traore, David Allouche, Isabelle André, Simon de Givry, George Katsirelos, et al.. A new framework for computational protein design through cost function network optimization. Bioinformatics, Oxford University Press (OUP), 2013, 29 (17), pp.2129-2136. ⟨10.1093/bioinformatics/btt374⟩. ⟨hal-01268153⟩
  • Erika Sallet, Brice Roux, Laurent Sauviac, M.-F. Jardinaud, S. Carrere, et al.. Next-Generation Annotation of Prokaryotic Genomes with EuGene-P: Application to Sinorhizobium meliloti 2011. DNA Research, Oxford University Press (OUP), 2013, 20 (4), pp.339-353. ⟨10.1093/dnares/dst014⟩. ⟨hal-03082947⟩
  • Thomas Schiex. Le séquençage du génome humain. Tangente (Paris), 2012, pp.104-109. ⟨hal-02641811⟩
  • Eric Audemard, Thomas Schiex, Thomas Faraut. Detecting long tandem duplications in genomic sequences. BMC Bioinformatics, BioMed Central, 2012, 13, online (may), Non paginé. ⟨10.1186/1471-2105-13-83⟩. ⟨hal-02650334⟩
  • Shusei Sato, Satoshi Tabata, Hideki Hirakawa, Erika Asamizu, Kenta Shirasawa, et al.. The tomato genome sequence provides insights into fleshy fruit evolution. Nature, Nature Publishing Group, 2012, 485 (7400), pp.635-641. ⟨10.1038/nature11119⟩. ⟨hal-02651748⟩
  • Xavier Argout, Jerome Salse, Jean-Marc Aury, Mark J Guiltinan, Gaetan Droc, et al.. The genome of Theobroma cacao.. Nature Genetics, Nature Publishing Group, 2011, 43 (2), pp.101-8. ⟨10.1038/ng.736⟩. ⟨hal-00855922⟩
  • Nevin D. Young, Frederic Debellé, Giles E. D. Oldroyd, Rene Geurts, Steven Cannon, et al.. The Medicago genome provides insight into the evolution of rhizobial symbioses. Nature, Nature Publishing Group, 2011, 480 (7378), pp.520-524. ⟨10.1038/nature10625⟩. ⟨hal-02652790⟩
  • Matthieu Vignes, Jimmy Vandel, David Allouche, Nidal Ramadan-Alban, Christine Cierco-Ayrolles, et al.. Gene regulatory network reconstruction using Bayesian networks, the Dantzig selector, the Lasso and their meta-analysis. PLoS ONE, Public Library of Science, 2011, 6 (12), pp.1-15. ⟨10.1371/journal.pone.0029165⟩. ⟨hal-02649016⟩
  • Pedro Meseguer, Francesca Rossi, Thomas Schiex. Introduction to the special issue on constraint-based approaches to preference modelling and reasoning. Constraints, Springer Verlag, 2010, 15 (4), pp.453-455. ⟨10.1007/s10601-010-9096-x⟩. ⟨hal-02657736⟩
  • Cédric Pralet, Gérard Verfaillie, Thomas Schiex. Le cadre PFU, un modèle et des algorithmes génériques pour la décision séquentielle incluant incertitudes, faisabilités et utilités. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2010, 29 (1), pp.85-114. ⟨10.3166/tsi.29.85-114⟩. ⟨hal-02661485⟩
  • Martin Cooper, Simon de Givry, Marti Sanchez, Thomas Schiex, Matthias Zytnicki, et al.. Soft arc consistency revisited. Artificial Intelligence, Elsevier, 2010, pp.449-478. ⟨10.1016/j.artint.2010.02.001⟩. ⟨hal-02662237⟩
  • Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex. Bounds arc consistency for weighted CSPs. Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2009, 35, pp.593-621. ⟨10.1613/jair.2797⟩. ⟨hal-02668467⟩
  • Thomas Faraut, Simon de Givry, Christophe Hitte, Yvette Lahbib-Mansais, Mireille Morisson, et al.. Contribution of Radiation Hybrids to Genome Mapping in Domestic Animals.. Cytogenetic and Genome Research, Karger, 2009, 126 (1-2), pp.21-33. ⟨10.1159/000245904⟩. ⟨inserm-00442389⟩
  • Jerome Gouzy, Sebastien Carrere, Thomas Schiex. FrameDP: sensitive peptide detection on noisy matured sequences. Bioinformatics, Oxford University Press (OUP), 2009, 25 (5), pp.670-671. ⟨10.1093/bioinformatics/btp024⟩. ⟨hal-02665259⟩
  • Sylvain Foissac, Jerome Gouzy, Stephane Rombauts, Catherine Mathé, Joelle Amselem, et al.. Genome annotation in plants and fungi: EuGène as a model platform. Current Bioinformatics, Benthams Science, 2008, 3 (2), pp.87-97. ⟨hal-02658120⟩
  • Céline Noirot, Christine Gaspin, Thomas Schiex, Jerome Gouzy. LeARN : a platform for detecting, clustering and annotating non-coding RNAs. BMC Bioinformatics, BioMed Central, 2008, 9 (21), pp.1-11. ⟨10.1186/1471-2105-9-21⟩. ⟨hal-02661357⟩
  • Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex. 2006 and 2007 Max-SAT evaluations: contributed instances. Journal on Satisfiability, Boolean Modeling and Computation, IOS Press, 2008, 4, pp.239-250. ⟨hal-02656247⟩
  • Pierre Abad, Jerome Gouzy, Jean-Marc Aury, Philippe Castagnone, Etienne Danchin, et al.. Genome sequence of the metazoan plant-parasitic nematode Meloidogyne incognita. Nature Biotechnology, Nature Publishing Group, 2008, 26 (8), pp.909-915. ⟨10.1038/nbt.1482⟩. ⟨hal-01189285⟩
  • Thomas Faraut, Simon de Givry, Patrick Chabrier, Thomas Derrien, Francis Galibert, et al.. A comparative genome approach to marker ordering. Bioinformatics, Oxford University Press (OUP), 2007, 23 (2), pp.E50-E56. ⟨10.1093/bioinformatics/btl321⟩. ⟨hal-02667668⟩
  • Sebastien Aubourg, Marie-Laure Martin-Magniette, Veronique Brunaud, Ludivine Taconnat, Frederique Bitton, et al.. Analysis of CATMA transcriptome data identifies hundreds of novel functional genes and improves gene models in the Arabidopsis genome. BMC Genomics, BioMed Central, 2007, 8 (401), pp.1-9. ⟨10.1186/1471-2164-8-401⟩. ⟨hal-02668276⟩
  • P. Thébault, S. de Givry, T. Schiex, C. Gaspin. Searching RNA motifs and their intermolecular contacts with constraint networks. Bioinformatics, Oxford University Press (OUP), 2006, 22, pp.2074-2080. ⟨hal-00428036⟩
  • Patricia Thebault, Simon de Givry, Thomas Schiex, Christine Gaspin. Searching RNA motifs and their intermolecular contacts with constraint networks.. Bioinformatics, Oxford University Press (OUP), 2006, 22 (17), pp.2074-80. ⟨10.1093/bioinformatics/btl354⟩. ⟨hal-00355512⟩
  • Simon de Givry, Martin Bouchez, Patrick Chabrier, Denis Milan, Thomas Schiex. CAR(H)(T)AGene: multipopulation integrated genetic and radiation hybrid mapping. Bioinformatics, Oxford University Press (OUP), 2005, 21 (5), pp.1703-1704. ⟨10.1093/bioinformatics/bti222⟩. ⟨hal-02682633⟩
  • Sylvain Foissac, Thomas Schiex. Integrating alternative splicing detection into gene prediction. BMC Bioinformatics, BioMed Central, 2005, 6, Non paginé. ⟨10.1186/1471-2105-6-25⟩. ⟨hal-01417735⟩
  • Olivier Demeure, Christine Renard, Martine Yerle, Thomas Faraut, Juliette Riquet, et al.. Rearranged gene order between pig and human in a QTL region on SSC 7. Mammalian Genome, Springer Verlag, 2003, 14, pp.71-80. ⟨10.1007/s00335-002-3034-1⟩. ⟨hal-02679052⟩
  • Sylvain Foissac, Philippe Bardou, Annick Moisan, Marie-Josee Cros, Thomas Schiex. EUGENE'HOM: a generic similarity-based gene finder using multiple homologous sequences. Nucleic Acids Research, Oxford University Press, 2003, 31 (13), pp.3742-3745. ⟨10.1093/nar/gkg586⟩. ⟨hal-02675508⟩
  • E.P. Journet, D. van Tuinen, J. Gouzy, H. Crespeau, V. Carreau, et al.. Exploring root symbiotic programs in the model legume Medicago truncatula using EST analysis. Nucleic Acids Research, Oxford University Press, 2002, 30, pp.5579-5592. ⟨hal-00427223⟩
  • C. Mathé, T. Schiex, P. Rouzé, P. Blayo, M.-F. Sagot. Gene finding in eukaryotes. incollection, 2002, --, pp.27-43. ⟨hal-00427230⟩
  • C. Mathé, M.-F. Sagot, T. Schiex, P. Rouzé. Current methods of gene prediction their strengths and weaknesses. Nucleic Acids Research, Oxford University Press, 2002, 30, pp.4103-4117. ⟨hal-00427288⟩
  • Etienne-Pascal Journet, Diederik van Tuinen, Jerome Gouzy, Hervé Crespeau, V. Carreau, et al.. Exploring root symbiotic programs in the model legume Medicago truncatula using EST analysis. Nucleic Acids Research, Oxford University Press, 2002, 30 (24), pp.5579-5592. ⟨10.1093/nar/gkf685⟩. ⟨hal-02678310⟩
  • Marcel Salanoubat, S. Genin, François Artiguenave, J. Gouzy, S. Mangenot, et al.. Genome sequence of the plant pathogen Ralstonia solanacearum.. Nature, Nature Publishing Group, 2002, 415 (6871), pp.497-502. ⟨10.1038/415497a⟩. ⟨hal-00427300v2⟩
  • J. Larrosa, P. Meseguer, Thomas Schiex. Maintaining reversible DAC for Max-CSP. Artificial Intelligence, Elsevier, 1999, 107, pp.149-163. ⟨hal-02690806⟩
  • Bertrand Cabon, Simon de Givry, Lionel Lobjois, Thomas Schiex, Joost P. Warners. Radio link frequency assignment. Constraints, Springer Verlag, 1999, 4 (1), pp.79-89. ⟨10.1023/A:1009812409930⟩. ⟨hal-02695373⟩
  • V. Laurent, Eric Wajnberg, Brigitte Mangin, Thomas Schiex, Christine Gaspin, et al.. A composite genetic map of the parasitoid wasp Trichogramma brassicae based on RAPD markers. Genetics, Genetics Society of America, 1998, pp.275-282. ⟨hal-02687913⟩
  • Claudette Cayrol, Marie-Christine Lagasquie-Schiex, T. Schiex. Nonmonotonic Reasoning: from Complexity to Algorithms. Annals of Mathematics and Artificial Intelligence, Springer Verlag, 1998, 22 (3-4), pp.207-236. ⟨10.1023/A:1018939502485⟩. ⟨hal-02908181⟩
  • Thomas Schiex, Hélène Fargier, G. Verfaillie. Problèmes de satisfaction de contraintes valués. Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 1997, 11 (2), pp.339-373. ⟨hal-02689261⟩
  • Hélène Fargier, Jérôme Lang, Roger Martin Clouaire, Thomas Schiex. Traitement de problèmes de décision sous incertitude par des problèmes de satisfaction de contraintes. Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 1997, 11 (2), pp.375-398. ⟨hal-02688777⟩
  • G. Verfaillie, Thomas Schiex. Maintien de solution dans les problèmes dynamiques de satisfaction de contraintes : bilan de quelques approches. Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 1995, 9 (3), pp.269-309. ⟨hal-02703826⟩
  • Thomas Schiex, G. Verfaillie. Nogood recording for static and dynamic constraint satisfaction problems. International Journal on Artificial Intelligence Tools, World Scientific Publishing, 1994, 3 (2), pp.187-207. ⟨hal-02709865⟩
  • M. Cayrol, O. Palmade, Thomas Schiex. A fixed point semantics for the ATMS. Journal of Logic and Computation, Oxford University Press (OUP), 1993, 3 (2), pp.115-130. ⟨hal-02700521⟩

Conference papers92 documents

  • Celine Brouard, Simon de Givry, Thomas Schiex. Pushing Data into CP Models Using Graphical Model Learning and Solving. International Conference on Principles and Practice of Constraint Programming, Sep 2020, Louvain La Neuve, Belgium. ⟨hal-02942378⟩
  • Thomas Schiex, Manon Ruffini, Jelena Vucinic, Sophie Barbe, Georgios Katsirelos, et al.. Guaranteed Diversity & Qualityfor the Weighted CSP. International COnference on Tools with AI, Nov 2019, Portland, United States. ⟨hal-02734772⟩
  • Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, et al.. Guaranteed Diversity & Quality for the Weighted CSP. 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2019, Portland, United States. pp.18-25, ⟨10.1109/ICTAI.2019.00012⟩. ⟨hal-03181764⟩
  • Thomas Schiex. Intelligence Artificielle: entre logique et intuition. Journée Science pour tous, Mar 2019, Castanet-Tolosan, France. ⟨hal-02788712⟩
  • David Simoncini, Sophie Barbe, Thomas Schiex, Sébastien Verel. Fitness Landscape Analysis around the Optimum in Computational Protein Design. Genetic and Evolutionary Computation Conference, Jul 2018, Kyoto, Japan. ⟨hal-01823638⟩
  • David Allouche, Simon de Givry, Georgios Katsirelos, Thomas Schiex, Matthias Zytnicki, et al.. Recent algorithmic advances for combinatorial optimization in graphical models. 23rd International Symposium on Mathematical Programming (ISMP-18), Jul 2018, Bordeaux, France. 80 p. ⟨hal-02785380⟩
  • Thomas Schiex. How Computers Break (Serious) Puzzles with logic and (a different breed of) learning. French Académie des sciences Symposium on « Machine Learning for Artificial Intelligence », Feb 2018, Paris, France. ⟨hal-02786911⟩
  • Thomas Schiex. Designing molecules with cost function networks - Bridging symbolic and numerical AI.. Journées plénières du GDR IA du CNRS, Oct 2018, Paris, France. ⟨hal-02785414⟩
  • Thomas Schiex, Sébastien Verel, David Simoncini, Sophie Barbe. Fitness Landscape Analysis around the Optimum in Computational Protein Design. GECCO 2018 @ Tokyo The Genetic and Evolutionary Computation Conference, Jul 2018, Tokyo, Japan. ⟨hal-02097215⟩
  • Thomas Schiex, Sophie Barbe, David Simoncini, Jelena Vucinic, Manon Ruffini, et al.. Constraint Programming and Graphical models - Pushing data into your models, The protein design case.. 23rd International Symposium on Mathematical Programming (ISMP-18), Jul 2018, Bordeaux, France. ⟨hal-02154354⟩
  • Regis Sabbadin, Nathalie Peyrard, Marie-Josee Cros, Simon de Givry, Alain Franc, et al.. Exact and approximate inference in graphical models. 10th International Conference on Scalable Uncertainty Management (SUM), Oct 2017, Granada, Spain. ⟨hal-02116334⟩
  • Clement Viricel, David Simoncini, Sophie Barbe, Thomas Schiex. Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure. Constraint Programming 2016, Sep 2016, Toulouse, France. ⟨hal-01828389⟩
  • Thomas Schiex. Guaranteed Optimization on Large Protein Design Problems. Séminaire au Baker Lab (Institute for Protein Design), Jul 2016, Seattle, United States. ⟨hal-01603273⟩
  • Thomas Schiex. Optimization in Graphical Models - Connecting NP-complete frameworks. Séminaire Université Catholique de Louvain, Sep 2016, Louvain, Belgium. ⟨hal-01603551⟩
  • Thomas Schiex. Optimization in Graphical Models - NP-complete optimization and its applications. Assemblée générale de l'Association Française d'Intelligence Artificielle, Oct 2016, Paris, France. ⟨hal-02794159⟩
  • Thomas Schiex. Guaranteed energetic optimization, exploration and counting of sequence-conformation in Computational Protein Design. 4th Prague Protein Spring Meeting 2016, May 2016, Prague, Czech Republic. ⟨hal-01603552⟩
  • Clément Viricel, David Simoncini, Sophie Barbe, Thomas Schiex. Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure. CP16 - 22nd International Conference on the Principles and Practice of Constraint Programming, Sep 2016, Toulouse, France. pp.18, ⟨10.1007/978-3-319-44953-1_46⟩. ⟨hal-01606791⟩
  • Thomas Schiex. Removing Ded Ends in (re)search - Emeritate of Marc de Maeyer. Eméritat de Marc de Maeyer, Sep 2016, Leuven, Belgium. ⟨hal-01603888⟩
  • David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki. Anytime hybrid best-first search with tree decomposition for weighted CSP. CP 2015 - 21st International Conference on Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. 17 p., ⟨10.1007/978-3-319-23219-5_2⟩. ⟨hal-01198361⟩
  • Clément Viricel, David Simoncini, David Allouche, Simon de Givry, Sophie Barbe, et al.. Approximate counting with deterministic guarantees for affinity computation. 3. International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences - MCO 2015, Université de Lorraine (UL). FRA., May 2015, Metz, France. 500 p., ⟨10.1007/978-3-319-18167-7_15⟩. ⟨hal-01269259⟩
  • Thomas Schiex, Seydou Traoré, David Simoncini, Sophie Barbe, Simon de Givry, et al.. Computational Enzyme Design through deterministic optimization and counting. 3DSig Structural Bioinformatics and Computational Biophysics 2015, Jul 2015, Dublin, Ireland. ⟨hal-01605405⟩
  • Thomas Schiex. Computational protein design as an optimization problem. BAI 2015 : Advance in Bioinformatics and Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. ⟨hal-01603297⟩
  • Thomas Schiex. Optimization in Graphical Models. 34e Journée Francilienne de Recherche Opérationnelle (JFRO), Sep 2015, Paris, France. ⟨hal-01602147⟩
  • Thomas Schiex. Optimization in Graphical Models. 27th IEEE International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul Mare, Italy. ⟨hal-01602150⟩
  • Thomas Schiex. Computational Design as an Optimization Problem. Séminaire INRIA-IRISA, May 2015, Rennes, France. ⟨hal-01602148⟩
  • David Allouche, Simon de Givry, Barry Hurley, George Katsirelos, Barry O'Sullivan, et al.. Une comparaison de logiciels d'optimisation sur une large collection de modèles graphiques. JFPC 2014 - Dixièmes Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France. 10 p. ⟨hal-01198360⟩
  • Simon de Givry, Barry Hurley, David Allouche, Georgios Katsirelos, Barry O'Sullivan, et al.. An experimental evaluation of CP/AI/OR solvers for optimization in graphical models. Congrès ROADEF'2014, Feb 2014, Bordeaux, France. 1 p. ⟨hal-02742905⟩
  • Thi Hông Hiêp Nguyên, Simon de Givry, Thomas Schiex, Christian Bessière. Maintaining Virtual Arc Consistency Dynamically During Search. 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2014, Limassol, Cyprus. ⟨hal-02743901⟩
  • Simon de Givry, Barry Hurley, David Allouche, George Katsirelos, Thomas Schiex, et al.. An Experimental Evaluation of CP/AI/OR Solvers for Optimization in Graphical Models. ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France. ⟨hal-00946323⟩
  • Nicolas Briot, Annie Chateau, Remi Coletta, Simon de Givry, Philippe Leleux, et al.. An integer linear programming approach for genome scaffolding. WCB: Workshop on Constraint-Based Methods for Bioinformatics, Sep 2014, Lyon, France. 16 p. ⟨hal-01198359⟩
  • Simon de Givry, Thomas Schiex, Christian Bessière, Thi Hông Hiêp Nguyên. Maintaining Virtual Arc Consistency Dynamically during Search. ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus. pp.8-15, ⟨10.1109/ICTAI.2014.13⟩. ⟨lirmm-01228369⟩
  • Thomas Schiex, David Allouche, Simon de Givry, George Katsirelos, Sophie Barbe, et al.. Computational protein design as a cost function network optimization problem. Séminaire MOGISA du LAAS/CNRS, Centre National de la Recherche Scientifique (CNRS). FRA., Jun 2013, Toulouse, France. ⟨hal-01268632⟩
  • Thomas Schiex, Christian Bessière, Thi Hông Hiêp Nguyên. Cohérence d'arc virtuelle dynamique. 9èmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix-en-Provence, France. pp.249-258. ⟨lirmm-00830411⟩
  • Thi Hông Hiêp Nguyên, Thomas Schiex, Christian Bessière. Dynamic virtual arc consistency. 28th Annual ACM Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.6, ⟨10.1145/2480362.2480384⟩. ⟨hal-02745649⟩
  • Seydou Traore, David Allouche, Isabelle André, Simon de Givry, George Katsirelos, et al.. A new framework for computational protein design through cost function network optimization. JOBIM 2013 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Société Française de Bio-Informatique (SFBI). FRA., Jul 2013, Toulouse, France. 2 p. ⟨hal-01268555⟩
  • Christian Bessière, Thomas Schiex, Thi Hông Hiêp Nguyên. Dynamic Virtual Arc Consistency. SAC: Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.098-103. ⟨lirmm-00830307⟩
  • Thi Hông Hiêp Nguyên, Christian Bessière, Thomas Schiex. Cohérence d'arc virtuelle dynamique. JFPC 2013 - Neuvièmes Journées Francophones de Programmation par Contraintes, Association Française pour la Programmation par Contraintes (AFPC). FRA., Jun 2013, Aix-en -Provence, France. ⟨hal-02749182⟩
  • Erika Sallet, Jerome Gouzy, Brice Roux, Delphine Capela, Laurent Sauviac, et al.. From hosts to symbionts: integrated gene prediction for prokaryotic genomes using EuGene. XX. PAG Plant & Animal Genome, Jan 2012, San-Diego, United States. ⟨hal-02807348⟩
  • Frederic Debellé, C. Belser, J.M. Aury, K. Labadie, Brice Roux, et al.. Genomic resources for functional analysis in Medicago truncatula and related crop species. 6. International Conference on Legume Genetics and Genomics, International Crops Research Institute for the Semi-Arid Tropics, CGIAR (ICRISAT). Patancheru, IND., Oct 2012, Hyderabad, India. ⟨hal-02747944⟩
  • David Allouche, Christian Bessière, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, et al.. Filtering Decomposable Global Cost Functions. AAAI Conference on Artificial Intelligence, Jul 2012, Toronto, ON, Canada. ⟨lirmm-00748187⟩
  • David Allouche, Christian Bessière, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, et al.. Filtrage de fonctions de coût globales décomposables. 8èmes Journées Francophones de Programmation par Contraintes (JFPC 2012), May 2012, Toulouse, France. ⟨hal-00809789⟩
  • David Allouche, Christian Bessière, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, et al.. Filtering decomposable global cost functions. Twenty-Sixth Conference on Artificial Intelligence, Jul 2012, Toronto, Canada. pp.7. ⟨hal-02747813⟩
  • David Allouche, Christian Bessière, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, et al.. Filtrage de fonctions de coût globales décomposables. Huitièmes Journées Francophones de Programmation par Contraintes (JFPC), Association Française de Programmation par Contraintes (AFPC). FRA., May 2012, Toulouse, France. pp.358. ⟨hal-02747133⟩
  • David Allouche, Aurélie Favier, Mathieu Fontaine, Simon de Givry, Jean-Philippe Metivier, et al.. Combining exact WCSP techniques and VNS search for solving MPE. Conference on Uncertainty in Artificial Intelligence (UAI'12), Aug 2012, Catalina Island, United States. ⟨hal-01022649⟩
  • David Allouche, Seydou Traore, Isabelle André, Simon de Givry, George Katsirelos, et al.. Computational protein design as a cost function network optimization problem. CP 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec, Canada. pp.10, ⟨10.1007/978-3-642-33558-7_60⟩. ⟨hal-01191320⟩
  • Christian Bessière, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudini, et al.. Decomposing global cost functions. 11th Workshop on Preferences and Soft Contraints (Soft), Labo/service de l'auteur, Ville service, Pays service., Sep 2011, Perugia, Italy. ⟨hal-02747863⟩
  • Frederic Debellé, Marion Verdenaud, Anne-Marie Dudez, Nicolas Samson, Olivier Saurat, et al.. Development of genomic resources for Medicago truncatula and related legume crops. Model Legume Congress 2011, Institut National Polytechnique (Toulouse) (Toulouse INP). Castanet Tolosan, FRA., May 2011, Sainte Maxime, France. ⟨hal-02746654⟩
  • Christian Bessière, Patrice Boizumault, Simon de Givry, Patricia Guttiriez, Samir Loudni, et al.. Decomposing Global Cost Functions. 11th Workshop on Preferences and Soft Constraints (Soft'11) in 17th Int. Conf. on Principles and Practice of Constraint Programming, Sep 2011, Perugia, Italy. pp.16-30. ⟨hal-01017977⟩
  • Erika Sallet, Jerome Gouzy, Brice Roux, Delphine Capela, Laurent Sauviac, et al.. Integrated gene prediction for prokaryotic genomes using EuGene. JOBIM 2011 - 12e édition du Colloque - Journées Ouvertes en Biologie, Informatique et Mathématiques, Labo/service de l'auteur, Ville service, Pays service., Jun 2011, Paris, France. ⟨hal-02748784⟩
  • Aurélie Favier, Simon de Givry, Andres Legarra, Thomas Schiex. Pairwise decomposition for combinatorial optimization in graphical models. IJCAI 2011 - Twenty-second International Joint Conference on Artificial Intelligence, Labo/service de l'auteur, Ville service, Pays service., 2011, Barcelona, Spain. ⟨hal-02744861⟩
  • Aurélie Favier, Simon de Givry, Andres Legarra, Thomas Schiex. Décomposition par paire pour l'optimisation combinatoire dans les modèles graphiques. JFPC 2011 - Septièmes Journées Francophones de Programmation par Contraintes, Labo/service de l'auteur, Ville service, Pays service., 2011, Lyon, France. ⟨hal-02744726⟩
  • Thomas Schiex. An introduction to valued constraint satisfaction. Workshop on Optimization in Markov Random Fields, Sep 2010, Koncha-Zaspa, Ukraine. 78 p. ⟨hal-02812930⟩
  • David Allouche, Simon de Givry, Thomas Schiex. Towards parallel non serial dynamic programming for solving hard weighted CSP. 16th Annual International Conference on the Principles and Practice of Constraint Programming, Sep 2010, St. Andrews, Scotland, United Kingdom. pp.8, ⟨10.1007/978-3-642-15396-9_7⟩. ⟨hal-02753702⟩
  • David Allouche, Simon de Givry, Thomas Schiex. Sélection de tagSNP: une approche PLNE. Congrès ROADEF'2010, Feb 2010, Toulouse, France. pp.2. ⟨hal-02812620⟩
  • Eric Audemard, Thomas Faraut, Thomas Schiex. Détection de régions génomiques homologues par un algorithme de flots avec coûts. Congrès ROADEF'2010, Société Française de Recherche Opérationnelle et d'Aide à la Décision (SFROAD). FRA., Feb 2010, Toulouse, France. 2 p. ⟨hal-02752130⟩
  • Rina Dechter, Radu Marinescu, Thomas Schiex, Simon de Givry. Combinatorial optimization for graphical models. IJCAI 2009 - International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, United States. 196 p. ⟨hal-02820716⟩
  • M. Sanchez, David Allouche, Simon de Givry, Thomas Schiex. Algorithme des Poupées Russes exploitant une décomposition arborescente. Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.15-25. ⟨hal-00387845⟩
  • David Allouche, Thomas Schiex, Simon de Givry, Martin Sanchez. TagSNP selection using weighted CSP and russian doll search with tree decomposition. CP-09 workshop on Constraint Based Methods for Bioinformatics, Sep 2009, Lisbonne, Portugal. pp.9. ⟨hal-02813239⟩
  • Marti Sanchez, David Allouche, Simon de Givry, Thomas Schiex. Russian doll search with tree decomposition. 21st International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, United States. pp.6. ⟨hal-02755904⟩
  • Martin Cooper, Simon de Givry, Marti Sanchez, Thomas Schiex, Matthias Zytnicki. Virtual arc consistency for weighted CSP. Twenty-third AAAI Conference on Artificial Intelligence, Jul 2008, Chicago, United States. pp.6. ⟨hal-02752851⟩
  • Martin Cooper, Simon de Givry, Marti Sanchez, Thomas Schiex, Matthias Zytnicki. Cohérence d'arc virtuelle pour les CSP pondérés. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.237-246. ⟨inria-00292640⟩
  • Martin Cooper, Simon de Givry, Thomas Schiex. Optimal soft arc consistency. 20th International Joint Conference on Artificial Intelligence - IJCAI 2007, Jan 2007, Hyderabad, India. pp.6. ⟨hal-02754114⟩
  • Simon de Givry, Zulma Vitezica, Isabelle Palhière, Thomas Schiex. Mendelsoft: Mendelian error detection in complex pedigree using weighted constraint satisfaction techniques.. 8. World Congress on Genetics Applied to Livestock Production, 2006, Belo Horizonte, Brazil. ⟨hal-02813118⟩
  • Simon de Givry, Thomas Schiex, Gerard Verfaillie. Exploiting tree decomposition and soft local consistency in weighted CSP. Twenty-first National Conference on Artificial Intelligence - AAAI 2006, Jul 2006, Boston, United States. 1115 p. ⟨hal-02755023⟩
  • Simon de Givry, Thomas Schiex, Gérard Verfaillie. Décomposition arborescente et cohérence locale souple dans les CSP pondérés. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, France. ⟨inria-00085804⟩
  • Christine Gaspin, Simon de Givry, Thomas Schiex, Patricia Thebault, Matthias Zytnicki. A new local consistency for weighted CSP applied to ncRNA detection.. Workshop on Constraint Based Methods for Bioinformatics October 5, 2005, Sitges (Spain), May 2005, Sitges, Spain. ⟨hal-00362190⟩
  • Cédric Pralet, Gerard Verfaillie, Thomas Schiex. Requêtes complexes sur des réseaux de Croyance-Faisabilité-Désir. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.129-138. ⟨inria-00000053⟩
  • Simon de Givry, Isabelle Palhiere, Z. Vitezica, Thomas Schiex. Mendelian error detection in complex pedigree using weighted constraint satisfaction techniques. Workshop on constraint based methods for bioinformatics, Oct 2005, Sitges, Spain. ⟨hal-02760634⟩
  • Patricia Thebault, Simon de Givry, Thomas Schiex, Christine Gaspin. Combining constraint processing and pattern matching to describe and locate structured motifs in genomic sequences.. Fifth IJCAI-05 Workshop on Modelling and Solving Problems with Constraints, Edindurgh, Scotland, 2005., 2005, Edimbourg, United Kingdom. 8p. ⟨hal-00362194⟩
  • Patricia Thebault, Simon de Givry, Thomas Schiex, Christine Gaspin. Combining constraint processing and pattern matching to describe and locate structured motifs in genomic sequences.. Fifth IJCAI-05 Workshop on Modelling and Solving Problems with Constraints, Edindurgh, Scotland, 2005., 2005, United Kingdom. ⟨hal-00362194⟩
  • Denis Milan, Thomas Schiex, Martine Yerle, A. Rink, C. Beattie, et al.. Integration of genetic and radiation hybrid maps of the pig: The second generation IMpRH maps. Plant and Animal Genome Conference XII, 2004. ⟨hal-02829410⟩
  • Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex. Solving Max-SAT as weighted CSP. 9th International Conference on Principles and Practice of Constraint Programming - CP2003, Sep 2003, Kinsale, Ireland. pp.14, ⟨10.1007/978-3-540-45193-8_25⟩. ⟨hal-02763945⟩
  • Thomas Schiex. Cohérence d'arc pour contraintes molles. Journées Nationales pour la Résolution Pratique des Problèmes, 2000, Marseille, France. ⟨hal-02765509⟩
  • Thomas Schiex, A. Moisan, L. Duret, Pierre Rouzé. EuGene an eurocaryotic gene finder that combines several sources of evidence. Journées ouvertes biologie informatique mathématiques, May 2000, Montpellier, France. ⟨hal-02770502⟩
  • Christine Gaspin, Thomas Schiex. Genetic algorithms for genetic mapping. 3. Conference on Evolutionary Algorithms, 1997, Nîmes, France. ⟨hal-02765613⟩
  • C. da Costa Pereira, F. Garcia, Roger Martin Clouaire, Sidy Ndiaye, Thomas Schiex. Décision et représentation des connaissances. 6. Journées Nationales du PRC-GDR Intelligence Artificielle Pôle de Recherches Coordonnées-Groupe de Recherche Intelligence Artificielle, Mar 1997, Grenoble, France. ⟨hal-02769900⟩
  • Thomas Schiex, Christine Gaspin. CARTHAGENE : Constructing and joining maximum likelihood genetic maps. Intelligent Systems in Molecular Biology, Jun 1997, Halkidiki, Greece. ⟨hal-02765754⟩
  • Simon de Givry, G. Verfaillie, Thomas Schiex. Bounding the optimum of constraint optimization problems. International Conference on Principles and Practice of Constraint Programming, 1997, Schloss Hagenberg, Austria. ⟨hal-02768589⟩
  • G. Verfaillie, M. Lemaitre, Thomas Schiex. Russian doll search for solving constraint optimization problems. National American Conference on Artificial Intelligence, 1996, Portland, United States. ⟨hal-02766400⟩
  • Thomas Schiex, J.C. Régin, Christine Gaspin, G. Verfaillie. Lazy arc consistency. National American Conference on Artificial Intelligent, 1996, Portland, United States. ⟨hal-02771457⟩
  • Hélène Fargier, Jérôme Lang, Thomas Schiex. mixed constraint satisfaction : a framework for decision problems under incomplete knowledge. National American Conference on Artificial Intelligence, 1996, Portland, United States. ⟨hal-02770543⟩
  • Claudette Cayrol, M.C. Lagasquie-Schiex, Thomas Schiex. Non-monotonic reasoning: from complexity to algorithms. International Symposium an Artificial Intelligence and Mathematics, 1996, Lauderdale, United States. ⟨hal-02769766⟩
  • Thomas Schiex, Hélène Fargier, G. Verfaillie. Valued constraint satisfaction problems : hard and easy problems. 14. International joint conference on artificial intelligence, 1995, Montreal, Canada. ⟨hal-02778456⟩
  • Hélène Fargier, Jérôme Lang, Roger Martin Clouaire, Thomas Schiex. A constraint satisfaction framework for decision under uncertainty. 11. International conference, 1995, Montreal, Canada. ⟨hal-02774878⟩
  • G. Verfaillie, Thomas Schiex. Solution reuse in dynamic constraint satisfaction problems. American Association for Artificial Intelligence (AAAI), 1994, Seattle, United States. ⟨hal-02775349⟩
  • Thomas Schiex, G. Verfaillie. Stubbornness : a possible enhancement for backjumping and nogood recording. 11. European Conference on Artificial Intelligence, 1994, Toulouse, France. ⟨hal-02774709⟩
  • Christine Gaspin, Jean-Pierre Rellier, Roger Martin Clouaire, Thomas Schiex. Autour du problème de satisfaction de contraintes. 5e Journées nationales du PRC GDR intelligence artificielle, Nov 1994, Paris, France. ⟨hal-02774000⟩
  • F. Dupin de Saint-Cyr, Jérôme Lang, Thomas Schiex. Gestion de l'inconsistance dans les bases de connaissances : une approche syntaxique basée sur la logique des pénalités. Reconnaissance des Formes et Intelligence Artificielle, 1994, Toulouse, France. ⟨hal-02778823⟩
  • Thomas Schiex, G. Verfaillie. Nogood recording for static and dynamic constraint satisfaction problems. 5. International Conference on Tools with Artificial Intelligence, 1993, Boston, United States. ⟨hal-02847674⟩
  • Hélène Fargier, Roger Martin Clouaire, Thomas Schiex. Satisfaction de contraintes souples. 2. Journees Nationales, Nov 1992, Nimes, France. ⟨hal-02774966⟩
  • Thomas Schiex. Possibilistic constraint satisfaction problems or "How to handle soft constraints ?". 8. Conference of Uncertainty in Artificial Intelligence, Jul 1992, Stanford, United States. ⟨hal-02773457⟩
  • G. Bel, E. Bensana, K. Ghedira, D. Lesaint, Thomas Schiex, et al.. Représentation et traitement pratique de la flexibilité dans les problèmes sous contraintes. Journées du PRC-IA Pôle de Recherches Coordonnées-Intelligence Artificielle, Nov 1992, Marseille, France. ⟨hal-02778063⟩

Poster communications5 documents

  • Gleb Novikov, Jelena Vucinic, Cedric Montanier, Thomas Schiex, Claire Dumon, et al.. Computational strategy for protein design based on structure-dynamics-activity relationship insights: GH11Xylanases as a casestudy. 13. Carbohydrate Bioengineering Meeting, May 2019, Toulouse, France. ⟨hal-02928929⟩
  • David Allouche, Antoine Charpentier, Thomas Schiex, Thomas Simonson. Variable Neighborhood Search with Cost Function Networks to Solve Large Computational Protein Design Problems: we explored various mutator for improving VNS robustness for the protein design . But the method is generic and can be used very likely in various context of molecular modelling if energy table can be precomputed. Rencontre des Chimistes Théoriciens Francophones, Oct 2018, Toulouse, France. 2018. ⟨hal-02733727⟩
  • Ludovic Mallet, Claire Hoede, Franck Cerruti, Annick Moisan, Christine Gaspin, et al.. Host tropism and host-pathogen interplay of typhoidal Salmonella enterica. JOBIM 2017 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Jul 2017, Lille, France. 2017, Journées Ouvertes en Biologie, Informatique et Mathématiques. JOBIM 2017. ⟨hal-01603254⟩
  • Marco Bink, Thomas Schiex. EU COST Action TD0801: statistical challenges on the 1000 euro genome sequences in plants. SeqAhead Scientific Meeting (COST Action BM1006), Nov 2011, Bruxelles, Belgium. EMBnet journal, 17 (Suppl. B), 2012, Proceedings SeqAhead Scientific Meeting (COST Action BM1006). ⟨10.14806/ej.17.B.280⟩. ⟨hal-02747129⟩
  • Simon de Givry, M. Sanchez, Zulma Vitezica, Isabelle Palhière, Thomas Schiex. MENDELSOFT : Mendelian error detection in complex pedigree using weighted constraint satisfaction techniques.. GénoToul 2006, Nov 2006, Toulouse, France. 2006, GénoToul 2006, Bioinformatique, Recueil des Posters. ⟨hal-02750733⟩

Books2 documents

  • Cédric Pralet, Thomas Schiex, Gérard Verfaillie. Sequential decision-making problems : representation and solution. ISTE Ltd, 384 p., 2010, 978-1-84821-174-2. ⟨hal-02818397⟩
  • Thomas Schiex, G. Verfaillie. Quelques expérimentations sur des problèmes de satisfaction de contraintes académiques et réels. 9 p., 1997. ⟨hal-02837978⟩

Book sections11 documents

  • Martin Cooper, Simon de Givry, Thomas Schiex. Valued Constraint Satisfaction Problems. A Guided Tour of Artificial Intelligence Research, Springer International Publishing, 2020, ⟨10.1007/978-3-030-06167-8⟩. ⟨hal-02942366⟩
  • Erika Sallet, Thomas Schiex, Jerome Gouzy. EuGene: An Automated Integrative Gene Finder for Eukaryotes and Prokaryotes. Gene Prediction : Methods and Protocols, Humana Press INC., Springer Science, 2019, Methods in Molecular Biology, 978-1-4939-9173-0. ⟨10.1007/978-1-4939-9173-0_6⟩. ⟨hal-02790731⟩
  • David Allouche, Sophie Barbe, Simon de Givry, George Katsirelos, Yahia Lebbah, et al.. Cost Function Networks to Solve Large Computational Protein Design Problems. Malek Masmoudi, Bassem Jarboui, Patrick Siarry. Operations Research and Simulation in healthcare, Springer, In press. ⟨hal-02177634⟩
  • Seydou Traore, David Allouche, Isabelle André, Thomas Schiex, Sophie Barbe. Deterministic search methods for computational protein design. Computational Protein Design, Editions Springer, 2017, Methods in Molecular Biology, 978-1-4939-6635-6. ⟨10.1007/978-1-4939-6637-0_4⟩. ⟨hal-01605191⟩
  • François Coste, Claire Nédellec, Thomas Schiex, Jean-Philippe Vert. Bioinformatique. Panorama de l'Intelligence Artificielle : Vol 3 : L'intelligence artificielle : frontières et applications, 3, Cepadues Editions, 374 p., 2014, 9782364930438. ⟨hal-02795516⟩
  • François Coste, Claire Nédellec, Thomas Schiex, Jean-Philippe Vert. Bioinformatique. Pierre Marquis and Odile Papini and Henri Prade. Panorama de l'intelligence artificielle Ses bases méthodologiques, ses développements, 3, Cépaduès, 2014. ⟨hal-00857379⟩
  • Thomas Schiex, Simon de Givry, Martin Cooper. Réseaux de contraintes valués. Panorama de l'intelligence artificielle : Vol 2 : Algorithmes pour l'intelligence artificielle, Cepaduès Editions, 364 p., 2014, 9782364930421. ⟨hal-02795963⟩
  • David Allouche, Christine Cierco-Ayrolles, Simon de Givry, Gérald Guillermin, Brigitte Mangin, et al.. A panel of learning methods for the reconstruction of gene regulatory networks in a systems genetics. Gene network inference, verification of methods for systems genetics data, Editions Springer, 130 p., 2013, 978-3-642-45161-4. ⟨10.1007/978-3-642-45161-4⟩. ⟨hal-02808635⟩
  • Marti Sanchez, Simon de Givry, Thomas Schiex. Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. Artificial Intelligence Research and Development, 163, IOS Press, pp.22, 2007, Frontiers in Artificial Intelligence and Applications, 978-1-60750-285-2 978-1-58603-798-7. ⟨hal-02814634⟩
  • C. Mathé, T. Schiex, Pierre Rouzé, Philippe Blayo, Marie-France Sagot. Gene finding in eukaryotes. Lu Q., Weiner M. Cloning and expression technologies, Eaton Publishing, pp.27-43, 2002. ⟨hal-00620804⟩
  • S. Bistarelli, Hélène Fargier, U. Montanari, Francoise Rossi, Thomas Schiex, et al.. Semiring-based CSPs and valued CSPs: basic properties and comparison. Over-Constrained Systems, INRA Editions, 1996. ⟨hal-02838379⟩

Directions of work or proceedings4 documents

  • Thomas Schiex, Simon de Givry. Principles and Practice of Constraint Programming. 25th International Conference, CP 2019. Principles and Practice of Constraint Programming, 25th International Conference. CP2019, Sep 2019, Stamford, United States. LNCS 11802, Springer International Publishing, pp.XXVI, 788, 2019, ⟨10.1007/978-3-030-30048-7⟩. ⟨hal-02788463⟩
  • Thomas Schiex. An overview of valued CSP and related results. 4. European Congress on Fuzzy and Intelligent Technologies, 1997, Aachen, Germany. n.p., 1997. ⟨hal-02838463⟩
  • G. Verfaillie, Thomas Schiex. Solution and reasoning reuse in space planning and scheduling applications. 3. International Symposium on Artificial Intelligence, Robotics and Automatics for Space, 1994, Pasadena, United States. n.p., 1994. ⟨hal-02847227⟩
  • F. Dupin de Saint-Cyr, Jérôme Lang, Thomas Schiex. Penalty logic and its link with Dempster-Shafer theory. 10. International Conference on Uncertainty in AI Artificial Intelligence, Jul 1994, Washington, United States. n.p., 1994. ⟨hal-02845574⟩

Other publications3 documents

  • . République Française, Thomas Schiex. Rapport de synthèse France IA. 2017, 350 p. ⟨hal-02785723⟩
  • - République Française, Thomas Schiex. Conclusion complétes des groupes de travail France IA. 2017, 350 p. ⟨hal-02785477⟩
  • P. Esquirol, P. Lopez, Hélène Fargier, Thomas Schiex. Constraint programming. 1995. ⟨hal-02850710⟩

Preprints, Working Papers, ...1 document

  • Nathalie Dubois Peyrard, Simon de Givry, Alain Franc, Stephane Robin, Regis Sabbadin, et al.. Exact and approximate inference in graphical models: variable elimination and beyond. 2015. ⟨hal-01197655⟩

Reports1 document

  • Claudette Cayrol, M.C. Lagasquie-Schiex, Thomas Schiex. Non-monotonic reasoning: from complexity to algorithms. Rapport IRIT--96.07R, IRIT - Institut de recherche en informatique de Toulouse; Toulouse 3 Paul Sabatier. 1996. ⟨hal-02842327⟩

Lectures1 document

  • Thomas Schiex. Algorithms for Computational Protein Design. 3rd cycle. International Winter School on “Algorithms in Structural Bioinformatics – Computational Protein Design" (Algorithms for Computational Protein Design), 2017. ⟨hal-02786907⟩