<?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-04629083</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-21T17:16:14+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">BoNesis: a Python-based declarative environment for the verification, reprogramming, and synthesis of Most Permissive Boolean networks</title>
            <author role="aut">
              <persName>
                <forename type="first">Stéphanie</forename>
                <surname>Chevalier</surname>
              </persName>
              <email type="md5">893d57acf2a9b7d93a5e5917aed2fa97</email>
              <email type="domain">lri.fr</email>
              <idno type="idhal" notation="string">stephanie-chevalier</idno>
              <idno type="idhal" notation="numeric">177445</idno>
              <idno type="halauthorid" notation="string">46035-177445</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9060-6863</idno>
              <idno type="IDREF">https://www.idref.fr/266361358</idno>
              <affiliation ref="#struct-1062146"/>
              <affiliation ref="#struct-1212202"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Déborah</forename>
                <surname>Boyenval</surname>
              </persName>
              <idno type="halauthorid">2316376-0</idno>
              <affiliation ref="#struct-3102"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Gustavo</forename>
                <surname>Magaña-López</surname>
              </persName>
              <idno type="halauthorid">3184986-0</idno>
              <affiliation ref="#struct-3102"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Théo</forename>
                <surname>Roncalli</surname>
              </persName>
              <idno type="halauthorid">2531739-0</idno>
              <affiliation ref="#struct-3102"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Athénaïs</forename>
                <surname>Vaginay</surname>
              </persName>
              <idno type="halauthorid">47690-0</idno>
              <affiliation ref="#struct-510106"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Loïc</forename>
                <surname>Paulevé</surname>
              </persName>
              <email type="md5">b84e6500b87083d3a8811a1e9c9543bf</email>
              <email type="domain">labri.fr</email>
              <idno type="idhal" notation="string">loic-pauleve</idno>
              <idno type="idhal" notation="numeric">1861</idno>
              <idno type="halauthorid" notation="string">19288-1861</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-7219-2027</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=Lcdry6AAAAAJ</idno>
              <idno type="IDREF">https://www.idref.fr/127903690</idno>
              <affiliation ref="#struct-3102"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Loïc</forename>
                <surname>Paulevé</surname>
              </persName>
              <email type="md5">b84e6500b87083d3a8811a1e9c9543bf</email>
              <email type="domain">labri.fr</email>
            </editor>
            <funder ref="#projanr-51808"/>
            <funder ref="#projanr-98258"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2024-06-28 17:32:47</date>
              <date type="whenModified">2026-01-28 14:38:45</date>
              <date type="whenReleased">2024-07-01 10:41:53</date>
              <date type="whenProduced">2024-09-16</date>
              <date type="whenEndEmbargoed">2024-06-28</date>
              <ref type="file" target="https://hal.science/hal-04629083v1/document">
                <date notBefore="2024-06-28"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-04629083v1/file/main.pdf" id="file-4629083-4018167">
                <date notBefore="2024-06-28"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="135032">
                <persName>
                  <forename>Loïc</forename>
                  <surname>Paulevé</surname>
                </persName>
                <email type="md5">b84e6500b87083d3a8811a1e9c9543bf</email>
                <email type="domain">labri.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04629083</idno>
            <idno type="halUri">https://hal.science/hal-04629083</idno>
            <idno type="halBibtex">chevalier:hal-04629083</idno>
            <idno type="halRefHtml">&lt;i&gt;CMSB 2024: 22nd International Conference on Computational Methods in Systems Biology&lt;/i&gt;, Sep 2024, Pisa, Italy. &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-031-71671-3_6"&gt;&amp;#x27E8;10.1007/978-3-031-71671-3_6&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">CMSB 2024: 22nd International Conference on Computational Methods in Systems Biology, Sep 2024, Pisa, Italy. &amp;#x27E8;10.1007/978-3-031-71671-3_6&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4629083-4018167"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="ENSEIRB">Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux</idno>
            <idno type="stamp" n="UNIV-BORDEAUX">Université de Bordeaux</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="TESTBORDEAUX">TESTBORDEAUX</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="UNIVERSITE-PARIS-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="LISN">Laboratoire Interdisciplinaire des Sciences du Numérique</idno>
            <idno type="stamp" n="GS-COMPUTER-SCIENCE">Graduate School Computer Science</idno>
            <idno type="stamp" n="LISN-BIOINFO" corresp="LISN">BioInformatique </idno>
            <idno type="stamp" n="PEPR_SANTENUM">PEPR Santé numérique</idno>
            <idno type="stamp" n="PSACLAY-TEST">Université Paris-Saclay - Collection pour tests</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">BoNesis: a Python-based declarative environment for the verification, reprogramming, and synthesis of Most Permissive Boolean networks</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Stéphanie</forename>
                    <surname>Chevalier</surname>
                  </persName>
                  <email type="md5">893d57acf2a9b7d93a5e5917aed2fa97</email>
                  <email type="domain">lri.fr</email>
                  <idno type="idhal" notation="string">stephanie-chevalier</idno>
                  <idno type="idhal" notation="numeric">177445</idno>
                  <idno type="halauthorid" notation="string">46035-177445</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9060-6863</idno>
                  <idno type="IDREF">https://www.idref.fr/266361358</idno>
                  <affiliation ref="#struct-1062146"/>
                  <affiliation ref="#struct-1212202"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Déborah</forename>
                    <surname>Boyenval</surname>
                  </persName>
                  <idno type="halauthorid">2316376-0</idno>
                  <affiliation ref="#struct-3102"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Gustavo</forename>
                    <surname>Magaña-López</surname>
                  </persName>
                  <idno type="halauthorid">3184986-0</idno>
                  <affiliation ref="#struct-3102"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Théo</forename>
                    <surname>Roncalli</surname>
                  </persName>
                  <idno type="halauthorid">2531739-0</idno>
                  <affiliation ref="#struct-3102"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Athénaïs</forename>
                    <surname>Vaginay</surname>
                  </persName>
                  <idno type="halauthorid">47690-0</idno>
                  <affiliation ref="#struct-510106"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Loïc</forename>
                    <surname>Paulevé</surname>
                  </persName>
                  <email type="md5">b84e6500b87083d3a8811a1e9c9543bf</email>
                  <email type="domain">labri.fr</email>
                  <idno type="idhal" notation="string">loic-pauleve</idno>
                  <idno type="idhal" notation="numeric">1861</idno>
                  <idno type="halauthorid" notation="string">19288-1861</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-7219-2027</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=Lcdry6AAAAAJ</idno>
                  <idno type="IDREF">https://www.idref.fr/127903690</idno>
                  <affiliation ref="#struct-3102"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>CMSB 2024: 22nd International Conference on Computational Methods in Systems Biology</title>
                  <date type="start">2024-09-16</date>
                  <date type="end">2024-09-18</date>
                  <settlement>Pisa</settlement>
                  <country key="IT">Italy</country>
                </meeting>
                <imprint/>
              </monogr>
              <idno type="doi">10.1007/978-3-031-71671-3_6</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halDomain" n="info.info-bi">Computer Science [cs]/Bioinformatics [q-bio.QM]</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>BoNesis is a Python library which offers a declarative framework for the synthesis of Boolean networks from advanced dynamical properties, such as reachability, bifurcation, minimal trap spaces, stable states, and mutations. It combines recent theoretical advances on Boolean networks with the Most Permissive update mode and efficient resolution of logic programs expressed in Answer-Set Programming. Its main application domain is the inference of Boolean models from bulk and single-cell gene expression data of cell-fate, differentiation and reprogramming processes.BoNesis is distributed under the GPLv3-compatible free software license CeCILL and is available at https://bnediction.github.io/bonesis.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-1062146" status="VALID">
          <orgName>BioInformatique - LISN</orgName>
          <orgName type="acronym">BioInfo</orgName>
          <date type="start">2021-01-01</date>
          <desc>
            <address>
              <addrLine>Université Paris-Saclay, Bâtiment 650, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-1061259" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-419361" type="indirect"/>
            <relation name="UMR9015" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1065371" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1212202" status="INCOMING">
          <orgName>Translational Medicine, Servier</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </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-510106" status="VALID">
          <orgName>Laboratoire de Recherche en Informatique [ESI-SBA, Sidi Bel Abbès]</orgName>
          <orgName type="acronym">LabRI-SBA</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <addrLine>BP 73, Bureau de poste EL WIAM, 22016 Sidi Bel Abbés</addrLine>
              <country key="DZ"/>
            </address>
            <ref type="url">http://www.esi-sba.dz/fr/index.php/recherche-1/labri/presentation</ref>
          </desc>
          <listRelation>
            <relation active="#struct-510108" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1061259" status="VALID">
          <idno type="IdRef">253160316</idno>
          <idno type="RNSR">202123711L</idno>
          <idno type="ROR">https://ror.org/00rd81916</idno>
          <idno type="Wikidata">Q109620676</idno>
          <orgName>Laboratoire Interdisciplinaire des Sciences du Numérique</orgName>
          <orgName type="acronym">LISN</orgName>
          <date type="start">2021-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Universitaire bât 507Rue du Belvédère91405 Orsay cedexet Campus Universitaire bât 6401 rue Raimond Castaing91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lisn.upsaclay.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation active="#struct-419361" type="direct"/>
            <relation name="UMR9015" active="#struct-441569" type="direct"/>
          </listRelation>
        </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-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-419361" status="VALID">
          <idno type="IdRef">241345251</idno>
          <idno type="ROR">https://ror.org/03xjwb503</idno>
          <orgName>Université Paris-Saclay</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/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="department" xml:id="struct-1065371" status="VALID">
          <orgName>Science des Données</orgName>
          <orgName type="acronym">SDD</orgName>
          <date type="start">2021-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-1061259" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-419361" type="indirect"/>
            <relation name="UMR9015" active="#struct-441569" type="indirect"/>
          </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-510108" status="VALID">
          <orgName>École Supérieure en Informatique 8 mai 1945 [Sidi Bel Abbés]</orgName>
          <orgName type="acronym">ESI-SBA</orgName>
          <desc>
            <address>
              <addrLine>BP 73, Bureau de poste EL WIAM, 22016 Sidi Bel Abbés</addrLine>
              <country key="DZ"/>
            </address>
            <ref type="url">http://www.esi-sba.dz/fr/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-51808" status="VALID">
          <idno type="anr">ANR-20-CE45-0001</idno>
          <orgName>BNeDiction</orgName>
          <desc>Ensembles de Réseaux Booléens Prédictifs</desc>
          <date type="start">2020</date>
        </org>
        <org type="anrProject" xml:id="projanr-98258" status="VALID">
          <idno type="anr">ANR-22-PESN-0002</idno>
          <orgName>AI4scMED</orgName>
          <desc>MultiScale AI for SingleCell-Based Precision Medicine</desc>
          <date type="start">2022</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>