Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Thomas Schiex
2010 – today
- 2013
[c34]- [i5]Hélène Fargier, Jérôme Lang, Roger Martin-Clouaire, Thomas Schiex: A Constraint Satisfaction Approach to Decision under Uncertainty. CoRR abs/1302.4946 (2013)
- [i4]Florence Dupin de Saint-Cyr, Jérôme Lang, Thomas Schiex: Penalty logic and its Link with Dempster-Shafer Theory. CoRR abs/1302.6804 (2013)
- [i3]Thomas Schiex: Possibilistic Constraint Satisfaction Problems or "How to handle soft constraints?". CoRR abs/1303.5427 (2013)
- 2012
- [j27]Eric Audemard, Thomas Schiex, Thomas Faraut: Detecting long tandem duplications in genomic sequences. BMC Bioinformatics 13: 83 (2012)
- [c33]David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex: Filtering Decomposable Global Cost Functions. AAAI 2012
- [c32]David Allouche, Seydou Traoré, Isabelle André, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex: Computational Protein Design as a Cost Function Network Optimization Problem. CP 2012: 840-849
- 2011
- [c31]Aurélie Favier, Simon de Givry, Andrés Legarra, Thomas Schiex: Pairwise Decomposition for Combinatorial Optimization in Graphical Models. IJCAI 2011: 2126-2132
- [i2]Cédric Pralet, Thomas Schiex, Gérard Verfaillie: An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities. CoRR abs/1110.2741 (2011)
- 2010
- [j26]Martin C. Cooper, Simon de Givry, M. Sanchez, Thomas Schiex, Matthias Zytnicki, T. Werner: Soft arc consistency revisited. Artif. Intell. 174(7-8): 449-478 (2010)
- [j25]Pedro Meseguer, Francesca Rossi, Thomas Schiex: Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning. Constraints 15(4): 453-455 (2010)
- [j24]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. Technique et Science Informatiques 29(1): 85-114 (2010)
- [c30]David Allouche, Simon de Givry, Thomas Schiex: Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP. CP 2010: 53-60
2000 – 2009
- 2009
- [b1]Cédric Pralet, Thomas Schiex, Gérard Verfaillie: Sequential Decision-Making Problems - Representation and Solution. Wiley 2009, ISBN 978-1-84821-174-2, pp. I-XVI, 1-325
- [j23]Jérôme Gouzy, Sébastien Carrère, Thomas Schiex: FrameDP: sensitive peptide detection on noisy matured sequences. Bioinformatics 25(5): 670-671 (2009)
- [j22]Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex: Bounds Arc Consistency for Weighted CSPs. J. Artif. Intell. Res. (JAIR) 35: 593-621 (2009)
- [c29]Martí Sánchez, David Allouche, Simon de Givry, Thomas Schiex: Russian Doll Search with Tree Decomposition. IJCAI 2009: 603-608
- 2008
- [j21]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)
- [j20]Matthias Zytnicki, Christine Gaspin, Thomas Schiex: DARN! A Weighted Constraint Solver for RNA Motif Localization. Constraints 13(1-2): 91-109 (2008)
- [j19]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)
- [j18]Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex: 2006 and 2007 Max-SAT Evaluations: Contributed Instances. JSAT 4(2-4): 239-250 (2008)
- [c28]Martin C. Cooper, Simon de Givry, Martí Sánchez, Thomas Schiex, Matthias Zytnicki: Virtual Arc Consistency for Weighted CSP. AAAI 2008: 253-258
- 2007
- [j17]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)
- [j16]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)
- [j15]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)
- [j14]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)
- [c27]Martí Sánchez, Simon de Givry, Thomas Schiex: Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. CCIA 2007: 29-37
- [c26]
- 2006
- [j13]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)
- [c25]Simon de Givry, Thomas Schiex, Gérard Verfaillie: Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP. AAAI 2006: 22-27
- [c24]Cédric Pralet, Thomas Schiex, Gérard Verfaillie: Decomposition of Multi-operator Queries on Semiring-Based Graphical Models. CP 2006: 437-452
- [c23]Cédric Pralet, Gérard Verfaillie, Thomas Schiex: Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework. ECAI 2006: 427-431
- [c22]Matthias Zytnicki, Christine Gaspin, Thomas Schiex: A new local consistency for weighted CSP dedicated to long domains. SAC 2006: 394-398
- [c21]Cédric Pralet, Thomas Schiex, Gérard Verfaillie: From Influence Diagrams to Multi-operator Cluster DAGs. UAI 2006
- 2005
- [j12]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)
- [j11]Sylvain Foissac, Thomas Schiex: Integrating alternative splicing detection into gene prediction. BMC Bioinformatics 6: 25 (2005)
- 2004
- [j10]Martin C. Cooper, Thomas Schiex: Arc consistency for soft constraints. Artif. Intell. 154(1-2): 199-227 (2004)
- [j9]Javier Larrosa, Thomas Schiex: Solving weighted CSP by maintaining arc consistency. Artif. Intell. 159(1-2): 1-26 (2004)
- 2003
- [j8]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)
- [j7]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)
- [c20]Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex: Solving Max-SAT as Weighted CSP. CP 2003: 363-376
- [c19]Javier Larrosa, Thomas Schiex: In the quest of the best form of local consistency for Weighted CSP. IJCAI 2003: 239-244
- 2001
- [c18]Thomas Schiex, Patrick Chabrier, Martin Bouchez, Denis Milan: Boosting EM for Radiation Hybrid and Genetic Mapping. WABI 2001: 41-51
- [i1]
- 2000
- [c17]
- [c16]Thomas Schiex, Annick Moisan, Pierre Rouzé: EUGÈNE: An Eukaryotic Gene Finder That Combines Several Sources of Evidence. JOBIM 2000: 111-125
1990 – 1999
- 1999
- [j6]Javier Larrosa, Pedro Meseguer, Thomas Schiex: Maintaining Reversible DAC for Max-CSP. Artif. Intell. 107(1): 149-163 (1999)
- [j5]Bertrand Cabon, Simon de Givry, Lionel Lobjois, Thomas Schiex, Joost P. Warners: Radio Link Frequency Assignment. Constraints 4(1): 79-89 (1999)
- [j4]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
- [j3]Claudette Cayrol, Marie-Christine Lagasquie-Schiex, Thomas Schiex: Nonmonotonic Reasoning: From Complexity to Algorithms. Ann. Math. Artif. Intell. 22(3-4): 207-236 (1998)
- [j2]Claude Le Pape, James M. Crawford, Barry Fox, Thomas Schiex: Introduction to a Benchmark Column in CONSTRAINTS. Constraints 3(2/3): 255-256 (1998)
- [c15]Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie: Reversible DAC and Other Improvements for Solving Max-CSP. AAAI/IAAI 1998: 347-352
- 1997
- [c14]Christine Gaspin, Thomas Schiex: Genetic Algorithms for Genetic Mapping. Artificial Evolution 1997: 145-156
- [c13]Simon de Givry, Gérard Verfaillie, Thomas Schiex: Bounding the Optimum of Constraint Optimization Problems. CP 1997: 405-419
- [c12]Thomas Schiex, Christine Gaspin: CARTHAGENE: Constructing and Joining Maximum Likelihood Genetic Maps. ISMB 1997: 258-267
- 1996
- [c11]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
- [c10]Gérard Verfaillie, Michel Lemaître, Thomas Schiex: Russian Doll Search for Solving Constraint Optimization Problems. AAAI/IAAI, Vol. 1 1996: 181-187
- [c9]Thomas Schiex, Jean-Charles Régin, Christine Gaspin, Gérard Verfaillie: Lazy Arc Consistency. AAAI/IAAI, Vol. 1 1996: 216-221
- 1995
- [c8]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
- [c7]Thomas Schiex, Hélène Fargier, Gérard Verfaillie: Valued Constraint Satisfaction Problems: Hard and Easy Problems. IJCAI (1) 1995: 631-639
- [c6]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
- [c5]Gérard Verfaillie, Thomas Schiex: Solution Reuse in Dynamic Constraint Satisfaction Problems. AAAI 1994: 307-312
- [c4]Thomas Schiex, Gérard Verfaillie: Stubborness: A Possible Enhancement for Backjumping and Nogood Recording. ECAI 1994: 165-172
- [c3]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
- [j1]Michel Cayrol, Olivier Palmade, Thomas Schiex: A Fixed Point Semantics for the ATMS. J. Log. Comput. 3(2): 115-130 (1993)
- [c2]Thomas Schiex, Gérard Verfaillie: Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. ICTAI 1993: 48-55
- 1992
- [c1]Thomas Schiex: Possibilistic Constraint Satisfaction Problems or "How to Handle Soft Constraints?". UAI 1992: 268-275
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-04 21:45 CEST by the dblp team