Edit Profile (opens in new tab) Touzet, Hélène Co-Author Distance Author ID: touzet.helene Published as: Touzet, Hélène; Touzet, H. Documents Indexed: 18 Publications since 1996 2 Contributions as Editor Co-Authors: 14 Co-Authors with 13 Joint Publications 186 Co-Co-Authors all top 5 Co-Authors 7 single-authored 2 Bonfante, Guillaume 2 Cichon, Adam 2 Dulucq, Serge 2 Liefooghe, Aude 2 Marion, Jean-Yves 2 Salson, Mikaël 2 Varré, Jean-Stéphane 2 Vroland, Christophe 1 Bini, Sébastien 1 Blin, Guillaume 1 Cichon, E. A. 1 Giegerich, Robert 1 Lecroq, Thierry 1 Pop, Mihai all top 5 Serials 3 Journal of Discrete Algorithms 2 Lecture Notes in Computer Science 1 Information Processing Letters 1 Information and Computation 1 Journal of Functional Programming 1 Algorithms all top 5 Fields 20 Computer science (68-XX) 9 Biology and other natural sciences (92-XX) 4 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 15 Publications have been cited 75 times in 62 Documents Cited by ▼ Year ▼ Algorithms with polynomial interpretation termination proof. Zbl 0987.68042 Bonfante, G.; Cichon, A.; Marion, J.-Y.; Touzet, H. 23 2001 Encoding the hydra battle as a rewrite system. Zbl 1113.68419 Touzet, Hélène 8 1998 Decomposition algorithms for the tree edit distance problem. Zbl 1129.68099 Dulucq, Serge; Touzet, Hélène 7 2005 Complexity classes and rewrite systems with polynomial interpretation. Zbl 0934.03052 Bonfante, G.; Cichon, A.; Marion, J. Y.; Touzet, H. 5 1999 A linear tree edit distance algorithm for similar ordered trees. Zbl 1131.68585 Touzet, Hélène 5 2005 Modeling dynamic programming problems over sequences and trees with inverse coupled rewrite systems. Zbl 1461.68251 Giegerich, Robert; Touzet, Hélène 5 2014 How to compare arc-annotated sequences: The alignment hierarchy. Zbl 1175.92018 Blin, Guillaume; Touzet, Hélène 5 2006 Tree edit distance with gaps. Zbl 1011.68851 Touzet, Hélène 4 2003 Analysis of tree edit distance algorithms. Zbl 1279.68067 Dulucq, Serge; Touzet, Hélène 4 2003 Comparing similar ordered trees in linear-time. Zbl 1156.68042 Touzet, Hélène 2 2007 A characterisation of multiply recursive functions with Higman’s lemma. Zbl 1053.68056 Touzet, Hélène 2 2002 Large scale matching for position weight matrices. Zbl 1196.68313 Liefooghe, Aude; Touzet, Hélène; Varré, Jean-Stéphane 2 2006 Lossless seeds for searching short patterns with high error rates. Zbl 1401.68259 Vroland, Christophe; Salson, Mikaël; Touzet, Hélène 1 2015 A characterization of multiply recursive functions with Higman’s lemma. Zbl 0939.03043 Touzet, Hélène 1 1999 An ordinal calculus for proving termination in term rewriting. Zbl 1508.68145 Cichon, E. A.; Touzet, H. 1 1996 Lossless seeds for searching short patterns with high error rates. Zbl 1401.68259 Vroland, Christophe; Salson, Mikaël; Touzet, Hélène 1 2015 Modeling dynamic programming problems over sequences and trees with inverse coupled rewrite systems. Zbl 1461.68251 Giegerich, Robert; Touzet, Hélène 5 2014 Comparing similar ordered trees in linear-time. Zbl 1156.68042 Touzet, Hélène 2 2007 How to compare arc-annotated sequences: The alignment hierarchy. Zbl 1175.92018 Blin, Guillaume; Touzet, Hélène 5 2006 Large scale matching for position weight matrices. Zbl 1196.68313 Liefooghe, Aude; Touzet, Hélène; Varré, Jean-Stéphane 2 2006 Decomposition algorithms for the tree edit distance problem. Zbl 1129.68099 Dulucq, Serge; Touzet, Hélène 7 2005 A linear tree edit distance algorithm for similar ordered trees. Zbl 1131.68585 Touzet, Hélène 5 2005 Tree edit distance with gaps. Zbl 1011.68851 Touzet, Hélène 4 2003 Analysis of tree edit distance algorithms. Zbl 1279.68067 Dulucq, Serge; Touzet, Hélène 4 2003 A characterisation of multiply recursive functions with Higman’s lemma. Zbl 1053.68056 Touzet, Hélène 2 2002 Algorithms with polynomial interpretation termination proof. Zbl 0987.68042 Bonfante, G.; Cichon, A.; Marion, J.-Y.; Touzet, H. 23 2001 Complexity classes and rewrite systems with polynomial interpretation. Zbl 0934.03052 Bonfante, G.; Cichon, A.; Marion, J. Y.; Touzet, H. 5 1999 A characterization of multiply recursive functions with Higman’s lemma. Zbl 0939.03043 Touzet, Hélène 1 1999 Encoding the hydra battle as a rewrite system. Zbl 1113.68419 Touzet, Hélène 8 1998 An ordinal calculus for proving termination in term rewriting. Zbl 1508.68145 Cichon, E. A.; Touzet, H. 1 1996 all cited Publications top 5 cited Publications all top 5 Cited by 99 Authors 8 Moser, Georg 6 Touzet, Hélène 4 Avanzini, Martin 4 Giegerich, Robert 4 Middeldorp, Aart 3 Bonfante, Guillaume 3 Dal Lago, Ugo 3 Eguchi, Naohi 3 Lucas, Salvador 3 Mozes, Shay 3 Weimann, Oren 2 Baillot, Patrick 2 Chauve, Cedric 2 Dulucq, Serge 2 Emmes, Fabian 2 Gawrychowski, Paweł 2 Geser, Alfons 2 Giesl, Jürgen 2 Höner zu Siederdissen, Christian 2 Moyen, Jean-Yves 2 Noschinski, Lars 2 Ohlebusch, Enno 2 Schirmer, Stefanie 2 Schnabl, Andreas 2 Stadler, Peter F. 2 Tsur, Dekel 2 Zantema, Hans 2 Ziv-Ukelson, Michal 1 Beklemishev, Lev D. 1 Berkemer, Sarah J. 1 Bernard, Marc 1 Bille, Philip 1 Bini, Sébastien 1 Bittar, E. Tahhan 1 Boughanem, Mohand 1 Boyer, Laurent 1 Charalampopoulos, Panagiotis 1 Chen, Shihyen 1 Cichon, E. A. 1 Contejean, Evelyne 1 Courtiel, Julien 1 Deloup, Florian L. 1 Denise, Alain 1 Dudek, Bartłomiej 1 Endrullis, Jörg 1 Férée, Hugo 1 Gatter, Thomas 1 Gørtz, Inge Li 1 Guignon, Valentin 1 Guiraud, Yves 1 Guo, Liye 1 Habrard, Amaury 1 Hainry, Emmanuel 1 Hamel, Sylvie 1 Henrot, Antoine 1 Herrbach, Claire 1 Hirokawa, Nao 1 Hofbauer, Dieter 1 Hoyrup, Mathieu 1 Huang, Guan-Shieng 1 Jansson, Jesper 1 Kheddouci, Hamamache 1 Klop, Jan Willem 1 Kop, Cynthia 1 Laitang, Cyril 1 Lepper, Ingo 1 Liefooghe, Aude 1 Mäkinen, Veli 1 Marché, Claude 1 Marion, Jean-Yves 1 Ning, Lei 1 Onoprienko, Anastasiya A. 1 Ouangraoua, Aïda 1 Overbeek, Roy 1 Péchoux, Romain 1 Peng, Zeshan 1 Pinel-Sauvagnat, Karen 1 Pizzi, Cinzia 1 Ponty, Yann 1 Riechert, Maik 1 Salson, Mikaël 1 Saule, Cédric 1 Schwichtenberg, Helmut 1 Sebban, Marc 1 Seisenberger, Monika 1 Shin, Kilho 1 Sternagel, Thomas 1 Tahraoui, Mohammed Amin 1 Tomás, Ana Paula 1 Ukkonen, Esko 1 Urbain, Xavier 1 Vale, Deivid 1 Varré, Jean-Stéphane 1 Vroland, Christophe 1 Wiesnet, Franziskus 1 Winkler, Sarah 1 Wu, Chan-Shuo 1 Zankl, Harald 1 Zhang, Kaizhong all top 5 Cited in 18 Serials 13 Theoretical Computer Science 6 Information and Computation 4 Algorithms 3 Journal of Automated Reasoning 3 Journal of Discrete Algorithms 2 Applicable Algebra in Engineering, Communication and Computing 2 Logical Methods in Computer Science 1 Journal of Symbolic Computation 1 Algorithmica 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 Pattern Recognition 1 Annals of Mathematics and Artificial Intelligence 1 Sbornik: Mathematics 1 Theory of Computing Systems 1 Journal of Combinatorial Optimization 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 7 Fields 59 Computer science (68-XX) 14 Mathematical logic and foundations (03-XX) 13 Biology and other natural sciences (92-XX) 7 Operations research, mathematical programming (90-XX) 5 Combinatorics (05-XX) 1 General and overarching topics; collections (00-XX) 1 Algebraic geometry (14-XX) Citations by Year