The re-use of previously validated designs is critical to the evolution of synthetic biology from
a research discipline to an engineering practice. Here we describe the Synthetic Biology …

Synthetic biology is principally concerned with the rational design and engineering of
biologically based parts, devices, or systems. However, biological systems are generally …

The Synthetic Biology Open Language (SBOL) is a standard that enables collaborative
engineering of biological systems across different institutions and tools. SBOL is developed …

A synthetic biology workflow is composed of data repositories that provide information about
genetic parts, sequence-level design tools to compose these parts into circuits, visualization …

Pigeon is a Web-based tool that translates a textual description of a synthetic biology design
into an image. It allows programmatic generation of design visualizations, is easy to learn, is …

Biological engineers often find it useful to communicate using diagrams. These diagrams
can include information both about the structure of the nucleic acid sequences they are …

This paper introduces a new algorithm to infer temporal logic properties of a system from
data consisting of a set of finite time system traces. We propose an algorithm that generates …

In the context of synthetic biology, model generation is the automated process of
constructing biochemical models based on genetic designs. This paper discusses the use …

As engineering foundations such as standards and abstraction begin to mature within
synthetic biology, it is vital that genetic design automation (GDA) tools be developed to …

Research is communicated more effectively and reproducibly when articles depict genetic
designs consistently and fully disclose the complete sequences of all reported constructs …