research
∙
05/03/2023
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks
Minimal trap spaces (MTSs) capture subspaces in which the Boolean dynami...
share
research
∙
05/02/2023
Attractor identification in asynchronous Boolean dynamics with network reduction
Identification of attractors, that is, stable states and sustained oscil...
research
∙
12/24/2022
Computational Complexity of Minimal Trap Spaces in Boolean Networks
A Boolean network (BN) is a discrete dynamical system defined by a Boole...
research
∙
09/21/2022
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets
A crucial question in analyzing a concurrent system is to determine its ...
research
∙
07/27/2022
Marker and source-marker reprogramming of Most Permissive Boolean networks and ensembles with BoNesis
Boolean networks (BNs) are discrete dynamical systems with applications ...
research
∙
03/13/2022
BioSimulators: a central registry of simulation engines and services for recommending specific tools
Computational models have great potential to accelerate bioscience, bioe...
research
∙
06/02/2020
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
SAT research has a long history of source code and binary releases, than...
research
∙
09/10/2019
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming
Boolean networks model finite discrete dynamical systems with complex be...
research
∙
05/31/2019
Concurrency in Boolean networks
Boolean networks (BNs) are widely used to model the qualitative dynamics...
research
∙
11/29/2018
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
Parametric models abstract part of the specification of dynamical models...
research
∙
08/30/2018
Most Permissive Semantics of Boolean Networks
As shown in [3], the usual update modes of Boolean networks (BNs), inclu...
research
∙
03/16/2018