<?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-00344551</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-01T17:26:05+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Tree Pattern Rewriting Systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Blaise</forename>
                <surname>Genest</surname>
              </persName>
              <email type="md5">1a05d24cc28bfdf91fe848fed4ba8fd5</email>
              <email type="domain">irisa.fr</email>
              <idno type="idhal" notation="numeric">840766</idno>
              <idno type="halauthorid" notation="string">212567-840766</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5758-1876</idno>
              <idno type="IDREF">https://www.idref.fr/108004643</idno>
              <idno type="VIAF">https://viaf.org/viaf/189650824</idno>
              <idno type="ISNI">http://isni.org/isni/0000000356670065</idno>
              <affiliation ref="#struct-2515"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Anca</forename>
                <surname>Muscholl</surname>
              </persName>
              <email type="md5">b44dedd245cc083ab82e548419d20cad</email>
              <email type="domain">labri.fr</email>
              <idno type="idhal" notation="string">anca-muscholl</idno>
              <idno type="idhal" notation="numeric">183307</idno>
              <idno type="halauthorid" notation="string">209529-183307</idno>
              <affiliation ref="#struct-3102"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Olivier</forename>
                <surname>Serre</surname>
              </persName>
              <email type="md5">a00f1a039b371dd1003b38c16bb7c6a4</email>
              <email type="domain">liafa.jussieu.fr</email>
              <idno type="idhal" notation="string">olivier-serre</idno>
              <idno type="idhal" notation="numeric">1118</idno>
              <idno type="halauthorid" notation="string">636-1118</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5936-240X</idno>
              <idno type="IDREF">https://www.idref.fr/089054407</idno>
              <affiliation ref="#struct-1033"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Marc</forename>
                <surname>Zeitoun</surname>
              </persName>
              <email type="md5">51c56a1c8fe3364ee34a14643dc23000</email>
              <email type="domain">labri.fr</email>
              <idno type="idhal" notation="string">marc-zeitoun</idno>
              <idno type="idhal" notation="numeric">19605</idno>
              <idno type="halauthorid" notation="string">20789-19605</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4101-8437</idno>
              <idno type="IDREF">https://www.idref.fr/030912865</idno>
              <affiliation ref="#struct-3102"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Anca</forename>
                <surname>Muscholl</surname>
              </persName>
              <email type="md5">b44dedd245cc083ab82e548419d20cad</email>
              <email type="domain">labri.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-03-10 09:58:31</date>
              <date type="whenModified">2025-05-26 14:36:02</date>
              <date type="whenReleased">2016-03-11 10:32:02</date>
              <date type="whenProduced">2008</date>
              <date type="whenEndEmbargoed">2016-03-10</date>
              <ref type="file" target="https://hal.science/hal-00344551v1/document">
                <date notBefore="2016-03-10"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00344551v1/file/ATVA-GMSZ08-long.pdf" id="file-1285955-1365817">
                <date notBefore="2016-03-10"/>
              </ref>
              <ref type="externalLink" target="http://www.lsv.ens-cachan.fr/Projects/anr-dots/PUBLIS/GMSZ-atva08.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="483804">
                <persName>
                  <forename>Anca</forename>
                  <surname>Muscholl</surname>
                </persName>
                <email type="md5">b44dedd245cc083ab82e548419d20cad</email>
                <email type="domain">labri.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00344551</idno>
            <idno type="halUri">https://hal.science/hal-00344551</idno>
            <idno type="halBibtex">genest:hal-00344551</idno>
            <idno type="halRefHtml">&lt;i&gt;Automated Technology for Verification and Analysis&lt;/i&gt;, 2008, Séoul, South Korea. pp.332-346, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-540-88387-6_29"&gt;&amp;#x27E8;10.1007/978-3-540-88387-6_29&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Automated Technology for Verification and Analysis, 2008, Séoul, South Korea. pp.332-346, &amp;#x27E8;10.1007/978-3-540-88387-6_29&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1285955-1365817"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS7" corresp="UNIV-PARIS">Université Denis Diderot - Paris VII</idno>
            <idno type="stamp" n="EC-PARIS">Ecole Centrale Paris</idno>
            <idno type="stamp" n="UNIV-RENNES1">Université de Rennes 1</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INSA-RENNES">Institut National des Sciences Appliquées de Rennes</idno>
            <idno type="stamp" n="ENSEIRB">Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux</idno>
            <idno type="stamp" n="INRIA-RENNES">INRIA Rennes - Bretagne Atlantique</idno>
            <idno type="stamp" n="IRISA">Irisa</idno>
            <idno type="stamp" n="UNIV-BORDEAUX">Université de Bordeaux</idno>
            <idno type="stamp" n="IRISA_SET">IRISA_SET</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="TESTBORDEAUX">TESTBORDEAUX</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UR1-HAL">Publications labos UR1 dans HAL-Rennes 1</idno>
            <idno type="stamp" n="UR1-MATH-STIC">UR1 - publications Maths-STIC</idno>
            <idno type="stamp" n="UR1-UFR-ISTIC">UFR ISTIC Informatique et électronique</idno>
            <idno type="stamp" n="TEST-UNIV-RENNES">TEST Université de Rennes</idno>
            <idno type="stamp" n="TEST-UR-CSS">TEST Université de Rennes CSS</idno>
            <idno type="stamp" n="UNIV-RENNES">Université de Rennes</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="UNIV-PARIS">Université Paris Cité</idno>
            <idno type="stamp" n="UR1-MATH-NUM">Pôle UnivRennes - Mathématiques - Numérique </idno>
            <idno type="stamp" n="UNIVERSITE-BORDEAUX">Université de Bordeaux</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Tree Pattern Rewriting Systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Blaise</forename>
                    <surname>Genest</surname>
                  </persName>
                  <email type="md5">1a05d24cc28bfdf91fe848fed4ba8fd5</email>
                  <email type="domain">irisa.fr</email>
                  <idno type="idhal" notation="numeric">840766</idno>
                  <idno type="halauthorid" notation="string">212567-840766</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5758-1876</idno>
                  <idno type="IDREF">https://www.idref.fr/108004643</idno>
                  <idno type="VIAF">https://viaf.org/viaf/189650824</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000356670065</idno>
                  <affiliation ref="#struct-2515"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Anca</forename>
                    <surname>Muscholl</surname>
                  </persName>
                  <email type="md5">b44dedd245cc083ab82e548419d20cad</email>
                  <email type="domain">labri.fr</email>
                  <idno type="idhal" notation="string">anca-muscholl</idno>
                  <idno type="idhal" notation="numeric">183307</idno>
                  <idno type="halauthorid" notation="string">209529-183307</idno>
                  <affiliation ref="#struct-3102"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Olivier</forename>
                    <surname>Serre</surname>
                  </persName>
                  <email type="md5">a00f1a039b371dd1003b38c16bb7c6a4</email>
                  <email type="domain">liafa.jussieu.fr</email>
                  <idno type="idhal" notation="string">olivier-serre</idno>
                  <idno type="idhal" notation="numeric">1118</idno>
                  <idno type="halauthorid" notation="string">636-1118</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5936-240X</idno>
                  <idno type="IDREF">https://www.idref.fr/089054407</idno>
                  <affiliation ref="#struct-1033"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Marc</forename>
                    <surname>Zeitoun</surname>
                  </persName>
                  <email type="md5">51c56a1c8fe3364ee34a14643dc23000</email>
                  <email type="domain">labri.fr</email>
                  <idno type="idhal" notation="string">marc-zeitoun</idno>
                  <idno type="idhal" notation="numeric">19605</idno>
                  <idno type="halauthorid" notation="string">20789-19605</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4101-8437</idno>
                  <idno type="IDREF">https://www.idref.fr/030912865</idno>
                  <affiliation ref="#struct-3102"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>Automated Technology for Verification and Analysis</title>
                  <date type="start">2008</date>
                  <settlement>Séoul</settlement>
                  <country key="KR">South Korea</country>
                </meeting>
                <imprint>
                  <biblScope unit="serie">Lecture Notes in Computer Science</biblScope>
                  <biblScope unit="volume">5311</biblScope>
                  <biblScope unit="pp">332-346</biblScope>
                  <date type="datePub">2008</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-540-88387-6_29</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-oh">Computer Science [cs]/Other [cs.OH]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing importance of web services. We define here Tree Pattern Rewriting Systems (TPRS) as an abstract model of dynamic XML-based documents. TPRS systems generate infinite transition systems, where states are unranked and unordered trees (hence possibly modeling XML documents). The guarded transition rules are described by means of tree patterns. Our main result is that given a TPRS system (T, R), a tree pattern P and some integer k such that any reachable document from T has depth at most k, it is decidable (albeit of non elementary complexity) whether some tree satisfying P is reachable from T.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-2515" status="OLD">
          <idno type="RNSR">200418351J</idno>
          <orgName>Distributed and Iterative Algorithms for the Management of Telecommunications Systems</orgName>
          <orgName type="acronym">DISTRIBCOM</orgName>
          <date type="start">2004-05-03</date>
          <date type="end">2012-12-31</date>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu 35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/distribcom</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2494" type="direct"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="ESA6074 / URA227" active="#struct-441569" type="indirect"/>
            <relation active="#struct-419153" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-3102" status="VALID">
          <idno type="IdRef">155054465</idno>
          <idno type="ISNI">0000000122898198</idno>
          <idno type="RNSR">199511665F</idno>
          <idno type="ROR">https://ror.org/03adqg323</idno>
          <idno type="Wikidata">Q3214395</idno>
          <orgName>Laboratoire Bordelais de Recherche en Informatique</orgName>
          <orgName type="acronym">LaBRI</orgName>
          <date type="start">1988-01-01</date>
          <desc>
            <address>
              <addrLine>Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.labri.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-259761" type="direct"/>
            <relation active="#struct-300366" type="direct"/>
            <relation name="UMR5800 / URA1304" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1033" status="OLD">
          <orgName>Laboratoire d'informatique Algorithmique : Fondements et Applications</orgName>
          <orgName type="acronym">LIAFA</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>Université Paris Diderot, Bât. Sophie Germain, case postale 7014, 75205 Paris cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.liafa.jussieu.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300301" type="direct"/>
            <relation name="UMR7089" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2494" status="OLD">
          <orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
          <orgName type="acronym">IRISA</orgName>
          <date type="start">1980-01-01</date>
          <date type="end">1999-12-31</date>
          <desc>
            <address>
              <addrLine>Campus universitaire de Beaulieu - 35042 Rennes</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irisa.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105160" type="direct"/>
            <relation active="#struct-117606" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="ESA6074 / URA227" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-105160" status="VALID">
          <idno type="IdRef">26693823X</idno>
          <idno type="ROR">https://ror.org/015m7wh34</idno>
          <orgName>Université de Rennes</orgName>
          <orgName type="acronym">UR</orgName>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-rennes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-117606" status="VALID">
          <idno type="ROR">https://ror.org/04xaa4j22</idno>
          <orgName>Institut National des Sciences Appliquées - Rennes</orgName>
          <orgName type="acronym">INSA Rennes</orgName>
          <desc>
            <address>
              <addrLine>20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-rennes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </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="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="laboratory" xml:id="struct-419153" status="VALID">
          <idno type="RNSR">198018249C</idno>
          <idno type="ROR">https://ror.org/04040yw90</idno>
          <orgName>Centre Inria de l'Université de Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/rennes</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-259761" status="VALID">
          <idno type="IdRef">175206562</idno>
          <idno type="ROR">https://ror.org/057qpr032</idno>
          <orgName>Université de Bordeaux</orgName>
          <orgName type="acronym">UB</orgName>
          <desc>
            <address>
              <addrLine>35, place Pey Berland - 33076 Bordeaux</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-bordeaux.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300366" status="VALID">
          <orgName>École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300301" status="OLD">
          <idno type="IdRef">027542084</idno>
          <idno type="ISNI">0000000121514068</idno>
          <idno type="ROR">https://ror.org/02n7qrg46</idno>
          <orgName>Université Paris Diderot - Paris 7</orgName>
          <orgName type="acronym">UPD7</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>5 rue Thomas-Mann - 75205 Paris cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris-diderot.fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>