References

Berenguier2013

Duncan Berenguier, Claudine Chaouiya, Pedro T. Monteiro, Aurélien Naldi, Elisabeth Remy, Denis Thieffry and Laurent Tichit (). Dynamical modeling and analysis of large cellular regulatory networks. In press. :.

Chaouiya2006

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

Mendes2013

Nuno D. Mendes, F. Lang, Y.S. Le Cornec, R. Mateescu, Gregory Batt and Claudine Chaouiya (2013). Composition and abstraction of logical regulatory modules: application to multicellular systems. Bioinformatics. 29 (6):749-757.

Monteiro2012

Pedro T. Monteiro and Claudine Chaouiya (2012). Efficient verification for logical models of regulatory networks. Advances in Intelligent and Soft Computing (Proceedings of PACBB 2012). 154:259-267.

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.

Naldi2009

Aurélien Naldi, Duncan Berenguier, Adrien Fauré, Fabrice Lopez, Denis Thieffry and Claudine Chaouiya (2009). Logical modelling of regulatory networks with GINsim 2.3. BioSystems. 97(2):134-139.

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.

Thieffry2007

Denis Thieffry (2007). Dynamical roles of biological regulatory circuits. Briefings in Bioinformatics. 8(4):220-5.