Editorial: Building successful biological databases, Briefings in Bioinformatics, vol.5, issue.1, pp.4-5, 2004. ,
DOI : 10.1093/bib/5.1.4
Synthetic biology: new engineering rules for an emerging discipline, Molecular Systems Biology, vol.299, issue.1, 2006. ,
DOI : 10.1038/msb4100073
Total Synthesis of a Functional Designer Eukaryotic Chromosome, Science, vol.344, issue.6179, pp.34455-58, 2014. ,
DOI : 10.1126/science.1249252
URL : https://hal.archives-ouvertes.fr/pasteur-01420002
The Designer's Guide to VHDL, 2008. ,
Concepts, Historical Milestones and the Central Place of Bioinformatics in Modern Biology: A European Perspective, Bioinformatics- Trends, pp.3-39, 2011. ,
DOI : 10.5772/23535
Unification Theory, Handbook of automated reasoning, pp.441-523 ,
Unification in commutative idempotent monoids, Theoretical Computer Science, vol.56, issue.3, pp.345-352, 1988. ,
DOI : 10.1016/0304-3975(88)90140-5
GUBS, a Behavior-based Language for Open System Dedicated to Synthetic Biology, Electronic Proceedings in Theoretical Computer Science, vol.100, 1206. ,
DOI : 10.4204/EPTCS.100.3
URL : https://hal.archives-ouvertes.fr/hal-00762459
GUBS, a Behaviour-Based Language for Design in Synthetic Biology, Scientific Annals of Computer Science, vol.23, issue.1, pp.1-38, 2013. ,
DOI : 10.7561/SACS.2013.1.1
URL : https://hal.archives-ouvertes.fr/hal-00871344
GUBS a Language for Synthetic Biology: Specification and Compilation, Unconventional Computation and Natural Computation -13th International Conference, UCNC 2014 Proceedings, pp.40-53, 2014. ,
DOI : 10.1007/978-3-319-08123-6_4
URL : https://hal.archives-ouvertes.fr/hal-01054933
A synthetic multicellular system for programmed pattern formation, Nature, vol.6, issue.7037, pp.4341130-4341134, 2005. ,
DOI : 10.1128/IAI.70.10.5635-5646.2002
Infrastructure for Engineered Emergence on Sensor/Actuator Networks, IEEE Intelligent Systems, vol.21, issue.2, pp.10-19, 2006. ,
DOI : 10.1109/MIS.2006.29
Cells Are Plausible Targets for High-Level Spatial Languages, 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, pp.284-291, 2008. ,
DOI : 10.1109/SASOW.2008.14
Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks, PLoS ONE, vol.104, issue.8, p.22490, 2011. ,
DOI : 10.1371/journal.pone.0022490.t005
Synthetic biology, Nat Rev Genet, vol.6, pp.533-543, 2005. ,
Semantics of Biological Regulatory Networks, Electronic Notes in Theoretical Computer Science, vol.180, issue.3, pp.3-14, 2007. ,
DOI : 10.1016/j.entcs.2004.01.038
URL : https://hal.archives-ouvertes.fr/hal-00339588
Eugene ??? A Domain Specific Language for Specifying and
Constraining Synthetic Biological Parts, Devices, and Systems, PLoS ONE, vol.85, issue.4, p.18882, 2011. ,
DOI : 10.1371/journal.pone.0018882.s001
The Eugene Language for Synthetic Biology, Methods in enzymology, vol.498, pp.153-72, 2011. ,
DOI : 10.1016/B978-0-12-385120-8.00007-3
Handbook of Modal Logic, Studies in Logic and Practical Reasoning, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00580143
The Complete Genome Sequence of Escherichia coli K-12, Science, vol.277, issue.5331, pp.2771453-62, 1997. ,
DOI : 10.1126/science.277.5331.1453
Will a Biological Database Be Different from a Biological Journal?, PLoS Computational Biology, vol.6, issue.3, p.34, 2005. ,
DOI : 1471-2105(2005)006[S1:OOBCAO]2.0.CO;2
Hybrid Logic and Its Proof-Theory, 2010. ,
DOI : 10.1007/978-94-007-0002-4
Modeling Structure-Function Relationships in Synthetic DNA Sequences using Attribute Grammars, PLoS Computational Biology, vol.27, issue.10, 2009. ,
DOI : 10.1371/journal.pcbi.1000529.s003
GenoCAD for iGEM: a grammatical approach to the design of standard-compliant constructs, Nucleic Acids Research, vol.38, issue.8, pp.2637-2681, 2010. ,
DOI : 10.1093/nar/gkq086
Synthetic biology : constructing nature ? The Sociological Review, pp.95-112, 2010. ,
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.1805-1812, 2006. ,
DOI : 10.1093/bioinformatics/btl172
URL : https://hal.archives-ouvertes.fr/hal-01431364
A brief history of synthetic biology, Nature Reviews Microbiology, vol.277, issue.5, pp.381-390, 2014. ,
DOI : 10.1038/nrmicro3239
Refinement and standardization of synthetic biological parts and devices, Nature Biotechnology, vol.36, issue.7, pp.787-793, 2008. ,
DOI : 10.1038/nbt1413
Biology Is Technology : The Promise, Peril, and New Business of Engineering Life, 2010. ,
DOI : 10.4159/9780674053625
Synthetic biology and the art of biosensor design. Institute of Medicine (US) Forum on Microbial Threats, 2011. ,
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders, Proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp.104-118, 2011. ,
DOI : 10.1007/11538363_24
URL : https://hal.archives-ouvertes.fr/hal-00666650
TinkerCell: modular CAD tool for synthetic biology, Journal of Biological Engineering, vol.3, issue.1, p.19, 2009. ,
DOI : 10.1186/1754-1611-3-19
Automated Design of Genetic Toggle Switches with Predetermined Bistability, ACS Synthetic Biology, vol.1, issue.7, pp.284-290, 2012. ,
DOI : 10.1021/sb300027y
Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic, Automated Reasoning, pp.255-262, 2010. ,
DOI : 10.1007/978-3-642-14203-1_22
URL : https://hal.archives-ouvertes.fr/hal-00666655
Positive and Negative Feedback: Striking a Balance Between Necessary Antagonists, Journal of Theoretical Biology, vol.216, issue.2, 2002. ,
DOI : 10.1006/jtbi.2002.2544
Bio-PEPA: A framework for the modelling and analysis of biological systems, Theoretical Computer Science, vol.410, issue.33-34, pp.33-343065, 2009. ,
DOI : 10.1016/j.tcs.2009.02.037
Programming cells: towards an automated ???Genetic Compiler???, Current Opinion in Biotechnology, vol.21, issue.4, pp.581-572, 2010. ,
DOI : 10.1016/j.copbio.2010.07.005
URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2950163
A Comprehensive Survey of Evolutionary-Based Multiobjective Optimization Techniques, Knowledge and Information Systems, vol.265, issue.2, pp.129-156, 1999. ,
DOI : 10.1007/BF03325101
Writing DNA with GenoCADTM, Nucleic Acids Research, vol.37, issue.Web Server, pp.40-47, 2009. ,
DOI : 10.1093/nar/gkp361
URL : http://doi.org/10.1093/nar/gkp361
Production of the antimalarial drug precursor artemisinic acid in engineered yeast, Nature, vol.440, pp.940-943, 2006. ,
Handbook of Tableau Methods, 1999. ,
Scaling up synthetic biology: Do not forget the chassis, FEBS Letters, vol.106, issue.15, pp.2129-2137, 2012. ,
DOI : 10.1016/j.febslet.2011.12.024
Rule-Based Modelling of Cellular Signalling, In CONCUR, pp.17-41, 2007. ,
DOI : 10.1007/978-3-540-74407-8_3
URL : https://hal.archives-ouvertes.fr/hal-00164297
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction, 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp.362-381, 2010. ,
DOI : 10.1109/LICS.2010.44
URL : https://hal.archives-ouvertes.fr/hal-00520112
Rule-Based Modelling, Symmetries, Refinements, Formal Methods in Systems Biology, pp.103-122, 2008. ,
DOI : 10.1007/978-3-540-68413-8_8
URL : https://hal.archives-ouvertes.fr/inria-00528339
Molecular-scale logic gates, Chemistry -A European Journal, vol.10, issue.3, pp.574-586, 2004. ,
Discrete Causal ModelView of Biological Networks, Proceedings of the 8th International Conference on Computational Methods in Systems Biology -CMSB '10, pp.4-13, 2010. ,
A synthetic oscillatory network of transcriptional regulators, Nature, vol.403, issue.6767, pp.335-338, 2000. ,
Foundations for engineering biology, Nature, vol.42, issue.7067, pp.449-453, 2005. ,
DOI : 10.1038/nature04342
Associative-commutative unification, Journal of Symbolic Computation, vol.3, issue.3, pp.257-275, 1987. ,
DOI : 10.1016/S0747-7171(87)80004-4
URL : https://hal.archives-ouvertes.fr/inria-00076271
Towards synthesis of a minimal cell, Molecular systems biology, p.45, 2006. ,
Design of genetic networks with specified functions by evolution in silico, Proceedings of the National Academy of Sciences, vol.101, issue.2, pp.580-585, 2004. ,
DOI : 10.1073/pnas.0304532101
Computers and Intractability : A Guide to the Theory of NP-Completeness, 1979. ,
Evolutionary algorithms for multi-criterion optimization : A survey, International Journal of Computing & Information Sciences, vol.2, issue.1, pp.38-57, 2004. ,
MGS, Electronic Notes in Theoretical Computer Science, 2001. ,
DOI : 10.1016/S1571-0661(04)00293-2
URL : https://hal.archives-ouvertes.fr/hal-00769284
Computations in Space and Space in Computations, Unconventional Programming Paradigms, pp.97-97, 2005. ,
DOI : 10.1007/11527800_11
Creation of a Bacterial Cell Controlled by a Chemically Synthesized Genome, Science, vol.329, issue.5987, p.32952, 2010. ,
DOI : 10.1126/science.1190719
Systemic approach for toxicity analysis, 1159. ,
URL : https://hal.archives-ouvertes.fr/hal-01078546
Spartacus: A Tableau Prover for Hybrid Logic, Electronic Notes in Theoretical Computer Science, vol.262, issue.0, pp.127-139, 2010. ,
DOI : 10.1016/j.entcs.2010.04.010
A multiplatform flow device for microbial (co-) cultivation and microscopic analysis, PLoS ONE, vol.7, issue.5, p.36982, 2012. ,
SynBioSS: the synthetic biology modeling suite, Bioinformatics, vol.24, issue.21, pp.2551-2553, 2008. ,
DOI : 10.1093/bioinformatics/btn468
URL : http://bioinformatics.oxfordjournals.org/cgi/content/short/24/21/2551
Cell-free synthetic biology : Thinking outside the cell, Metabolic Engineering, vol.14, pp.261-269, 2012. ,
HTab: a Terminating Tableaux System for Hybrid Logic, Electronic Notes in Theoretical Computer Science, vol.231, issue.0, pp.3-19, 2009. ,
DOI : 10.1016/j.entcs.2009.02.026
URL : https://hal.archives-ouvertes.fr/inria-00187300
The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models, Bioinformatics, vol.19, issue.4, pp.524-531, 2003. ,
DOI : 10.1093/bioinformatics/btg015
A Treatise of Human Nature, Being an Attempt to Introduce the Experimental Method of Reasoning into Moral Subjects, 1739. ,
An integrated cell-free metabolic platform for protein production and synthetic biology, Molecular systems biology, vol.4, p.220, 2008. ,
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies, Automated Reasoning with Analytic Tableaux and Related Methods, pp.235-249, 2009. ,
DOI : 10.1007/978-3-642-02716-1_18
NP-completeness of the set unification and matching problems, 8th International Conference On Automated Deduction, 1986. ,
DOI : 10.1007/3-540-16780-3_113
Unification: a multidisciplinary survey, ACM Computing Surveys, vol.21, issue.1, pp.93-124, 1989. ,
DOI : 10.1145/62029.62030
Idempotent vector design for standard assembly of biobricks, 2003. ,
Semantical considerations on modal logic, Acta Philosophica Fennica, vol.16, pp.83-94, 1963. ,
Modelling Epigenetic Information Maintenance: A Kappa Tutorial, Computer Aided Verification, pp.17-32, 2009. ,
DOI : 10.1007/978-3-642-02658-4_3
URL : https://hal.archives-ouvertes.fr/hal-00692430
Causation as Influence, The Journal of Philosophy, vol.97, issue.4, pp.182-197, 2000. ,
DOI : 10.2307/2678389
Next-generation synthetic gene networks, Nature Biotechnology, vol.27, issue.12, pp.1139-1150, 2009. ,
DOI : 10.1038/nbt.1591
URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2796205
Approaches to semi-synthetic minimal cells: a review, Naturwissenschaften, vol.299, issue.1, pp.1-13, 2006. ,
DOI : 10.1007/s00114-005-0056-z
Looking at Transpulmonary Thermodilution Curves, Chest, vol.126, issue.2, pp.656-657, 2004. ,
DOI : 10.1378/chest.126.2.656-a
PROMOT: modular modeling for systems biology, Bioinformatics, vol.25, issue.5, pp.687-696, 2009. ,
DOI : 10.1093/bioinformatics/btp029
URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2647835
Synthetic genomics : potential and limitations, Current Opinion in Biotechnology, vol.23, issue.5, pp.659-665, 2012. ,
Towards programming languages for genetic engineering of living cells, Journal of The Royal Society Interface, vol.2, issue.4, pp.437-450, 2009. ,
DOI : 10.1371/journal.pone.0000339
Modular languages for systems and synthetic biology, 2010. ,
Application of a stochastic name-passing calculus to representation and simulation of molecular processes, Information Processing Letters, vol.80, issue.1, pp.25-31, 2001. ,
DOI : 10.1016/S0020-0190(01)00214-9
The second wave of synthetic biology: from modules to systems, Nature Reviews Molecular Cell Biology, vol.307, issue.6, pp.410-432, 2009. ,
DOI : 10.1038/nrm2698
CBB5, ACS Synthetic Biology, vol.2, issue.6, pp.301-307, 2013. ,
DOI : 10.1021/sb4000146
Distributed biological computation with multicellular engineered networks, Nature, vol.420, issue.7329, pp.469207-211, 2011. ,
DOI : 10.1038/nature09679
Perspectives on the automatic design of regulatory systems for synthetic biology, FEBS Letters, vol.6, issue.15, pp.2037-2079, 2012. ,
DOI : 10.1016/j.febslet.2012.02.031
AutoBioCAD: Full Biodesign Automation of Genetic Circuits, ACS Synthetic Biology, vol.2, issue.5, pp.230-236, 2013. ,
DOI : 10.1021/sb300084h
Five hards truths for the Synthetic Biology, Nature, vol.463, 2004. ,
The burden of malaria mortality among african children in the year 2000, International Journal of Epidemiology, vol.35, issue.3, pp.691-704, 2006. ,
Self-Assembly of Virus-Structured High Surface Area Nanomaterials and Their Application as Battery Electrodes, Langmuir, vol.24, issue.3, pp.906-912, 2008. ,
DOI : 10.1021/la7016424
Synthetic Biology :. SPR -Synthetic Biology, Royal Society of Chemistry, 2014. ,
Automated design of synthetic ribosome binding sites to control protein expression, Nature Biotechnology, vol.98, issue.10, pp.946-50, 2009. ,
DOI : 10.1038/nbt.1568
Defossiling Fuel: How Synthetic Biology Can Transform Biofuel Production, ACS Chemical Biology, vol.3, issue.1, pp.13-16, 2008. ,
DOI : 10.1021/cb700259j
Synthetic design of strong promoters, Proceedings of the National Academy of Sciences, vol.107, issue.6, pp.2538-2543, 2010. ,
Diffusion of synthetic biology: a challenge to biosafety, Systems and Synthetic Biology, vol.310, issue.5745, pp.1-6, 2008. ,
DOI : 10.1007/s11693-008-9018-z
Engineering BioBrick vectors from BioBrick parts, Journal of Biological Engineering, vol.2, issue.1, p.5, 2008. ,
DOI : 10.1186/1754-1611-2-5
URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2373286
VHDL for Designers, 1997. ,
Antimony : a modular model definition language, Bioinformatics, vol.25, issue.18, pp.2452-2456, 2009. ,
A Unification Algorithm for Associative-Commutative Functions, Journal of the ACM, vol.28, issue.3, pp.423-434, 1981. ,
DOI : 10.1145/322261.322262
Development of a set of simple bacterial biosensors for quantitative and rapid measurements of arsenite and arsenate in potable water, Environmental Science & Technology, issue.20, pp.374743-4750, 2003. ,
An algorithm for general set unification and its complexity, Journal of Automated Reasoning, vol.22, issue.1, pp.45-63, 1999. ,
DOI : 10.1023/A:1006019227709
Dynamical behaviour of biological regulatory networks?ii. immunity control in bacteriophage lambda, Bulletin of Mathematical Biology, vol.57, issue.2, pp.277-297, 1995. ,
The Verilog Hardware Description Language, 1998. ,
The Verilog hardware description language, 2002. ,
Programming languages for synthetic biology, Systems and Synthetic Biology, vol.25, issue.18, pp.265-269, 2010. ,
DOI : 10.1007/s11693-011-9070-y
URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3065592
Exploiting the genetic and biochemical capacities of bacteria for the remediation of heavy metal pollution, FEMS Microbiology Reviews, vol.26, issue.4, pp.327-338, 2002. ,
DOI : 10.1111/j.1574-6976.2002.tb00618.x
The Allure of Synthetic Biology, Science, vol.333, issue.6047, p.1235, 2011. ,
DOI : 10.1126/science.333.6047.1235
Engineering modular and orthogonal genetic logic gates for robust digital-like synthetic biology, Nature Communications, vol.26, p.508, 2011. ,
DOI : 10.1038/ncomms1516
The impact of synthetic biology on drug discovery, Drug Discovery Today, vol.14, issue.19-20, pp.19-20956, 2009. ,
DOI : 10.1016/j.drudis.2009.06.010
Marine macroalgae: an untapped resource for producing fuels and chemicals, Trends in Biotechnology, vol.31, issue.2, pp.70-77, 2013. ,
DOI : 10.1016/j.tibtech.2012.10.009
The Ecological Risks and Benefits of Genetically Engineered Plants, Science, vol.290, issue.5499, pp.2088-2093, 2000. ,
DOI : 10.1126/science.290.5499.2088
Developer's and User's Guide to Clotho v2.0, Methods in enzymology, vol.498, pp.97-135, 2011. ,
DOI : 10.1016/B978-0-12-385120-8.00005-X
A Synthetic Optogenetic Transcription Device Enhances Blood-Glucose Homeostasis in Mice, Science, vol.332, issue.6037, pp.3321565-1568, 2011. ,
DOI : 10.1126/science.1203535
Multiobjective evolutionary algorithms: A survey of the state of the art, Swarm and Evolutionary Computation, vol.1, issue.1, pp.32-49, 2011. ,
DOI : 10.1016/j.swevo.2011.03.001