PJ Ashenden (2008):
The Designer's Guide to VHDL.
Morgan Kaufmann Publishers.
S. Basu, Y. Gerchman, C. H Collins, F. H Arnold & R. Weiss (2005):
A Synthetic Multicellular System for Programmed Pattern Formation..
Nature 434(7037),
pp. 1130–4,
doi:10.1038/nature03461.
J. Beal, T. Lu & R. Weiss (2011):
Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks.
PLoS ONE 6(8),
pp. e22490,
doi:10.1371/journal.pone.0022490.
L. Bilitchenko, A. Liu, S. Cheung, E. Weeding, B. Xia, M. Leguia, J C. Anderson & D. Densmore (2011):
Eugene–A Domain Specific Language for Specifying and Constraining Synthetic Biological Parts, Devices, and Systems..
PloS one 6(4),
pp. e18882,
doi:10.1371/journal.pone.0018882.
P. Blackburn, J. F. A. K. van Benthem & F. Wolter (2006):
Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning).
Elsevier Science Inc.,
doi:10.1016/S1570-2464(07)80017-6.
Y. Cai, M. W Lux, L. Adam & J. Peccoud (2009):
Modeling Structure-function Relationships in Synthetic DNA Sequences Using Attribute Grammars..
PLoS Computational Biology 5(10),
doi:10.1371/journal.pcbi.1000529.
L. Calzone, F. Fages & S. Soliman (2006):
BIOCHAM: An Environment for Modeling Biological Systems and Formalizing Experimental Knowledge..
Bioinformatics (Oxford, England) 22(14),
pp. 1805–7,
doi:10.1093/bioinformatics/btl172.
S. Cerrito & M. C. Mayer (2011):
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders.
In: Proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods,
TABLEAUX'11.
Springer-Verlag,
pp. 104–118,
doi:10.1007/978-3-642-22119-4_10.
F. Ciocchetta & J. Hillston (2009):
Bio-PEPA: A Framework for the Modelling and Analysis of Biological Systems.
Theoretical Computer Science 410(33-34),
pp. 3065–3084,
doi:10.1016/j.tcs.2009.02.037.
K. Clancy & C. A Voigt (2010):
Programming Cells: Towards an Automated Genetic Compiler.
Current Opinion in Biotechnology 21(4),
pp. 581–572,
doi:10.1016/j.copbio.2010.07.005.
M. J Czar, Y. Cai & J. Peccoud (2009):
Writing DNA with GenoCAD..
Nucleic Acids Research 37(Web Server issue),
pp. W40–7,
doi:10.1093/nar/gkp361.
V. Danos, J. Feret, W. Fontana, R. Harmer & J. Krivine (2007):
Rule-Based Modelling of Cellular Signalling.
In: CONCUR,
pp. 17–41,
doi:10.1007/978-3-540-74407-8_3.
F. Delaplace, H. Klaudel & A. Cartier-Michaud (2010):
Discrete Causal ModelView of Biological Networks.
In: Proceedings of the 8th International Conference on Computational Methods in Systems Biology - CMSB '10.
ACM Press,
New York, New York, USA,
pp. 4–13,
doi:10.1145/1839764.1839767.
J.L. Giavitto, O. Michel, J. Cohen & A. Spicher (2005):
Computations in Space and Space in Computations.
In: Unconventional Programming Paradigms,
Lecture Notes in Computer Science 3566.
Springer Berlin / Heidelberg,
pp. 97–97,
doi:10.1007/11527800_11.
D.G. Gibson, J.I. Glass, C. Lartigue, V.N. Noskov, R.Y. Chuang, M.A. Algire, G.A. Benders, M.G. Montague, L. Ma, M.M. Moodie & Others (2010):
Creation of a Bacterial Cell Controlled by a Chemically Synthesized Genome.
Science 329(5987),
pp. 52,
doi:10.1126/science.1190719.
D. Hume (1739):
A Treatise of Human Nature, Being an Attempt to Introduce the Experimental Method of Reasoning into Moral Subjects.
unknow,
doi:10.1037/12868-000.
D. Lewis (2000):
Causation as Influence.
The Journal of Philosophy 97(4),
pp. 182–197,
doi:10.2307/2678389.
T. K Lu, A. S Khalil & J. J Collins (2009):
Next-generation Synthetic Gene Networks.
Nature Biotechnology 27(12),
pp. 1139—-1150,
doi:10.1038/nbt.1591.
M. P. Pedersen (2009):
Towards Programming Languages for Genetic Engineering of Living Cells.
Journal of the Royal Society, Interface 6 Suppl 4,
pp. S437–450,
doi:10.1098/rsif.2008.0516.focus.
C. Priami, A. Regev, E. Shapiro & W. Silverman (2001):
Application of a Stochastic Name-passing Calculus to Representation and Simulation of Molecular Processes.
Information Processing Letters 80(1),
pp. 25–31,
doi:10.1016/S0020-0190(01)00214-9.
P. E M Purnick & R. Weiss (2009):
The Second Wave of Synthetic Biology: From Modules to Systems..
Nature Reviews. Molecular Cell Biology 10(6),
pp. 410–22,
doi:10.1038/nrm2698.
S. Regot, J. Macia, N. Conde, K. Furukawa, J. Kjellén, T. Peeters, S. Hohmann, E. de Nadal, F. Posas & R. Solé (2010):
Distributed Biological Computation with Multicellular Engineered Networks.
Nature,
pp. 2–6,
doi:10.1038/nature09679.
D. E. Thomas & P. Moorby (1998):
The Verilog Hardware Description Language.
Kluwer Academic Publishers,
doi:10.1007/978-1-4615-3992-6.
P. Umesh, F. Naveen, C.U.M. Rao & S.A. Nair (2010):
Programming Languages for Synthetic Biology.
Systems and Synthetic Biology 4(4),
pp. 265–269,
doi:10.1007/s11693-011-9070-y.
H. Ye, M. Daoud-El Baba, R-W. Peng & M. Fussenegger (2011):
A Synthetic Optogenetic Transcription Device Enhances Blood-glucose Homeostasis in Mice..
Science (New York, N.Y.) 332(6037),
pp. 1565–8,
doi:10.1126/science.1203535.