References

  1. A. Bouajjani, C. Enea & S. Lahiri (2017): Abstract Semantic Diffing of Evolving Concurrent Programs. In: International Static Analysis Symposium SAS 2017: Static Analysis, LNCS 10422, pp. 46–65, doi:10.1007/978-3-319-66706-5_3.
  2. P. Boutillier, J. Feret, J. Krivine & W. Fontana (2018): The Kappa Language and Kappa Tools, A User Manual and Guide,v4. Available at https://kappalanguage.org/sites/kappalanguage.org/files/inline-files/Kappa_Manual.pdf.
  3. L. Cardelli, E. Caron, P. Gardner, O. Kahramanoğulları & A. Phillips (2009): A Process Model of Rho GTP-binding Proteins. Theoretical Computer Science 410/33-34, pp. 3166–3185, doi:10.1016/j.tcs.2009.04.029.
  4. L. Cardelli, M. Kwiatkowska & L. Laurenti (2016): Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. Biosystems 149, pp. 26–33, doi:10.1016/j.biosystems.2016.09.004.
  5. L. Cardelli, M. Tribastone, M. Tschaikowski & A. Vandin (2017): Maximal aggregation of polynomial dynamical systems. Proceedings of the National Academy of Sciences, doi:10.1073/pnas.1702697114.
  6. D. T. Gillespie (1977): Exact Stochastic Simulation of Coupled Chemical Reactions. The Journal of Physical Chemistry 81(25), pp. 2340–2361, doi:10.1021/j100540a008.
  7. O. Kahramanoğulları (2009): On Linear Logic Planning and Concurrency. Information and Computation 207, pp. 1229–1258, doi:10.1016/j.ic.2009.02.008.
  8. O. Kahramanoğulları (2017): Quantifying Information Flow in Chemical Reaction Networks. In: Proceedings of 4th International Conference on Algorithms for Computational Biology, AlCoB 2017, LNCS 10252, pp. 155–166, doi:10.1007/978-3-319-58163-7_11.
  9. O. Kahramanoğulları & L. Cardelli (2015): Gener: a minimal programming module for chemical controllers based on DNA strand displacement. Bioinformatics 31 (17), pp. 2906–2908, doi:10.1093/bioinformatics/btv286.
  10. O. Kahramanoğulları, G. Fantaccini, P. Lecca, D. Morpurgo & C. Priami (2012): Algorithmic modeling quantifies the complementary contribution of metabolic inhibitions to gemcitabine efficacy. PLoS ONE 7(12), pp. e50176, doi:10.1371/journal.pone.0050176.
  11. O. Kahramanoğulları & J. Lynch (2013): Stochastic Flux Analysis of Chemical Reaction Networks. BMC Systems Biology 7(133), doi:10.1186/1752-0509-7-133.
  12. M. R. Lakin, S. Youssef, F. Polo, S. Emmott & A. Phillips (2011): Visual DSD: a design and analysis tool for DNA strand displacement systems. Bioinformatics 27, pp. 3211–3213, doi:10.1093/bioinformatics/btr543.
  13. M. Nielsen, G. Plotkin & G. Winskel (1981): Petri Nets, Event Structures and Domains, part 1. Theoretical Computer Science 13(1), pp. 85–108, doi:10.1016/0304-3975(81)90112-2.
  14. J. A. P. Sekar & J. R. Faeder (2012): Rule-Based Modeling of Signal Transduction: A Primer. Computational Modeling of Signaling Networks. Methods in Molecular Biology (Methods and Protocols) 880, pp. 139–218, doi:10.1007/978-1-61779-833-7_9.
  15. P. Shannon, A. Markiel, O. Ozier, N. S. Baliga, J. T. Wang, D. Ramage, N. Amin, B. Schwikowski & T. Ideker (2003): Cytoscape: a software environment for integrated models of biomolecular interaction networks. Genome Research 13(11), pp. 2498–2504, doi:10.1101/gr.1239303.
  16. L. Venkatraman, H. Li, C. F. Jr. Dewey, J. K. White, S. S. Bhowmick, H. Yu & L. Tucker-Kellogg (2011): Steady states and dynamics of urokinase-mediated plasmin activation in silico and in vitro. Biophysical Journal 101 (8), pp. 1825–1834, doi:10.1016/j.bpj.2011.08.054.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org