1. Identification of genetic networks from small number of gene expression patterns under the Boolean network model;Akutsu;Pacific Symposium on Biocomputing,1999
2. R. Banks, Qualitatively modelling genetic regulatory networks: petri net techniques and tools, Ph.D. Dissertation, School of Computing Science, University of Newcastle upon Tyne, 2009.
3. A high-level petri net framework for multi-valued genetic regulatory networks;Banks;Journal of Integrative Bioinformatics,2007
4. Modelling Genetic Regulatory Networks;Banks,2010
5. Computing abstractions of infinite state systems compositionally and automatically;Bensalem,1998