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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.