Rechercher

Paramétrage

Thèmes

Accessibilité

Accessibilité

Helene Touzet

Directrice de recherche epst Laboratoire / équipe

Publications

hal-05107804

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

hal-04798144

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⟩

hal-04288487

Coralie Rohmer, Hélène Touzet, Antoine Limasset

Automated evaluation of multiple sequence alignment methods to handle third generation sequencing errors

2023

hal-04548237

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

hal-04547606

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

hal-04155812

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

hal-04774153

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⟩

hal-03865464

Quentin Bonenfant, Laurent Noé, Hélène Touzet

Porechop_ABI: discovering unknown adapters in ONT sequencing reads for downstream trimming

2022

hal-03932719

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⟩

hal-03952910

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⟩

hal-03827389

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.

hal-04547613

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

hal-03721522

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

hal-04547618

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

hal-03896532

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

hal-03750389

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

hal-04649988

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

hal-03174571

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⟩

hal-03170023

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

hal-03107529

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⟩

hal-03368750

Thierry Lecroq, Hélène Touzet

String Processing and Information Retrieval

Springer International Publishing, 12944, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-86692-1⟩

hal-03382208

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⟩

inserm-02873228

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⟩

hal-04547627

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

hal-02403094

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⟩

hal-02265367

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⟩

hal-02394395

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⟩

hal-02167880

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⟩

inserm-02941660

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⟩

hal-01881466

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⟩

pasteur-03263400

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⟩

hal-01646297

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⟩

hal-01500115

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⟩

hal-01574630

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

hal-01574629

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

hal-01575755

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⟩

hal-01360482

Hélène Touzet

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⟩

hal-01574692

Iovka Boneva, Héléne Touzet

Traitement des données - introduction

Les Big Data à découvert, 2016

hal-01360485

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⟩

hal-01228138

Hélène Touzet

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⟩

hal-01247604

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

hal-01228130

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

hal-01104015

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⟩

hal-01079840

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

hal-01094011

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

hal-01084319

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⟩

hal-01084318

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⟩

hal-00857801

Robert Giegerich, Hélène Touzet

Algebraic Dynamic Programming 2.0

Workshop Haskell-Treffen an der Universität Leipzig, Jun 2013, Leipzig, Germany

hal-00748990

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⟩

hal-00763792

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

hal-00647725

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⟩

hal-00756249

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⟩

hal-00639174

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⟩

hal-00637847

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

hal-02810153

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

inria-00623390

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

inria-00530507

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

hal-02819250

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

hal-00823465

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⟩

hal-00506348

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⟩

hal-02819249

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

inria-00365411

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

hal-00823601

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⟩

hal-00824034

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⟩

hal-00823594

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⟩

inria-00270263

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⟩

inria-00178557

Helene Touzet

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

inria-00178671

Guillaume Blin, Helene Touzet

How to compare arc-annotated sequences: The alignment hierarchy

13th String Processing and Information Retrieval, Oct 2006, Glasgow, United Kingdom. pp.291-303

inria-00270270

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⟩

hal-00307523

Serge Dulucq, Hélène Touzet

Decomposition algorithms for the tree edit distance problem

Journal of Discrete Algorithms, 2005, pp.448-471

hal-00307516

Serge Dulucq, Hélène Touzet

Analysis of tree edit distance algorithms

Combinatorial pattern matching, 14th Annual Symposium, CPM 2003, 2003, Germany. pp.83--95

inria-00100819

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

inria-00098575

Hélène Touzet

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

inria-00098574

Hélène Touzet

A complex example of a simplifying rewrite system

International Colloquium on Automata, Languages, and Programming - ICALP'98, Jul 1998, Aalborg, Denmark, pp.507-517

inria-00098689

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

tel-01747313

Hélène Touzet

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