| 2009 | ||
|---|---|---|
| 52 | Martí Sánchez, David Allouche, Simon de Givry, Thomas Schiex: Russian Doll Search with Tree Decomposition. IJCAI 2009: 603-608 | |
| 51 | Jérôme Gouzy, Sébastien Carrère, Thomas Schiex: FrameDP: sensitive peptide detection on noisy matured sequences. Bioinformatics 25(5): 670-671 (2009) | |
| 2008 | ||
| 50 | Martin C. Cooper, Simon de Givry, Martí Sánchez, Thomas Schiex, Matthias Zytnicki: Virtual Arc Consistency for Weighted CSP. AAAI 2008: 253-258 | |
| 49 | Céline Noirot, Christine Gaspin, Thomas Schiex, Jérôme Gouzy: LeARN: a platform for detecting, clustering and annotating non-coding RNAs. BMC Bioinformatics 9: (2008) | |
| 48 | Martí Sánchez, Simon de Givry, Thomas Schiex: Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques. Constraints 13(1-2): 130-154 (2008) | |
| 47 | Matthias Zytnicki, Christine Gaspin, Thomas Schiex: DARN! A Weighted Constraint Solver for RNA Motif Localization. Constraints 13(1-2): 91-109 (2008) | |
| 46 | Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex: 2006 and 2007 Max-SAT Evaluations: Contributed Instances. JSAT 4(2-4): 239-250 (2008) | |
| 2007 | ||
| 45 | Martí Sánchez, Simon de Givry, Thomas Schiex: Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. CCIA 2007: 29-37 | |
| 44 | Martin C. Cooper, Simon de Givry, Thomas Schiex: Optimal Soft Arc Consistency. IJCAI 2007: 68-73 | |
| 43 | Thomas Faraut, Simon de Givry, Patrick Chabrier, Thomas Derrien, Francis Galibert, Christophe Hitte, Thomas Schiex: A comparative genome approach to marker ordering. Bioinformatics 23(2): 50-56 (2007) | |
| 42 | Cédric Pralet, Gérard Verfaillie, Thomas Schiex: An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities. J. Artif. Intell. Res. (JAIR) 29: 421-489 (2007) | |
| 41 | Cédric Pralet, Cédric Verfaillie, Thomas Schiex: Un cadre graphique et algébrique pour les problèmes de décision incluant incertitudes, faisabilités et utilités. Revue d'Intelligence Artificielle 21(3): 419-448 (2007) | |
| 40 | Cédric Pralet, Thomas Schiex, Gérard Verfaillie: Algorithmes et complexités génériques pour différents cadres de décision séquentielle dans l'incertain. Revue d'Intelligence Artificielle 21(4): 459-488 (2007) | |
| 2006 | ||
| 39 | Simon de Givry, Thomas Schiex, Gérard Verfaillie: Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP. AAAI 2006 | |
| 38 | Cédric Pralet, Thomas Schiex, Gérard Verfaillie: Decomposition of Multi-operator Queries on Semiring-Based Graphical Models. CP 2006: 437-452 | |
| 37 | Cédric Pralet, Gérard Verfaillie, Thomas Schiex: Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework. ECAI 2006: 427-431 | |
| 36 | Matthias Zytnicki, Christine Gaspin, Thomas Schiex: A new local consistency for weighted CSP dedicated to long domains. SAC 2006: 394-398 | |
| 35 | Cédric Pralet, Thomas Schiex, Gérard Verfaillie: From Influence Diagrams to Multi-operator Cluster DAGs. UAI 2006 | |
| 34 | P. Thébault, Simon de Givry, Thomas Schiex, Christine Gaspin: Searching RNA motifs and their intermolecular contacts with constraint networks. Bioinformatics 22(17): 2074-2080 (2006) | |
| 2005 | ||
| 33 | Sylvain Foissac, Thomas Schiex: Integrating alternative splicing detection into gene prediction. BMC Bioinformatics 6: 25 (2005) | |
| 32 | Simon de Givry, Martin Bouchez, Patrick Chabrier, Denis Milan, Thomas Schiex: CARHTA GENE: multipopulation integrated genetic and radiation hybrid mapping. Bioinformatics 21(8): 1703-1704 (2005) | |
| 2004 | ||
| 31 | Martin C. Cooper, Thomas Schiex: Arc consistency for soft constraints. Artif. Intell. 154(1-2): 199-227 (2004) | |
| 30 | Javier Larrosa, Thomas Schiex: Solving weighted CSP by maintaining arc consistency. Artif. Intell. 159(1-2): 1-26 (2004) | |
| 2003 | ||
| 29 | Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex: Solving Max-SAT as Weighted CSP. CP 2003: 363-376 | |
| 28 | Javier Larrosa, Thomas Schiex: In the quest of the best form of local consistency for Weighted CSP. IJCAI 2003: 239-244 | |
| 27 | Thomas Schiex, Jérôme Gouzy, Annick Moisan, Yannick de Oliveira: FrameD: a flexible program for quality check and gene prediction in prokaryotic genomes and noisy matured eukaryotic sequences. Nucleic Acids Research 31(13): 3738-3741 (2003) | |
| 26 | Sylvain Foissac, Philippe Bardou, Annick Moisan, Marie-Josée Cros, Thomas Schiex: EUGÈNE'HOM: a generic similarity-based gene finder using multiple homologous sequences. Nucleic Acids Research 31(13): 3742-3745 (2003) | |
| 2001 | ||
| 25 | Thomas Schiex, Patrick Chabrier, Martin Bouchez, Denis Milan: Boosting EM for Radiation Hybrid and Genetic Mapping. WABI 2001: 41-51 | |
| 24 | Martin C. Cooper, Thomas Schiex: Arc consistency for soft constraints CoRR cs.AI/0111038: (2001) | |
| 2000 | ||
| 23 | Thomas Schiex: Arc Consistency for Soft Constraints. CP 2000: 411-424 | |
| 22 | Thomas Schiex, Annick Moisan, Pierre Rouzé: EUGÈNE: An Eukaryotic Gene Finder That Combines Several Sources of Evidence. JOBIM 2000: 111-125 | |
| 1999 | ||
| 21 | Javier Larrosa, Pedro Meseguer, Thomas Schiex: Maintaining Reversible DAC for Max-CSP. Artif. Intell. 107(1): 149-163 (1999) | |
| 20 | Bertrand Cabon, Simon de Givry, Lionel Lobjois, Thomas Schiex, Joost P. Warners: Radio Link Frequency Assignment. Constraints 4(1): 79-89 (1999) | |
| 19 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie, Hélène Fargier: Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. Constraints 4(3): 199-240 (1999) | |
| 1998 | ||
| 18 | Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie: Reversible DAC and Other Improvements for Solving Max-CSP. AAAI/IAAI 1998: 347-352 | |
| 17 | Claudette Cayrol, Marie-Christine Lagasquie-Schiex, Thomas Schiex: Nonmonotonic Reasoning: From Complexity to Algorithms. Ann. Math. Artif. Intell. 22(3-4): 207-236 (1998) | |
| 16 | Claude Le Pape, James M. Crawford, Barry Fox, Thomas Schiex: Introduction to a Benchmark Column in CONSTRAINTS. Constraints 3(2/3): 255-256 (1998) | |
| 1997 | ||
| 15 | Christine Gaspin, Thomas Schiex: Genetic Algorithms for Genetic Mapping. Artificial Evolution 1997: 145-156 | |
| 14 | Simon de Givry, Gérard Verfaillie, Thomas Schiex: Bounding the Optimum of Constraint Optimization Problems. CP 1997: 405-419 | |
| 13 | Thomas Schiex, Christine Gaspin: CARTHAGENE: Constructing and Joining Maximum Likelihood Genetic Maps. ISMB 1997: 258-267 | |
| 1996 | ||
| 12 | Hélène Fargier, Jérôme Lang, Thomas Schiex: Mixed Constraint Satisfaction: A Framework for Decision Problems under Incomplete Knowledge. AAAI/IAAI, Vol. 1 1996: 175-180 | |
| 11 | Gérard Verfaillie, Michel Lemaître, Thomas Schiex: Russian Doll Search for Solving Constraint Optimization Problems. AAAI/IAAI, Vol. 1 1996: 181-187 | |
| 10 | Thomas Schiex, Jean-Charles Régin, Christine Gaspin, Gérard Verfaillie: Lazy Arc Consistency. AAAI/IAAI, Vol. 1 1996: 216-221 | |
| 1995 | ||
| 9 | Thomas Schiex, Hélène Fargier, Gérard Verfaillie: Valued Constraint Satisfaction Problems: Hard and Easy Problems. IJCAI (1) 1995: 631-639 | |
| 8 | Stefano Bistarelli, Hélène Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie: Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. Over-Constrained Systems 1995: 111-150 | |
| 7 | Hélène Fargier, Jérôme Lang, Roger Martin-Clouaire, Thomas Schiex: A constraint satisfaction framework for decision under uncertainty. UAI 1995: 167-174 | |
| 1994 | ||
| 6 | Gérard Verfaillie, Thomas Schiex: Solution Reuse in Dynamic Constraint Satisfaction Problems. AAAI 1994: 307-312 | |
| 5 | Thomas Schiex, Gérard Verfaillie: Stubborness: A Possible Enhancement for Backjumping and Nogood Recording. ECAI 1994: 165-172 | |
| 4 | Florence Dupin de Saint-Cyr, Jérôme Lang, Thomas Schiex: Penalty Logic and its Link with Dempster-Shafer Theory. UAI 1994: 204-211 | |
| 1993 | ||
| 3 | Thomas Schiex, Gérard Verfaillie: Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. ICTAI 1993: 48-55 | |
| 2 | Michel Cayrol, Olivier Palmade, Thomas Schiex: A Fixed Point Semantics for the ATMS. J. Log. Comput. 3(2): 115-130 (1993) | |
| 1992 | ||
| 1 | Thomas Schiex: Possibilistic Constraint Satisfaction Problems or "How to Handle Soft Constraints?". UAI 1992: 268-275 | |