Search - ANR - Agence nationale de la recherche Access content directly

Filter your results

5 Results
ANR project: Code decision (reference) : ANR-18-CE40-0002
Image document

Linear cuts in Boolean networks

Aurélien Naldi , Adrien Richard , Elisa Tonello
2022
Preprints, Working Papers, ... hal-03696050v1
Image document

Hardness of monadic second-order formulae over succinct graphs

Guilhem Gamard , Pierre Guillon , Kévin Perrot , Guillaume Theyssier
2023
Preprints, Working Papers, ... hal-03978957v1

Boolean networks and their dynamics: the impact of updates

Loïc Paulevé , Sylvain Sené
Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, Wiley, 2022, 978-1-119-71658-7
Book sections hal-03736899v1
Image document

Complexity of fixed point counting problems in Boolean Networks

Florian Bridoux , Amélia Durbec , Kévin Perrot , Adrien Richard
2021
Preprints, Working Papers, ... hal-03442599v1
Image document

Non-deterministic updates of Boolean networks

Loïc Paulevé , Sylvain Sené
27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021), 2021, Marseille, France. pp.10:1--10:16, ⟨10.4230/OASIcs.AUTOMATA.2021.10⟩
Conference papers hal-03210805v2