Aeon 2021: Bifurcation Decision Trees in Boolean Networks

von Beneš, Nikola
Veröffentlicht in CMSB (19. : 2021 : Bordeaux) Computational Methods in Systems Biology (2021)

Symbolic Coloured SCC Decomposition

von Beneš, Nikola
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

Computing Bottom SCCs Symbolically Using Transition Guided Reduction

von Beneš, Nikola
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

von Benes, Nikola
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)