Access the full text.
Sign up today, get DeepDyve free for 14 days.
(Adrien BB (11 2014) Gubs, a behavioural description language for synthetic biology. Ph.D. thesis, Université d’Evry Val d’essonnes)
Adrien BB (11 2014) Gubs, a behavioural description language for synthetic biology. Ph.D. thesis, Université d’Evry Val d’essonnesAdrien BB (11 2014) Gubs, a behavioural description language for synthetic biology. Ph.D. thesis, Université d’Evry Val d’essonnes, Adrien BB (11 2014) Gubs, a behavioural description language for synthetic biology. Ph.D. thesis, Université d’Evry Val d’essonnes
(2009)
Towards programming languages for genetic engineering of living cellsJ R Soc Interface, 6
(1995)
Dynamical behaviour of biological regulatory networks—II. Immunity control in bacteriophage lambdaBull Math Biol, 57
(1963)
Semantical considerations on modal logicActa Philos Fenn, 16
(Hume D (1739) A treatise on human nature: being an attempt to introduce the experimental method of reasoning into moral subjects, vols I–III, John Noon, London)
Hume D (1739) A treatise on human nature: being an attempt to introduce the experimental method of reasoning into moral subjects, vols I–III, John Noon, LondonHume D (1739) A treatise on human nature: being an attempt to introduce the experimental method of reasoning into moral subjects, vols I–III, John Noon, London, Hume D (1739) A treatise on human nature: being an attempt to introduce the experimental method of reasoning into moral subjects, vols I–III, John Noon, London
(2010)
GenoCAD for iGEM: a grammatical approach to the design of standard-compliant constructsNucleic Acids Res, 38
(Cerrito S, Mayer MC (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. pp. 104–118. TABLEAUX’11, Springer)
Cerrito S, Mayer MC (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. pp. 104–118. TABLEAUX’11, SpringerCerrito S, Mayer MC (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. pp. 104–118. TABLEAUX’11, Springer, Cerrito S, Mayer MC (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. pp. 104–118. TABLEAUX’11, Springer
(Basso-Blandin A, Delaplace F (2015) Gubs platform, https://github.com/abassobl/Ggc)
Basso-Blandin A, Delaplace F (2015) Gubs platform, https://github.com/abassobl/GgcBasso-Blandin A, Delaplace F (2015) Gubs platform, https://github.com/abassobl/Ggc, Basso-Blandin A, Delaplace F (2015) Gubs platform, https://github.com/abassobl/Ggc
(2011)
Automatic compilation from high-level biologically-oriented programming language to genetic regulatory networksPLoS One, 6
(Giusto CD, Klaudel H, Delaplace F (2014) Systemic approach for toxicity analysis. BioPPN 1159:30–44)
Giusto CD, Klaudel H, Delaplace F (2014) Systemic approach for toxicity analysis. BioPPN 1159:30–44Giusto CD, Klaudel H, Delaplace F (2014) Systemic approach for toxicity analysis. BioPPN 1159:30–44, Giusto CD, Klaudel H, Delaplace F (2014) Systemic approach for toxicity analysis. BioPPN 1159:30–44
(2002)
Systems biology: a brief overviewScience, 295
(2000)
Causation as influenceJ Philos, 97
(2003)
Development of a set of simple bacterial biosensors for quantitative and rapid measurements of arsenite and arsenate in potable waterEnviron Sci Technol, 37
(2009)
The second wave of synthetic biology: from modules to systemsNat Rev Mol Cell Biol, 10
F Jacob (1981)
Le Jeu des possibles: Essai sur la diversité du vivant
(2006)
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledgeBioinformatics, 22
(1988)
Unification in commutative idempotent monoidsTheor Comput Sci, 56
(2009)
Writing DNA with GenoCADNucleic Acids Res, 37
(2001)
Unification theoryHandbook of automated reasoning, chap. 8
(2007)
Semantics of biological regulatory networksElectron Notes Theor Comput Sci, 180
(2000)
A synthetic oscillatory network of transcriptional regulatorsNature, 403
(2010)
Programming languages for synthetic biologySyst Synth Biol, 4
F Baader, W Snyder (2001)
Handbook of automated reasoning, chap. 8
(2013)
Gubs, a behaviour-based language for design in synthetic biologySci Ann Comput Sci, 23
(Danos V, Feret J, Fontana W, Harmer R, Krivine J (2010) Abstracting the differential semantics of rule-based models: exact and automated model reduction. In: Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on. pp. 362–381. IEEE)
Danos V, Feret J, Fontana W, Harmer R, Krivine J (2010) Abstracting the differential semantics of rule-based models: exact and automated model reduction. In: Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on. pp. 362–381. IEEEDanos V, Feret J, Fontana W, Harmer R, Krivine J (2010) Abstracting the differential semantics of rule-based models: exact and automated model reduction. In: Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on. pp. 362–381. IEEE, Danos V, Feret J, Fontana W, Harmer R, Krivine J (2010) Abstracting the differential semantics of rule-based models: exact and automated model reduction. In: Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on. pp. 362–381. IEEE
(1989)
Unification: a multidisciplinary surveyACM Comput Surv, 21
(Giavitto J, Michel O, Cohen J, Spicher A (2005) Computations in space and space in computations. In: Unconventional programming paradigms, vol 3566., Lecture Notes in Computer Science Springer, Berlin/Heidelberg, pp 97–97)
Giavitto J, Michel O, Cohen J, Spicher A (2005) Computations in space and space in computations. In: Unconventional programming paradigms, vol 3566., Lecture Notes in Computer Science Springer, Berlin/Heidelberg, pp 97–97Giavitto J, Michel O, Cohen J, Spicher A (2005) Computations in space and space in computations. In: Unconventional programming paradigms, vol 3566., Lecture Notes in Computer Science Springer, Berlin/Heidelberg, pp 97–97, Giavitto J, Michel O, Cohen J, Spicher A (2005) Computations in space and space in computations. In: Unconventional programming paradigms, vol 3566., Lecture Notes in Computer Science Springer, Berlin/Heidelberg, pp 97–97
(2011)
Eugene-A domain specific language for specifying and constraining synthetic biological parts, devices, and systemsPloS One, 6
(2010)
Creation of a bacterial cell controlled by a chemically synthesized genomeScience, 329
K Kaneko (2006)
Life: an introduction to complex systems biology. Understanding complex systems
(2012)
Perspectives on the automatic design of regulatory systems for synthetic biologyFEBS Lett, 586
The field of synthetic biology is looking forward engineering framework for safely designing reliable de-novo biological functions. In this undertaking, Computer-Aided-Design (CAD) environments should play a central role for facilitating the design. Although, CAD environment is widely used to engineer artificial systems the application in synthetic biology is still in its infancy. In this article we address the problem of the design of a high level language which at the core of CAD environment. More specifically the Gubs (Genomic Unified Behavioural Specification) language is a specification language used to describe the observations of the expected behaviour. The compiler appropriately selects components such that the observation of the synthetic biological function resulting to their assembly complies to the programmed behaviour.
Acta Biotheoretica – Springer Journals
Published: Jul 5, 2015
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.