References

Chaouiya2006

Claudine Chaouiya, Elisabeth Remy and Denis Thieffry (2006). Qualitative Petri Net Modelling of Genetic Networks. Lecture Notes in Computer Science. 4220:95-112.

Klarner2014

Hannes Klarner, Alexander Bockmayr and Heike Siebert (2014). Computing Symbolic Steady States of Boolean Networks. Lecture Notes in Computer Science. Proceedings of ACRI 2014:561-570.

Naldi2007

Aurélien Naldi, Denis Thieffry and Claudine Chaouiya (2007). Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks. LNCS:LNBI. 4695/2007:233-247.

Naldi2011

Aurélien Naldi, Elisabeth Remy, Denis Thieffry and Claudine Chaouiya (2011). Dynamically consistent reduction of logical regulatory graphs. Theoretical Computer Science. 412 (21):2207-2218.

Naldi2012

Aurélien Naldi, Pedro T. Monteiro and Claudine Chaouiya (2012). Efficient Handling of Large Signalling-Regulatory Networks by Focusing on Their Core Control. Lecture Notes in Computer Science. Proceedings of CMSB 2012:288-306.

Zanudo2013

Jorge Zañudo and Reka Albert (2013). An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks. Chaos. 23:025111.