
Helene Touzet
UMR 9189 - CENTRE DE RECHERCHE EN INFORMATIQUE, SIGNAL ET AUTOMATIQUE DE LILLE
UMS 2014 - US 41 - PLATEFORMES LILLOISES EN BIOLOGIE ET SANTE
Publications
Fabrice Bray, Marie-Anne Julien, Louis Delegue, Stéphanie Flament, Hélène Touzet, Patrick Auguste, Tarek Oueslati, Jessica Cohen, Emmanuel Desclaux
Simultaneous taxonomic and sex identification of Bos and Bison teeth using low-invasive high-resolution mass spectrometry
Journal of Proteome Research, In press
Coralie Rohmer, Hélène Touzet, Antoine Limasset
Automated evaluation of multiple sequence alignment methods to handle third generation sequencing errors
PeerJ, 2024, 12, pp.e17731. ⟨10.7717/peerj.17731⟩
Coralie Rohmer, Hélène Touzet, Antoine Limasset
Automated evaluation of multiple sequence alignment methods to handle third generation sequencing errors
2023
Carlos Bathich, Isabelle Guigon, Hélène Touzet, Barbara Deracinois, Laurence Guimas, Rozenn Ravallec, Christophe Flahaut
BioacPepFinder: Novel Bioinformatics Tool for the Discovery of Bioactive Peptides from Protein Digestion.
4th International Conference on Food Bioactives & Health, Sep 2023, Prague, Czech Republic
Carlos Bathich, Isabelle Guigon, Hélène Touzet, Barbara Deracinois, Laurence Guimas, Arnaud Terninck, Christophe Flahaut, Rozenn Ravallec
BioacPepFinder: a pipeline for prediction of proteolysis-generated bioactive peptides usable for all protein sources.
Green Food Tech, May 2023, Montréal, Canada
Hélène Touzet, Mikaël Salson, Claire Lemaitre, Florence Débarre
Le SARS-CoV-2 : une expérience inédite de surveillance génomique mondiale
2023
Anthony Turpin, Carine Delliaux, Pauline Parent, Hortense Chevalier, Carmen Escudero-Iriarte, Franck Bonardi, Nathalie Vanpouille, Anne Flourens, Jessica Querol, Aurélien Carnot, Xavier Leroy, Nicolás Herranz, Tristan Lanel, Arnauld Villers, Jonathan Olivier, Hélène Touzet, Yvan de Launoit, Tian V Tian, Martine Duterque-Coquillaud
Fascin-1 expression is associated with neuroendocrine prostate cancer and directly suppressed by androgen receptor
British Journal of Cancer, 2023, 129 (12), pp.1903-1914. ⟨10.1038/s41416-023-02449-x⟩
Quentin Bonenfant, Laurent Noé, Hélène Touzet
Porechop_ABI: discovering unknown adapters in ONT sequencing reads for downstream trimming
2022
Quentin Bonenfant, Laurent Noé, Hélène Touzet
Porechop_ABI: discovering unknown adapters in Oxford Nanopore Technology sequencing reads for downstream trimming
Bioinformatics Advances, 2022, 3 (1), pp.vbac085. ⟨10.1093/bioadv/vbac085⟩
Sylvain Legrand, Isabelle Guigon, Hélène Touzet
Detecting MicroRNAs in Plant Genomes with miRkwood
Alejandro Pereira-Santana; Samuel David Gamboa-Tuz; Luis Carlos Rodríguez-Zapata. Plant Comparative Genomics, 2512, Springer; Humana, pp.103-120, 2022, Methods in Molecular Biology, 978-1-0716-2428-9. ⟨10.1007/978-1-0716-2429-6_8⟩
Loïc Couderc, Erwan Gueguen, Maxime Brunin, Areski Flissi, Guillemette Marot, Guy Condemine, Hélène Touzet
TnSeek : analysing Tn-seq data for multiple conditions and multiple species
Journées Ouvertes en Biologie, Informatique et Mathématiques (JOBIM 2022), Jul 2022, Rennes, France.
Carlos Bathich, Isabelle Guigon, Hélène Touzet, Barbara Deracinois, Laurence Guimas, Arnaud Terninck, Rozenn Ravallec, Christophe Flahaut
BioacPepFinder: Discovery of bioactive peptides from protein digestion.
JOBIM, Jul 2022, Rennes, France
Julie Baltenneck, Hajar Ben Moussa, Loïc Couderc, Areski Flissi, Jacques Pédron, Cindy E. Morris, Marie-Anne Barny, Odile Berge, Hélène Touzet, Erwan Gueguen, Guy Condemine
Tn-phyto: essential genomes of nine bacterial phytopathogens
4. International Ewinia workshop (IEW), Jul 2022, Assise, Italy
Carlos Bathich, Isabelle Guigon, Hélène Touzet, Barbara Deracinois, Laurence Guimas, Arnaud Terninck, Rozenn Ravallec, Christophe Flahaut
BioacPepFinder: Discovery of bioactive peptides from protein digestion.
One Health International Days, Jun 2022, Villeneuve d’Ascq, France
Claire Lemaitre, Mikaël Salson, Hélène Touzet
Comment la bioinformatique a résolu le puzzle du génome du SARS-CoV-2
2022
Hélène Touzet, Mikaël Salson, Claire Lemaitre
Décoder le génome : vers la compréhension du fonctionnement du SARS-CoV-2
Interstices, 2022
Julie Baltenneck, Hajar Ben Moussa, Loïc Couderc, Areski Flissi, Jacques Pédron, Cindy E. Morris, Marie-Anne Barny, Odile Berge, Hélène Touzet, Erwan Gueguen, Guy Condemine
Tn-phyto: essential genomes of nine bacterial phytopathogens
15. Rencontres Plantes Bactéries, Jan 2022, Aussois, France
Hélène Touzet, Areski Flissi, Loïc Couderc
TnSeek
Matthieu Colpaert, Derifa Kadouche, Mathieu Ducatez, Trestan Pillonel, Carole Kebbi-Beghdadi, Ugo Cenci, Binquan Huang, Malika Chabi, Emmanuel Maes, Bernadette Coddeville, Loïc Couderc, Hélène Touzet, Fabrice Bray, Catherine Tirtiaux, Steven Ball, Gilbert Greub, Christophe Colleoni
Conservation of the glycogen metabolism pathway underlines a pivotal function of storage polysaccharides in Chlamydiae
Communications Biology, 2021, 4 (1), ⟨10.1038/s42003-021-01794-y⟩
Samuel Alizon, Frédéric Cazals, Stéphane Guindon, Claire Lemaitre, Tristan Mary-Huard, Anna Niarakis, Mikaël Salson, Celine Scornavacca, Hélène Touzet
SARS-CoV-2 Through the Lens of Computational Biology: How bioinformatics is playing a key role in the study of the virus and its origins
[Research Report] CNRS. 2021, pp.1-35
Asma S. Khelifa, Cecilia Guillen Sanchez, Kevin M. Lesage, Ludovic Huot, Thomas Mouveaux, Pierre Péricard, Nicolas Barois, Hélène Touzet, Guillemette Marot, Emmanuel Roger, Mathieu Gissot
TgAP2IX-5 is a key transcriptional regulator of the asexual cell cycle division in Toxoplasma gondii
Nature Communications, 2021, 12, pp.116. ⟨10.1038/s41467-020-20216-x⟩
String Processing and Information Retrieval
Springer International Publishing, 12944, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-86692-1⟩
Matthieu Colpaert, Derifa Kadouche, Mathieu Ducatez, Trestan Pillonel, Carole Kebbi-Beghdadi, Ugo Cenci, Binquan Huang, Malika Chabi, Emmanuel Maes, Coddeville Bernadette, Loïc Couderc, Hélène Touzet, Fabrice Bray, Catherine Tirtiaux, Steven Ball, Gilbert Greub, Christophe Colleoni
Substitution of nucleotide-sugar by trehalose-dependent glycogen synthesis pathways in Chlamydiales underlines an unusual requirement for storage polysaccharides within obligate intracellular bacteria
BioRxiv, 2020, BioRxiv, ⟨10.1101/2020.06.02.131169⟩
Christophe Audebert, Franck Bonardi, Ségolène Caboche, Karine Guyot, Hélène Touzet, Sophie Merlin, Nausicaa Gantois, Colette Creusy, Dionigia Meloni, Anthony Mouray, Eric Viscogliosi, Gabriela Certad, Sadia Benamrouz-Vanneste, Magali Chabé
Genetic basis for virulence differences of various Cryptosporidium parvum carcinogenic isolates
Scientific Reports, 2020, 10 (1), pp.7316. ⟨10.1038/s41598-020-64370-0⟩
Matthieu Duban, Maude Pupin, Areski Flissi, L. Couderc, Hélène Touzet, Louis Meunier, Denis Baurain, Olumide Owolabi Omoboye, Monica Höfte, Alexandre Bricout, Alice Rochex, Mickaël Chevalier, Christophe Flahaut, Quassim Esmaël, Essaid Ait Barka, Philippe Jacques, Valérie Leclère
Genome mining for screening and characterization of new lipopeptides with biocontrol applications.
14emes rencontres plantes-bactéries, Jan 2020, Aussois, France
Delphine Beury, Léa Fléchon, Florence Maurier, Ségolène Caboche, Jean-Stéphane Varré, Helene Touzet, Jean Dubuisson, David Hot, Benoît Guéry, Anne Goffard
Use of whole-genome sequencing in the molecular investigation of care-associated HCoV-OC43 infections in a hematopoietic stem cell transplant unit
Journal of Clinical Virology, 2020, 122, pp.104206. ⟨10.1016/j.jcv.2019.104206⟩
Quentin Bonenfant, Laurent Noé, Hélène Touzet
Porechop_ABI
Isabelle Guigon, Sylvain Legrand, Jean-Frédéric Berthelot, Sébastien Bini, Delphine Lanselle, Mohcen Benmounah, Hélène Touzet
miRkwood: a tool for the reliable identification of microRNAs in plant genomes
BMC Genomics, 2019, 20 (1), ⟨10.1186/s12864-019-5913-9⟩
Leandro Lima, Camille Marchet, Ségolène Caboche, Corinne da Silva, Benjamin Istace, Jean-Marc Aury, Hélène Touzet, Rayan Chikhi
Comparative assessment of long-read error correction software applied to Nanopore RNA-sequencing data
Briefings in Bioinformatics, 2019, pp.1-18. ⟨10.1093/bib/bbz058⟩
Florence Maurier, Delphine Beury, Léa Fléchon, Jean-Stéphane Varré, Hélène Touzet, Anne Goffard, David Hot, Ségolène Caboche
A complete protocol for whole-genome sequencing of virus from clinical samples: Application to coronavirus OC43
Virology, 2019, 531, pp.141-148. ⟨10.1016/j.virol.2019.03.006⟩
T Arab, A Raffo-Romero, C van Camp, Q Lemaire, F Le Marrec-Croq, F Drago, S Aboulouard, C Slomianny, A-S Lacoste, I Guigon, Hélène Touzet, Michel Salzet, Isabelle Fournier, C Lefebvre, J Vizioli, P-E Sautière
Proteomic characterisation of leech microglia extracellular vesicles (EVs): comparison between differential ultracentrifugation and Optiprep™ density gradient isolation
Journal of Extracellular Vesicles, 2019, 8 (1), pp.1603048. ⟨10.1080/20013078.2019.1603048⟩
Hélène Touzet, Sylvain Legrand, Isabelle Guigon, Mohcen Benmounah, Sébastien Bini, Jean-Frédéric Berthelot
Mirkwood
2019
Christian Barillot, Inbar Fijalkow, Isabelle Queinnec, Fabrice Theoleyre, Hélène Touzet, Michel Beaudouin-Lafon, Marie-Paule Cani, François Chaumette, Gérald Conreur, Véronique Cortier, Cyril Gavoille, Guy Gogniat, Julien Gossa, Andreas Herzig, Jean Krivine, Philippe Lamarre, Françoise Lamnabhi-Lagarrigue, Anne-Catherine Letournel, Lionel Seinturier, Isabelle Tellier, Serge Torres, Charlotte Truchet, Alexandros Tsoukias, Michel Verleysen
Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)
[0] CNRS. 2018, pp.1-87
Chadi Saad, Laurent Noé, Hugues Richard, Julie Leclerc, Marie-Pierre Buisine, Hélène Touzet, Martin Figeac
DiNAMO: highly sensitive DNA motif discovery in high-throughput sequencing data
BMC Bioinformatics, 2018, 19 (1), ⟨10.1186/s12859-018-2215-1⟩
Pierre Pericard, Yoann Dufresne, Loïc Couderc, Samuel Blanquart, Hélène Touzet
MATAM: reconstruction of phylogenetic marker genes from short sequencing reads in metagenomes
Bioinformatics, 2018, 34 (4), pp.585-591. ⟨10.1093/bioinformatics/btx644⟩
Pierre Pericard, Yoann Dufresne, Loïc Couderc, Samuel Blanquart, Hélène Touzet
MATAM: reconstruction of phylogenetic marker genes from short sequencing reads in metagenomes
Bioinformatics, 2017, 34 (4), pp.585-591. ⟨10.1093/bioinformatics/btx644⟩
Juraj Michálik, Hélène Touzet, Yann Ponty
Efficient approximations of RNA kinetics landscape using non-redundant sampling
ISMB/ECCB - 25th Annual international conference on Intelligent Systems for Molecular Biology/16th European Conference on Computational Biology - 2017, Jul 2017, Prague, Czech Republic. pp.i283 - i292, ⟨10.1093/bioinformatics/btx269⟩
Chadi Saad, Laurent Noé, Hugues Richard, Julie Leclerc, Marie-Pierre Buisine, Helene Touzet, Martin Figeac
DiNAMO: Exact method for degenerate IUPAC motifs discovery, characterization of sequence-specific errors
JOBIM 2017 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Jul 2017, Lille, France
Pierre Pericard, Yoann Dufresne, Samuel Blanquart, Hélène Touzet
Reconstruction of full-length 16S rRNA sequences for taxonomic assignment in metagenomics
JOBIM 2017 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Jul 2017, Lille, France
Léa Siegwald, Hélène Touzet, Yves Lemoine, David Hot, Christophe Audebert, Ségolène Caboche
Assessment of Common and Emerging Bioinformatics Pipelines for Targeted Metagenomics
PLoS ONE, 2017, 12 (1), pp.e0169563. ⟨10.1371/journal.pone.0169563⟩
On the Levenshtein Automaton and the Size of the Neighborhood of a Word
LATA 2016 - 10th International Conference on Language and Automata Theory and Applications, Mar 2016, Prague, Czech Republic. pp.207-218, ⟨10.1007/978-3-319-30000-9_16⟩
Traitement des données - introduction
Les Big Data à découvert, 2016
Christophe Vroland, Mikael Salson, Sébastien Bini, Hélène Touzet
Approximate search of short patterns with high error rates using the 01⁎0 lossless seeds
Journal of Discrete Algorithms, 2016, 37, pp.3-16. ⟨10.1016/j.jda.2016.03.002⟩
Algorithms for bioinformatics
Mihai Pop; Hélène Touzet. WABI, Sep 2015, Atlanta, United States. 9289, Springer Verlag, 2015, 15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015, Proceedings, ⟨10.1007/978-3-662-48221-6⟩
Isabelle Guigon, Sylvain Legrand, Jean-Frédéric Berthelot, Mohcen Benmounah, Helene Touzet
Finding and analysing microRNAs in plant genomes with miRkwood
JOBIM 2015, Jul 2015, Clermont-Ferrand, France
Azadeh Saffarian, Mathieu Giraud, Hélène Touzet
Modeling alternate RNA structures in genomic sequences.
Journal of Computational Biology, 2015, 22 (3), pp.190-204
Evguenia Kopylova, Laurent Noé, Corinne da Silva, Jean-Frédéric Berthelot, Adriana A. Alberti, Jean-Marc Aury, Helene Touzet
Deciphering metatranscriptomic data
Methods in Molecular Biology, 1269, Springer, pp.279-291, 2015, RNA Bioinformatics, 978-1-4939-2290-1. ⟨10.1007/978-1-4939-2291-8_17⟩
Christophe Vroland, Mikaël Salson, Hélène Touzet
Lossless seeds for searching short patterns with high error rates
International Workshop On Combinatorial Algorithms, Oct 2014, Duluth, United States
Evguenia Kopylova, Laurent Noé, Pierre Pericard, Mikaël Salson, Hélène Touzet
SortMeRNA 2: ribosomal RNA classification for taxonomic assignation
Workshop on Recent Computational Advances in Metagenomics, ECCB 2014, Sep 2014, Strasbourg, France
Azadeh Saffarian, Mathieu Giraud, Hélène Touzet
Searching for alternate RNA structures in genomic sequences
Computational Methods for Structural RNAs, CMSR'14, Sep 2014, Strasbourg, France. pp.13-24, ⟨10.15455/CMSR.2014.0002⟩
Robert Giegerich, Hélène Touzet
Modeling Dynamic Programming Problems over Sequences and Trees with Inverse Coupled Rewrite Systems
Algorithms, 2014, 7, pp.62 - 144. ⟨10.3390/a7010062⟩
Robert Giegerich, Hélène Touzet
Algebraic Dynamic Programming 2.0
Workshop Haskell-Treffen an der Universität Leipzig, Jun 2013, Leipzig, Germany
Evguenia Kopylova, Laurent Noé, Héléne Touzet
SortMeRNA: Fast and accurate filtering of ribosomal RNAs in metatranscriptomic data.
Bioinformatics, 2012, 28 (24), pp.3211-3217. ⟨10.1093/bioinformatics/bts611⟩
Evguenia Kopylova, Laurent Noé, Helene Touzet
SortMeRNA: a new software to filter total RNA for metatranscriptomic or RNA analysis
JOBIM - Journées Ouvertes en Biologie, Informatique et Mathématiques - 2012, Jul 2012, Rennes, France
Julien Allali, Cédric Saule, Cedric Chauve, Yves d'Aubenton-Carafa, Alain Denise, Christine Drevet, Pascal Ferraro, Daniel Gautheret, Claire Herrbach, Fabrice Leclerc, Antoine de Monte, Aida Ouangraoua, Marie-France Sagot, Michel Termier, Claude Thermes, Hélène Touzet
BRASERO: A resource for benchmarking RNA secondary structure comparison algorithms
Advances in Bioinformatics, 2012, 2012, pp.1-5. ⟨10.1155/2012/893048⟩
Azadeh Saffarian, Mathieu Giraud, Antoine de Monte, Hélène Touzet
RNA Locally Optimal Secondary Structures
Journal of Computational Biology, 2012, 19 (10), pp.1120-1133. ⟨10.1089/cmb.2010.0178⟩
Marie-Josée Cros, Antoine de Monte, Jérôme J. Mariette, Philippe Bardou, Benjamin Grenier-Boley, Daniel Gautheret, Hélène Touzet, Christine Gaspin
RNAspace.org: An integrated environment for the prediction, annotation, and analysis of ncRNA.
RNA, 2011, 17 (11), pp.1947-56. ⟨10.1261/rna.2844911⟩
Jean-Frédéric Berthelot, Charles Deltel, Mathieu Giraud, Stéphane Janot, Laetitia Jourdan, Dominique Lavenier, Helene Touzet, Jean-Stéphane Varré
biomanycores.org: a repository of interoperable open-source code for many-core bioinformatics
JOBIM 2011, Jul 2011, Paris, France
Marie-Josée Cros, Antoine de Monte, Jérôme J. Mariette, Philippe Bardou, Daniel Gautheret, Hélène Touzet, Christine Gaspin
RNAspace: an integrated environment for the prediction, annotation and analysis of non-coding RNA
12.Journées Ouvertes en Biologie, Informatique et Mathématiques - JOBIM 2011, Jun 2011, Paris, France. 2011
Mathieu Giraud, Stéphane Janot, Jean-Frédéric Berthelot, Charles Deltel, Laetitia Jourdan, Dominique Lavenier, Helene Touzet, Jean-Stéphane Varré
Biomanycores, open-source parallel code for many-core bioinformatics
Bioinformatics Open Source Conference (BOSC 2011), 2011, Vienne, Austria
Benjamin Grenier-Boley, Antoine de Monte, Helene Touzet
CG-seq: a toolbox for automatic annotation of genomes by comparative analysis
[Research Report] RR-7428, INRIA. 2010, pp.12
Marie-Josée Cros, Antoine de Monte, Jérôme J. Mariette, Philippe Bardou, Daniel Gautheret, Hélène Touzet, Christine Gaspin
rnaspace.org - a web application for noncoding RNA identification
JOBIM 2010 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Sep 2010, Montpellier, France. 2010
Tonon Laurie, Hélène Touzet, Jean-Stéphane Varré
TFM-Explorer: mining cis-regulatory regions in genomes
Nucleic Acids Research, 2010, 38 (S2), pp.W286-W292. ⟨10.1093/nar/gkq473⟩
Marie-Josée Cros, Antoine de Monte, Jérôme J. Mariette, Philippe Bardou, Benjamin Grenier-Boley, Daniel Gautheret, Hélène Touzet, Christine Gaspin
RNAspace
2010
Guillaume Blin, Alain Denise, Serge Dulucq, Claire Herrbach, Helene Touzet
Alignments of RNA structures.
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2010, 7 (2), pp.309-322. ⟨10.1109/TCBB.2008.28⟩
Philippe Bardou, Marie-Josée Cros, Christine Gaspin, Daniel Gautheret, Benjamin Grenier-Boley, Jean-Marc Larre, Jérôme J. Mariette, Antoine de Monte, Hélène Touzet
RNAspace: non-coding RNA annotation web platform
JOBIM 2009 : 10. Journées Ouvertes Biologie Informatique Mathématiques, Jun 2009, Nantes, France. 2009
Aude Liefooghe, Helene Touzet, Jean-Stéphane Varré
Self-Overlapping Occurrences and Knuth-Morris-Pratt Algorithm for Weighted Matching
3rd International Conference on Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. pp.481-492
Arnaud Fontaine, Hélène Touzet
Computational identification of protein-coding sequences by comparative analysis
International Journal of Data Mining and Bioinformatics, 2009, 3 (2), pp.160-76. ⟨10.1504/ijdmb.2009.024849⟩
Anne Chenuil, Emilie Egea, Caroline Rocher, Hélène Touzet, Jean-Pierre Féral
Does hybridization increase evolutionary rate? Data from the 28S-rDNA D8 domain in echinoderms.
Journal of Molecular Evolution, 2008, 67 (5), pp.539-50. ⟨10.1007/s00239-008-9171-8⟩
Arnaud Fontaine, Antoine de Monte, Hélène Touzet
MAGNOLIA: multiple alignment of protein-coding and structural RNA sequences.
Nucleic Acids Research, 2008, 36 (Web Server issue), pp.W14-8. ⟨10.1093/nar/gkn321⟩
Julien Allali, Yves d'Aubenton-Carafa, Cedric Chauve, Alain Denise, Christine Drevet, Pascal Ferraro, Daniel Gautheret, Claire Herrbach, Fabrice Leclerc, Antoine de Monte, Aïda Ouangraoua, Marie-France Sagot, C. Saule, Michel Termier, Claude Thermes, Helene Touzet
Benchmarking RNA secondary structure comparison algorithms
JOBIM'08, 2008, Lille, France. pp.67-68
Helene Touzet, Jean-Stéphane Varré
Efficient and accurate P-value computation for Position Weight Matrices
Algorithms for Molecular Biology, 2007, 2 (15), pp.1-12. ⟨10.1186/1748-7188-2-15⟩
Comparative analysis of RNA genes: the caRNAc software
Nicholas Bergman. Comparative Genomics, Volume 1, Humana Press, 2007, Methods in Molecular Biology, 978-1-58829-693-1
How to compare arc-annotated sequences: The alignment hierarchy
13th String Processing and Information Retrieval, Oct 2006, Glasgow, United Kingdom. pp.291-303
Aude Liefooghe, Helene Touzet, Jean-Stéphane Varré
Large Scale Matching for Position Weight Matrices
Combinatorial Pattern Matching, Jul 2006, Barcelona, Spain. pp.401-412, ⟨10.1007/11780441_36⟩
Decomposition algorithms for the tree edit distance problem
Journal of Discrete Algorithms, 2005, pp.448-471
Analysis of tree edit distance algorithms
Combinatorial pattern matching, 14th Annual Symposium, CPM 2003, 2003, Germany. pp.83--95
Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Helene Touzet
Algorithms with Polynomial Interpretation Termination Proof
Journal of Functional Programming, 2001, 11 (1), pp.33-53
Encoding the Hydra battle as a rewrite system
International Symposium on the Mathematical Foundations of Computer Science - MFCS'98, Aug 1998, Brno, Czech Republic, pp.267-276
A complex example of a simplifying rewrite system
International Colloquium on Automata, Languages, and Programming - ICALP'98, Jul 1998, Aalborg, Denmark, pp.507-517
Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet
Complexity classes and rewrite systems with polynomial interpretation
CSl'98, 1998, Brno, République Tchèque, pp.372-384
Propriétés combinatoires pour la terminaison de systèmes de réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1997. Français. ⟨NNT : 1997NAN10295⟩
Recherche
Type de document
Année