<?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 inria-00527548</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-23T00:13:37+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Automatic reduction of stochastic rules-based models in a nutshell</title>
            <author role="aut">
              <persName>
                <forename type="first">Ferdinanda</forename>
                <surname>Camporesi</surname>
              </persName>
              <email type="md5">b7b7cdcb21f91f0ca129c7c2672a19c9</email>
              <email type="domain">di.ens.fr</email>
              <idno type="idhal" notation="numeric">880829</idno>
              <idno type="halauthorid" notation="string">498219-880829</idno>
              <orgName ref="#struct-0"/>
              <affiliation ref="#struct-54508"/>
              <affiliation ref="#struct-30978"/>
            </author>
            <author role="crp">
              <persName>
                <forename type="first">Jérôme</forename>
                <surname>Feret</surname>
              </persName>
              <email type="md5">1be6d35ad026450ab59de8bbff481ad5</email>
              <email type="domain">ens.fr</email>
              <idno type="idhal" notation="string">jerome-feret</idno>
              <idno type="idhal" notation="numeric">749591</idno>
              <idno type="halauthorid" notation="string">371587-749591</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=TcO5mvwAAAAJ&amp;hl=fr</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2601-2785</idno>
              <affiliation ref="#struct-54508"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Heinz</forename>
                <surname>Koeppl</surname>
              </persName>
              <email type="md5">c8e2360f9a456ee728c9b16ce2e424ee</email>
              <email type="domain">epfl.ch</email>
              <idno type="idhal" notation="numeric">880830</idno>
              <idno type="halauthorid" notation="string">498220-880830</idno>
              <orgName ref="#struct-302851"/>
              <affiliation ref="#struct-302851"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Tatjana</forename>
                <surname>Petrov</surname>
              </persName>
              <email type="md5">8536b73a16c64df6eab756d4a419f7d8</email>
              <email type="domain">epfl.ch</email>
              <idno type="idhal" notation="numeric">880831</idno>
              <idno type="halauthorid" notation="string">498221-880831</idno>
              <orgName ref="#struct-302851"/>
              <affiliation ref="#struct-302851"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Jérôme</forename>
                <surname>Feret</surname>
              </persName>
              <email type="md5">1be6d35ad026450ab59de8bbff481ad5</email>
              <email type="domain">ens.fr</email>
            </editor>
            <funder ref="#projanr-31430"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-02-17 09:39:24</date>
              <date type="whenModified">2026-03-24 15:32:03</date>
              <date type="whenReleased">2025-02-17 11:14:24</date>
              <date type="whenProduced">2010-09-19</date>
              <date type="whenEndEmbargoed">2025-02-17</date>
              <ref type="file" target="https://inria.hal.science/inria-00527548v1/document">
                <date notBefore="2025-02-17"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/inria-00527548v1/file/icnaam.pdf" id="file-4950868-4293997">
                <date notBefore="2025-02-17"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="155506">
                <persName>
                  <forename>Jérôme</forename>
                  <surname>Feret</surname>
                </persName>
                <email type="md5">1be6d35ad026450ab59de8bbff481ad5</email>
                <email type="domain">ens.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">inria-00527548</idno>
            <idno type="halUri">https://inria.hal.science/inria-00527548</idno>
            <idno type="halBibtex">camporesi:inria-00527548</idno>
            <idno type="halRefHtml">&lt;i&gt;International Conference of Numerical Analysis and Applied Mathematics - ICNAAM 2010&lt;/i&gt;, Sep 2010, Rhodos, Greece. pp.1330-1334, &lt;a target="_blank" href="https://dx.doi.org/10.1063/1.3497965"&gt;&amp;#x27E8;10.1063/1.3497965&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">International Conference of Numerical Analysis and Applied Mathematics - ICNAAM 2010, Sep 2010, Rhodos, Greece. pp.1330-1334, &amp;#x27E8;10.1063/1.3497965&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-4950868-4293997"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENS-PARIS">Ecole Normale Supérieure de Paris</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="INRIA-ROCQ">INRIA Paris - Rocquencourt</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="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="PSL">Université Paris sciences et lettres</idno>
            <idno type="stamp" n="ENS-PSL" corresp="PSL">École normale supérieure - PSL</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="DIENS" corresp="ENS-PARIS">Département d'informatique de l'ENS-PSL</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">Automatic reduction of stochastic rules-based models in a nutshell</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Ferdinanda</forename>
                    <surname>Camporesi</surname>
                  </persName>
                  <email type="md5">b7b7cdcb21f91f0ca129c7c2672a19c9</email>
                  <email type="domain">di.ens.fr</email>
                  <idno type="idhal" notation="numeric">880829</idno>
                  <idno type="halauthorid" notation="string">498219-880829</idno>
                  <orgName ref="#struct-0"/>
                  <affiliation ref="#struct-54508"/>
                  <affiliation ref="#struct-30978"/>
                </author>
                <author role="crp">
                  <persName>
                    <forename type="first">Jérôme</forename>
                    <surname>Feret</surname>
                  </persName>
                  <email type="md5">1be6d35ad026450ab59de8bbff481ad5</email>
                  <email type="domain">ens.fr</email>
                  <idno type="idhal" notation="string">jerome-feret</idno>
                  <idno type="idhal" notation="numeric">749591</idno>
                  <idno type="halauthorid" notation="string">371587-749591</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=TcO5mvwAAAAJ&amp;hl=fr</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2601-2785</idno>
                  <affiliation ref="#struct-54508"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Heinz</forename>
                    <surname>Koeppl</surname>
                  </persName>
                  <email type="md5">c8e2360f9a456ee728c9b16ce2e424ee</email>
                  <email type="domain">epfl.ch</email>
                  <idno type="idhal" notation="numeric">880830</idno>
                  <idno type="halauthorid" notation="string">498220-880830</idno>
                  <orgName ref="#struct-302851"/>
                  <affiliation ref="#struct-302851"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Tatjana</forename>
                    <surname>Petrov</surname>
                  </persName>
                  <email type="md5">8536b73a16c64df6eab756d4a419f7d8</email>
                  <email type="domain">epfl.ch</email>
                  <idno type="idhal" notation="numeric">880831</idno>
                  <idno type="halauthorid" notation="string">498221-880831</idno>
                  <orgName ref="#struct-302851"/>
                  <affiliation ref="#struct-302851"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>International Conference of Numerical Analysis and Applied Mathematics - ICNAAM 2010</title>
                  <date type="start">2010-09-19</date>
                  <date type="end">2010-09-25</date>
                  <settlement>Rhodos</settlement>
                  <country key="GR">Greece</country>
                </meeting>
                <editor>T.E. Simos</editor>
                <imprint>
                  <publisher>American Institute of Physics</publisher>
                  <biblScope unit="serie">American Institute of Physics conference proceedings</biblScope>
                  <biblScope unit="volume">1281(2)</biblScope>
                  <biblScope unit="pp">1330-1334</biblScope>
                  <date type="datePub">2010-09</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1063/1.3497965</idno>
              <ref target="http://www.di.ens.fr/~feret/publication/icnaam.html" type="seeAlso"/>
            </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>Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each other, which leads to the formation of a huge number of distinct chemical species. Thus we cannot generate explicitly the quantitative semantics of these models, and it is even harder to compute their properties. In this extended abstract, we summarize a framework for reducing the combinatorial complexity of models of biochemical networks. We use rules-based languages to describe the interactions between proteins. Then we compile these models into continuous-time Markov chains. Finally, we use backward bisimulations in order to reduce the dimension of the state space of these Markov chains. More specifically, these backward bisimulations are defined thanks to an abstraction of the control flow of information within chemical species and thanks to an algorithm which detects which protein sites have the same capabilities of interaction.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-54508" status="OLD">
          <idno type="RNSR">200818329T</idno>
          <orgName>Abstract Interpretation and Static Analysis</orgName>
          <orgName type="acronym">ABSTRACTION</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/abstraction</ref>
          </desc>
          <listRelation>
            <relation active="#struct-25027" type="direct"/>
            <relation active="#struct-59704" type="indirect"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR8548" active="#struct-441569" type="direct"/>
            <relation active="#struct-86790" type="direct"/>
            <relation name="UMR 8548" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-30978" status="VALID">
          <idno type="ROR">https://ror.org/01111rn36</idno>
          <orgName>Alma Mater Studiorum Università di Bologna = University of Bologna [Bologne]</orgName>
          <orgName type="acronym">UNIBO</orgName>
          <desc>
            <address>
              <addrLine>Via Zamboni, 33 - 40126 Bologna</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">http://www.eng.unibo.it/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-302851" status="VALID">
          <idno type="IdRef">029644631</idno>
          <idno type="ROR">https://ror.org/02s376052</idno>
          <orgName>Ecole Polytechnique Fédérale de Lausanne</orgName>
          <orgName type="acronym">EPFL</orgName>
          <desc>
            <address>
              <addrLine>CH-1015 Lausanne, Switzerland</addrLine>
              <country key="CH"/>
            </address>
            <ref type="url">https://www.epfl.ch</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-25027" status="VALID">
          <idno type="IdRef">148034055</idno>
          <idno type="RNSR">199812876J</idno>
          <idno type="ROR">05y6rqs46</idno>
          <orgName>Département d'informatique - ENS-PSL</orgName>
          <orgName type="acronym">DI-ENS</orgName>
          <date type="start">1999-01-01</date>
          <desc>
            <address>
              <addrLine>École normale supérieure 45 rue d'Ulm F-75230 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.di.ens.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-59704" type="direct"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR8548" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-59704" status="VALID">
          <idno type="IdRef">031738419</idno>
          <idno type="ISNI">0000000123532622</idno>
          <idno type="ROR">https://ror.org/05a0dhs15</idno>
          <orgName>École normale supérieure - Paris</orgName>
          <orgName type="acronym">ENS-PSL</orgName>
          <date type="start">1985-07-24</date>
          <desc>
            <address>
              <addrLine>45, Rue d'Ulm - 75230 Paris cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens.psl.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-564132" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-564132" status="VALID">
          <idno type="IdRef">241597595</idno>
          <idno type="ISNI">0000 0004 1784 3645</idno>
          <idno type="ROR">https://ror.org/013cjyk83</idno>
          <orgName>Université Paris Sciences et Lettres</orgName>
          <orgName type="acronym">PSL</orgName>
          <desc>
            <address>
              <addrLine>60 rue Mazarine 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.psl.eu/</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="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-86790" status="OLD">
          <orgName>Inria Paris-Rocquencourt</orgName>
          <date type="end">2016-03-30</date>
          <desc>
            <address>
              <addrLine>INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris-rocquencourt</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-31430" status="VALID">
          <idno type="anr">ANR-09-CEXC-0001</idno>
          <idno type="program">Chaires d’excellence</idno>
          <orgName>AbstractCell</orgName>
          <desc>Abstraction formelle de sémantiques quantitatives pour les modèles de réseaux d'interactions entre protéines dans les celluces.</desc>
          <date type="start">2009</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>