
REVEAL
 Referenced in 28 articles
[sw36999]
 models of genetic networks. Trajectories, or state transition tables of Boolean nets, resemble time series ... controlling each element or gene in the network. This process is unequivocal and exact ... this study is limited to synchronous Boolean networks, the algorithm is generalizable to include multi...

BoolNet
 Referenced in 14 articles
[sw07365]
 analysis of synchronous, asynchronous, and probabilistic Boolean networks Provides methods to reconstruct and generate synchronous ... asynchronous, and probabilistic Boolean networks, and to analyze and visualize attractors in Boolean networks...

booleannet
 Referenced in 8 articles
[sw22019]
 Boolean network simulations for life scientists. Modern life sciences research increasingly relies on computational solutions ... theoretical modeling. Within the theoretical models Boolean networks occupy an increasing role as they ... mathematical formalism. The conceptual underpinnings of Boolean modeling are very accessible even without a background...

Polynome
 Referenced in 6 articles
[sw12584]
 estimation for Boolean models of biological networks. Boolean networks have long been used as models ... molecular networks, and they play an increasingly important role in systems biology. This paper describes ... service, that helps users construct Boolean network models based on experimental data and biological input ... tool for reverseengineering of Boolean network models from experimental time course data...

ToulBar2
 Referenced in 22 articles
[sw07289]
 Weighted MaxSAT, Quadratic PseudoBoolean Optimization, and Bayesian Networks...

ADAM
 Referenced in 8 articles
[sw21957]
 with discrete models, such as probabilistic Boolean networks, logical models, Petri nets, and agentbased...

TCPDUMP
 Referenced in 22 articles
[sw04165]
 packets on a network interface that match the boolean expression. It can also ... rather than to read packets from a network interface. In all cases, only packets that...

SQUAD
 Referenced in 5 articles
[sw29353]
 patterns of expression to infer the regulatory networks that generate such patterns. One of these ... SQUAD method, which approximates a Boolean network with the use of a set of ordinary ... benefit of the SQUAD method over purely Boolean approaches is the possibility of evaluating...

BooleSim
 Referenced in 2 articles
[sw20432]
 BooleSim: an interactive Boolean network simulator. SUMMARY: BooleSim (Boolean network simulator) is an opensource ... tool for simulation and manipulation of Boolean networks. It was developed mainly during Google...

CANA
 Referenced in 2 articles
[sw25679]
 quantifying control and canalization in Boolean Networks. Logical models offer a simple but powerful means ... simplifies these models, making even very large networks amenable to analysis. Moreover, canalization plays ... control, robustness, modularity and criticality of Boolean network dynamics, especially those used to model biochemical ... visualize canalizing redundancy present in Boolean network models. It extracts the pathways most effective...

SimBoolNet
 Referenced in 2 articles
[sw35190]
 dynamics of signaling transduction using Boolean networks. In a Boolean network, every node is assigned...

ASSAPBN
 Referenced in 2 articles
[sw32146]
 approximate steadystate analyser of probabilistic Boolean networks. We present ASSAPBN, a tool ... steadystate analysis of large probabilistic Boolean networks (PBNs). ASSAPBN contains a constructor...

MaBoSS
 Referenced in 3 articles
[sw34208]
 time Markov processes, applied on a Boolean network. MaBoSS uses a specific language for associating...

expansionnetwork
 Referenced in 1 article
[sw34481]
 distinct regulatory regions. Recent gene regulatory network models use binding measurements; but usually only ... possible regulatory connections in a given Boolean network, based on transcription factor binding evidence. This ... algorithm which expands a regular Boolean network model into a “cisregulatory” Boolean network model...

optPBN
 Referenced in 2 articles
[sw32145]
 optPBN: An optimisation toolbox for probabilistic boolean networks. SUMMARY: The optPBN toolbox provides a simple...

PyBoolNet
 Referenced in 1 article
[sw35161]
 generation, analysis and visualization of boolean networks. Results: PYBOOLNET is a Python package for working ... with Boolean networks that supports simple access to model checking via NUSMV, standard graph algorithms...

BoolSi
 Referenced in 1 article
[sw36097]
 Distributed Simulations and Analysis of Boolean Networks. We present BoolSi, an opensource crossplatform ... tool for distributed simulations of synchronous Boolean networks. It uses MPI standard to support execution...

Jimena
 Referenced in 1 article
[sw29354]
 identification for genetic regulatory networks. Background: Boolean networks capture switching behavior of many naturally occurring ... regulatory networks. For semiquantitative modeling, interpolation between ON and OFF states is necessary ... high degree polynomial interpolation of Boolean genetic regulatory networks (GRNs) in cellular processes such ... models, but suffers from scaling problems for networks which contain nodes with more than...

multi2boolean
 Referenced in 4 articles
[sw25069]
 Many discrete models of biological networks rely exclusively on Boolean variables and many tools...

Anteater
 Referenced in 3 articles
[sw32373]
 devices. Anteater translates highlevel network invariants into boolean satisfiability problems (SAT), checks them against...