Sunday, March 29, 2009


Boolean Networks with Synchronous

BNS is a software tool for computing attractors in Boolean Networks with Synchronous update. Synchronous Boolean networks [1] are used for the modeling of genetic regulatory networks.

Paper: "A SAT-Based Algorithm for Computing Attractors in Synchronous Boolean Networks", E. Dubrova, M. Teslenko, available at, submitted to the International Conference on Computer-Aided Verification (CAV'2009), June 26 - July 2, 2009 Grenoble, France.

Comments: Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?