<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-00790008</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-23T16:59:20+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Regular expression constrained sequence alignment revisited</title>
            <author role="aut">
              <persName>
                <forename type="first">Gregory</forename>
                <surname>Kucherov</surname>
              </persName>
              <email type="md5">3c853852fa7a519883147931dba1c2e2</email>
              <email type="domain">univ-mlv.fr</email>
              <idno type="idhal" notation="string">gregory-kucherov</idno>
              <idno type="idhal" notation="numeric">14903</idno>
              <idno type="halauthorid" notation="string">555-14903</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/F-7875-2016</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5899-5424</idno>
              <idno type="IDREF">https://www.idref.fr/093602189</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/F-7875-2016</idno>
              <orgName ref="#struct-441569"/>
              <affiliation ref="#struct-2546"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Tamar</forename>
                <surname>Pinhas</surname>
              </persName>
              <idno type="halauthorid">692196-0</idno>
              <affiliation ref="#struct-425606"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Michal</forename>
                <surname>Ziv-Ukelson</surname>
              </persName>
              <idno type="halauthorid">581877-0</idno>
              <affiliation ref="#struct-425606"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Gregory</forename>
                <surname>Kucherov</surname>
              </persName>
              <email type="md5">3de32fd46130cf3672c1cf40d7e34baa</email>
              <email type="domain">univ-eiffel.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2013-02-19 11:23:31</date>
              <date type="whenWritten">2011-04-03</date>
              <date type="whenModified">2025-03-23 03:11:23</date>
              <date type="whenReleased">2013-02-19 11:29:05</date>
              <date type="whenProduced">2011-05-09</date>
              <date type="whenEndEmbargoed">2013-02-19</date>
              <ref type="file" target="https://hal.science/hal-00790008v1/document">
                <date notBefore="2013-02-19"/>
              </ref>
              <ref type="file" subtype="greenPublisher" n="1" target="https://hal.science/hal-00790008v1/file/CMB-2010-0291-Kucherov_1P.pdf" id="file-790008-784424">
                <date notBefore="2013-02-19"/>
              </ref>
              <ref type="externalLink" target="http://hal-enpc.archives-ouvertes.fr/docs/00/79/00/08/PDF/CMB-2010-0291-Kucherov_1P.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="104025">
                <persName>
                  <forename>Gregory</forename>
                  <surname>Kucherov</surname>
                </persName>
                <email type="md5">3de32fd46130cf3672c1cf40d7e34baa</email>
                <email type="domain">univ-eiffel.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00790008</idno>
            <idno type="halUri">https://hal.science/hal-00790008</idno>
            <idno type="halBibtex">kucherov:hal-00790008</idno>
            <idno type="halRefHtml">&lt;i&gt;Journal of Computational Biology&lt;/i&gt;, 2011, 18 (5), pp.771-781. &lt;a target="_blank" href="https://dx.doi.org/10.1089/cmb.2010.0291"&gt;&amp;#x27E8;10.1089/cmb.2010.0291&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Journal of Computational Biology, 2011, 18 (5), pp.771-781. &amp;#x27E8;10.1089/cmb.2010.0291&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-790008-784424"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENPC" corresp="PARISTECH">École nationale des ponts et chaussées </idno>
            <idno type="stamp" n="UNIV-LILLE3">Université de Lille Sciences humaines et sociales</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-MLV">Université de Marne la Vallée</idno>
            <idno type="stamp" n="LIGM_ALGO" corresp="LIGM">Algorithmics</idno>
            <idno type="stamp" n="LIFL">Laboratoire d'Informatique Fondamentale de Lille</idno>
            <idno type="stamp" n="PARISTECH">ParisTech</idno>
            <idno type="stamp" n="ENPC-LIGM" corresp="ENPC">Laboratoire d'informatique Gaspard-Monge</idno>
            <idno type="stamp" n="LIGM" corresp="ENPC">Laboratoire d'informatique Gaspard-Monge</idno>
            <idno type="stamp" n="CV_UNIV-MLV">CV des membres de l'Université de Marne-la-vallée</idno>
            <idno type="stamp" n="CV_LIGM" corresp="CV_UNIV-MLV">CV des membres du LIGM</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Regular expression constrained sequence alignment revisited</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Gregory</forename>
                    <surname>Kucherov</surname>
                  </persName>
                  <email type="md5">3c853852fa7a519883147931dba1c2e2</email>
                  <email type="domain">univ-mlv.fr</email>
                  <idno type="idhal" notation="string">gregory-kucherov</idno>
                  <idno type="idhal" notation="numeric">14903</idno>
                  <idno type="halauthorid" notation="string">555-14903</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/F-7875-2016</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5899-5424</idno>
                  <idno type="IDREF">https://www.idref.fr/093602189</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/F-7875-2016</idno>
                  <orgName ref="#struct-441569"/>
                  <affiliation ref="#struct-2546"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Tamar</forename>
                    <surname>Pinhas</surname>
                  </persName>
                  <idno type="halauthorid">692196-0</idno>
                  <affiliation ref="#struct-425606"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Michal</forename>
                    <surname>Ziv-Ukelson</surname>
                  </persName>
                  <idno type="halauthorid">581877-0</idno>
                  <affiliation ref="#struct-425606"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">12414</idno>
                <idno type="issn">1066-5277</idno>
                <idno type="eissn">1557-8666</idno>
                <title level="j">Journal of Computational Biology</title>
                <imprint>
                  <publisher>Mary Ann Liebert</publisher>
                  <biblScope unit="volume">18</biblScope>
                  <biblScope unit="issue">5</biblScope>
                  <biblScope unit="pp">771-781</biblScope>
                  <date type="datePub">2011-05-09</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1089/cmb.2010.0291</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-bi">Computer Science [cs]/Bioinformatics [q-bio.QM]</classCode>
              <classCode scheme="halDomain" n="sdv.bibs">Life Sciences [q-bio]/Quantitative Methods [q-bio.QM]</classCode>
              <classCode scheme="halDomain" n="info.info-ds">Computer Science [cs]/Data Structures and Algorithms [cs.DS]</classCode>
              <classCode scheme="halDomain" n="info.info-fl">Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]</classCode>
              <classCode scheme="halDomain" n="info.info-tt">Computer Science [cs]/Document and Text Processing</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Imposing constraints in the form of a finite automaton or a regular expression is an effective way to incorporate additional a priori knowledge into sequence alignment procedures. With this motivation, the Regular Expression Constrained Sequence Alignment Problem was introduced, which proposed an O(n^2t^4) time and O(n^2t^2) space algorithm for solving it, where n is the length of the input strings and t is the number of states in the input non-deterministic automaton. A faster O(n^2t^3) time algorithm for the same problem was subsequently proposed. In this article, we further speed up the algorithms for Regular Language Constrained Sequence Alignment by reducing their worst case time complexity bound to O(n^2t^3/log t). This is done by establishing an optimal bound on the size of Straight-Line Programs solving the maxima computation subproblem of the basic dynamic programming algorithm. We also study another solution based on a Steiner Tree computation. While it does not improve worst case, our simulations show that both approaches are efficient in practice, especially when the input automata are dense.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-2546" status="OLD">
          <orgName>Laboratoire d'Informatique Fondamentale de Lille</orgName>
          <orgName type="acronym">LIFL</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment M3 59655 Villeneuve d'Ascq Cédex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lifl.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-92973" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-301700" type="direct"/>
            <relation name="UMR8022" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-425606" status="VALID">
          <orgName>Department of Computer Science [Beer-Sheva]</orgName>
          <desc>
            <address>
              <addrLine>Department of Computer ScienceBen Gurion University of the NegevP.O.B 653 Be'er Sheva 84105</addrLine>
              <country key="IL"/>
            </address>
            <ref type="url">http://in.bgu.ac.il/en/natural_science/cs/Pages/default.aspx</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300759" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-92973" status="OLD">
          <idno type="IdRef">026404184</idno>
          <idno type="ROR">https://ror.org/0546v5182</idno>
          <orgName>Université de Lille, Sciences et Technologies</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>Cité Scientifique - 59655 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lille1.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301700" status="OLD">
          <idno type="IdRef">026404524</idno>
          <idno type="ISNI">0000000121517701</idno>
          <idno type="ROR">https://ror.org/025b4c754</idno>
          <orgName>Université de Lille, Sciences Humaines et Sociales</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>Domaine universitaire du "Pont de Bois"Rue du Barreau BP 60149 59653 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lille3.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300759" status="VALID">
          <idno type="IdRef">027957225</idno>
          <idno type="ISNI">0000000121828112</idno>
          <idno type="ROR">https://ror.org/05tkyf982</idno>
          <idno type="Wikidata">Q737332</idno>
          <orgName>Ben-Gurion University of the Negev</orgName>
          <orgName type="acronym">BGU</orgName>
          <desc>
            <address>
              <addrLine>P.O.B. 653 Beer-Sheva</addrLine>
              <country key="IL"/>
            </address>
            <ref type="url">http://in.bgu.ac.il/en/Pages/default.aspx</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>