Variable Stabilisation in Boolean Monotonic Model Pools

von Pastva, Samuel
Veröffentlicht in CMSB (20. : 2022 : Bukarest) Computational methods in systems biology (2022)

Computing Bottom SCCs Symbolically Using Transition Guided Reduction

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

Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications

von Smijáková, Eva
Veröffentlicht in CMSB (18. : 2020 : Online) Computational methods in systems biology (2020)

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)

AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

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