References
- Chaouiya2006
- Petri Net Export
Claudine Chaouiya, Elisabeth Remy and Denis Thieffry (2006). Qualitative Petri Net Modelling of Genetic Networks. Lecture Notes in Computer Science. 4220:95-112.
- Klarner2014
- Identification of trap-spaces
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
- Stable state search
- Random walk
- Compute deterministic trace
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
- Model reduction
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
- Identification of trap-spaces
Jorge Zañudo and Reka Albert (2013). An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks. Chaos. 23:025111.