Filter your results
- 5
- 2
- 1
- 1
- 5
- 2
- 2
- 1
- 2
- 2
- 3
- 1
- 1
- 4
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 4
- 1
|
|
sorted by
|
|
Linear cuts in Boolean networks2022
Preprints, Working Papers, ...
hal-03696050v1
|
||
|
Hardness of monadic second-order formulae over succinct graphs2023
Preprints, Working Papers, ...
hal-03978957v1
|
||
Boolean networks and their dynamics: the impact of updatesSystems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, Wiley, 2022, 978-1-119-71658-7
Book sections
hal-03736899v1
|
|||
|
Complexity of fixed point counting problems in Boolean Networks2021
Preprints, Working Papers, ...
hal-03442599v1
|
||
|
Non-deterministic updates of Boolean networks27th 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
|