308 B. Cummins et al.
- Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., Grosu,
R.: Abstraction-based parameter synthesis for multiaffine systems. In:
Piterman, N. (ed.) HVC 2015. LNCS, vol. 9434, pp. 19–35. Springer,
Cham (2015). doi:10.1007/978-3-319-26287-1 2. ISBN: 978-3-319-26287-1,
http://dx.doi.org/10.1007/978-3-319-26287-1 2 - Klarner, H., Streck, A.,ˇSafr ́anek, D., Kolˇc ́ak, J., Siebert, H.: Parameter iden-
tification and model ranking of thomas networks. In: Gilbert, D., Heiner, M.
(eds.) CMSB 2012. LNCS, pp. 207–226. Springer, Heidelberg (2012). doi:10.1007/
978-3-642-33636-2 13 - Chaouiya, C., Remy, E., Moss ́e, B., Thieffry, D.: Qualitative analysis of
regulatory graphs: a computational tool based on a discrete formal frame-
work. In: Benvenuti, L., De Santis, A., Farina, L. (eds.) Positive Sys-
tems, vol. 294. Springer, Heidelberg (2004). doi:10.1007/978-3-540-44928-7 17.
http://dx.doi.org/10.1007/978-3-540-44928-7 17 - Glass, L., Kauman, S.A.: Co-operative components, spatial localization and oscil-
latory cellular dynamics. J. Theor. Biol. 34 , 219–237 (1972) - Glass, L., Kauman, S.A.: The logical analysis of continuous, non-linear biochemical
control networks. J. Theor. Biol. 39 , 103–29 (1973) - Cummins, B., Gedeon, T., Harker, S., Mischaikow, K., Mok, K.: Combinatorial
representation of parameter space for switching systems. SIAM J. Appl. Dyn. Syst.
15 , 2176–2212 (2016) - Orlando, D.A., et al.: Global control of cell-cycle transcription by coupled CDK
and network oscillators. Nature 453 , 944–947 (2008) - Harker, S.: Dynamic Signatures Generated by Regulatory Networks (2015).http://
chomp.rutgers.edu/Projects/DSGRN/