H. Touzet

Available identifiers

Publication	Date of Publication	Type
An ordinal calculus for proving termination in term rewriting	2023-02-23	Paper
Modeling dynamic programming problems over sequences and trees with inverse coupled rewrite systems	2019-03-26	Paper
Approximate search of short patterns with high error rates using the \(01^\ast 0\) lossless seeds	2016-07-15	Paper
On the Levenshtein automaton and the size of the neighbourhood of a word	2016-04-13	Paper
Lossless seeds for searching short patterns with high error rates	2015-09-15	Paper
Analysis of tree edit distance algorithms	2010-04-06	Paper
Self-overlapping Occurrences and Knuth-Morris-Pratt Algorithm for Weighted Matching	2009-04-02	Paper
How to Compare Arc-Annotated Sequences: The Alignment Hierarchy	2008-09-04	Paper
Comparing similar ordered trees in linear-time	2008-05-29	Paper
Large Scale Matching for Position Weight Matrices	2007-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q5297489	2007-07-18	Paper
Combinatorial Pattern Matching	2005-12-14	Paper
Decomposition algorithms for the tree edit distance problem	2005-10-27	Paper
A characterisation of multiply recursive functions with Higman's lemma.	2003-11-02	Paper
Tree edit distance with gaps	2003-01-22	Paper
Algorithms with polynomial interpretation termination proof	2001-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4938604	2000-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4263809	1999-09-22	Paper

This page was built for person: H. Touzet