<?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-00293530</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-26T05:30:00+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Symbolic modeling of genetic regulatory networks</title>
            <author role="aut">
              <persName>
                <forename type="first">Daniel</forename>
                <surname>Mateus</surname>
              </persName>
              <email type="md5">975a295a51336bd5984ffadbcc536290</email>
              <email type="domain">cea.fr</email>
              <idno type="idhal" notation="numeric">850190</idno>
              <idno type="halauthorid" notation="string">321719-850190</idno>
              <affiliation ref="#struct-40217"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Pierre</forename>
                <surname>Gallois</surname>
              </persName>
              <email type="md5">bec9c63d0d3c4ebdc0de9b3e3d015588</email>
              <email type="domain">cea.fr</email>
              <idno type="idhal" notation="numeric">1026008</idno>
              <idno type="halauthorid" notation="string">1292946-1026008</idno>
              <orgName ref="#struct-40217"/>
              <affiliation ref="#struct-40217"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Paul</forename>
                <surname>Comet</surname>
              </persName>
              <email type="md5">06dd9530350d92b24c68ca8082f59485</email>
              <email type="domain">univ-cotedazur.fr</email>
              <idno type="idhal" notation="string">jean-paulcomet</idno>
              <idno type="idhal" notation="numeric">6393</idno>
              <idno type="halauthorid" notation="string">7007-6393</idno>
              <idno type="IDREF">https://www.idref.fr/114386218</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6681-3501</idno>
              <idno type="VIAF">https://viaf.org/viaf/197985942</idno>
              <idno type="ISNI">http://isni.org/isni/0000000357703738</idno>
              <affiliation ref="#struct-82587"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pascale</forename>
                <surname>Le Gall</surname>
              </persName>
              <email type="md5">5513f4bca5ec36d322086c1037ab3a3a</email>
              <email type="domain">centralesupelec.fr</email>
              <idno type="idhal" notation="string">pascale-le-gall</idno>
              <idno type="idhal" notation="numeric">170929</idno>
              <idno type="halauthorid" notation="string">40654-170929</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8955-6835</idno>
              <idno type="IDREF">https://www.idref.fr/081059310</idno>
              <idno type="VIAF">https://viaf.org/viaf/208139891</idno>
              <affiliation ref="#struct-82587"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Jean-Paul</forename>
                <surname>Comet</surname>
              </persName>
              <email type="md5">06dd9530350d92b24c68ca8082f59485</email>
              <email type="domain">univ-cotedazur.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2008-07-04 18:09:14</date>
              <date type="whenModified">2025-04-17 09:48:14</date>
              <date type="whenReleased">2008-07-04 18:09:14</date>
              <date type="whenProduced">2007</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="129951">
                <persName>
                  <forename>Jean-Paul</forename>
                  <surname>Comet</surname>
                </persName>
                <email type="md5">06dd9530350d92b24c68ca8082f59485</email>
                <email type="domain">univ-cotedazur.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00293530</idno>
            <idno type="halUri">https://hal.science/hal-00293530</idno>
            <idno type="halBibtex">mateus:hal-00293530</idno>
            <idno type="halRefHtml">&lt;i&gt;Journal of Bioinformatics and Computational Biology&lt;/i&gt;, 2007, 5 (2B), pp.627-640</idno>
            <idno type="halRef">Journal of Bioinformatics and Computational Biology, 2007, 5 (2B), pp.627-640</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CEA">CEA - Commissariat à l'énergie atomique</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-EVRY">Université d'Evry-Val d'Essonne</idno>
            <idno type="stamp" n="IBISC" corresp="UNIV-EVRY">Informatique, Biologie Intégrative et Systèmes Complexes</idno>
            <idno type="stamp" n="IBISC-RMF" corresp="IBISC">Réseaux et Méthodes Formelles</idno>
            <idno type="stamp" n="DRT" corresp="CEA">Direction de la recherche technologique</idno>
            <idno type="stamp" n="LIST" corresp="CEA">Laboratoire d'Intégration des Systèmes et des Technologies</idno>
            <idno type="stamp" n="GS-SPORT-HUMAN-MOVEMENT">Graduate School Sport, Mouvement, Facteurs Humains</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">Symbolic modeling of genetic regulatory networks</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Daniel</forename>
                    <surname>Mateus</surname>
                  </persName>
                  <email type="md5">975a295a51336bd5984ffadbcc536290</email>
                  <email type="domain">cea.fr</email>
                  <idno type="idhal" notation="numeric">850190</idno>
                  <idno type="halauthorid" notation="string">321719-850190</idno>
                  <affiliation ref="#struct-40217"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Pierre</forename>
                    <surname>Gallois</surname>
                  </persName>
                  <email type="md5">bec9c63d0d3c4ebdc0de9b3e3d015588</email>
                  <email type="domain">cea.fr</email>
                  <idno type="idhal" notation="numeric">1026008</idno>
                  <idno type="halauthorid" notation="string">1292946-1026008</idno>
                  <orgName ref="#struct-40217"/>
                  <affiliation ref="#struct-40217"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Paul</forename>
                    <surname>Comet</surname>
                  </persName>
                  <email type="md5">06dd9530350d92b24c68ca8082f59485</email>
                  <email type="domain">univ-cotedazur.fr</email>
                  <idno type="idhal" notation="string">jean-paulcomet</idno>
                  <idno type="idhal" notation="numeric">6393</idno>
                  <idno type="halauthorid" notation="string">7007-6393</idno>
                  <idno type="IDREF">https://www.idref.fr/114386218</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6681-3501</idno>
                  <idno type="VIAF">https://viaf.org/viaf/197985942</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000357703738</idno>
                  <affiliation ref="#struct-82587"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pascale</forename>
                    <surname>Le Gall</surname>
                  </persName>
                  <email type="md5">5513f4bca5ec36d322086c1037ab3a3a</email>
                  <email type="domain">centralesupelec.fr</email>
                  <idno type="idhal" notation="string">pascale-le-gall</idno>
                  <idno type="idhal" notation="numeric">170929</idno>
                  <idno type="halauthorid" notation="string">40654-170929</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8955-6835</idno>
                  <idno type="IDREF">https://www.idref.fr/081059310</idno>
                  <idno type="VIAF">https://viaf.org/viaf/208139891</idno>
                  <affiliation ref="#struct-82587"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">11437</idno>
                <idno type="issn">0219-7200</idno>
                <idno type="eissn">1757-6334</idno>
                <title level="j">Journal of Bioinformatics and Computational Biology</title>
                <imprint>
                  <publisher>World Scientific Publishing</publisher>
                  <biblScope unit="volume">5</biblScope>
                  <biblScope unit="issue">2B</biblScope>
                  <biblScope unit="pp">627-640</biblScope>
                  <date type="datePub">2007</date>
                </imprint>
              </monogr>
            </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="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>Understanding the functioning of genetic regulatory networks supposes a modeling of biological processes in order to simulate behaviors and to reason on the model. Unfortunately, the modeling task is confronted to incomplete knowledge about the system. To deal with this problem we propose a methodology that uses the qualitative approach developed by R. Thomas. A symbolic transition system can represent the set of all possible models in a concise and symbolic way. We introduce a new method based on model-checking techniques and symbolic execution to extract constraints on parameters leading to dynamics coherent with known behaviors. Our method allows us to e±ciently respond to two kinds of questions: is there any model coherent with a certain hypothetic behavior? Are there behaviors common to all selected models? The first question is illustrated with the example of the mucus production in Pseudomonas aeruginosa while the second one is illustrated with the example of immunity control in bacteriophage lambda.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-40217" status="VALID">
          <idno type="IdRef">156836882</idno>
          <idno type="ISNI">0000 0004 0405 1788</idno>
          <idno type="RNSR">200118591H</idno>
          <idno type="ROR">https://ror.org/000dbcc61</idno>
          <idno type="Wikidata">Q30299467</idno>
          <orgName>Laboratoire d'Intégration des Systèmes et des Technologies</orgName>
          <orgName type="acronym">LIST (CEA)</orgName>
          <desc>
            <address>
              <addrLine>DRT/LISTNano-INNOVAvenue de la Vauve91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-list.cea.fr/</ref>
          </desc>
          <listRelation>
            <relation name="DRT/LIST" active="#struct-440043" type="direct"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-82587" status="OLD">
          <idno type="IdRef">201055902</idno>
          <idno type="RNSR">201019077X</idno>
          <orgName>Informatique, Biologie Intégrative et Systèmes Complexes</orgName>
          <orgName type="acronym">IBISC</orgName>
          <date type="start">2006-01-01</date>
          <date type="end">2007-12-31</date>
          <desc>
            <address>
              <addrLine>40,rue du pelvoux, Courcouronnes 91020 EVRY CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ibisc.univ-evry.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300306" type="direct"/>
            <relation name="FRE2870" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-440043" status="VALID">
          <idno type="IdRef">067087930</idno>
          <idno type="ISNI">0000000121157881</idno>
          <idno type="RNSR">199018589D</idno>
          <idno type="ROR">https://ror.org/02ggzyd20</idno>
          <idno type="Wikidata">Q30299418</idno>
          <orgName>Direction de Recherche Technologique (CEA)</orgName>
          <orgName type="acronym">DRT (CEA)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.drt-cea.com/</ref>
          </desc>
          <listRelation>
            <relation name="DRT" active="#struct-300016" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300016" status="VALID">
          <idno type="IdRef">026372061</idno>
          <idno type="ISNI">0000000122998025</idno>
          <idno type="ROR">https://ror.org/00jjx8s55</idno>
          <idno type="Wikidata">Q868550</idno>
          <orgName>Commissariat à l'énergie atomique et aux énergies alternatives</orgName>
          <orgName type="acronym">CEA</orgName>
          <desc>
            <address>
              <addrLine>Centre de SaclayCentre de GrenobleCentre de Cadaracheetc</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cea.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300306" status="VALID">
          <idno type="IdRef">030820529</idno>
          <idno type="ISNI">0000000121805818</idno>
          <idno type="ROR">https://ror.org/00e96v939</idno>
          <idno type="Wikidata">Q1531014</idno>
          <orgName>Université d'Évry-Val-d'Essonne</orgName>
          <orgName type="acronym">UEVE</orgName>
          <date type="start">1991-07-22</date>
          <desc>
            <address>
              <addrLine>Boulevard François Mitterrand 91025 Evry Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-evry.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>
      </listOrg>
    </back>
  </text>
</TEI>