Chris J. Myers | Genetic Logic Lab

Latest

Stochastic Hazard Analysis of Genetic Circuits in iBioSim and STAMINA
Comparison of Extrinsic and Intrinsic Noise Model Predictions for Genetic Circuit Failures
iBioSim Server: A Tool for Improving the Workflow for Genetic Design and Modeling
VisBOL2—Improving Web-Based Visualization for Synthetic Biology Designs
Quantitative Characterization of Recombinase-Based Digitizer Circuits Enables Predictable Amplification of Biological Signals
SBOLCanvas: A Visual Editor for Genetic Designs
Genetic Circuit Hazard Analysis Using STAMINA
Systems Biology Markup Language (SBML) Level 3 Package: Distributions, Version 1, Release 1
Synthetic biology open language (SBOL) version 3.0.0
SBOL Visual 2 Ontology
The Synthetic Biology Open Language (SBOL) Version 3: Simplified Data Exchange for Bioengineering
SBOLExplorer: Data Infrastructure and Data Mining for Genetic Design Repositories
pySBOL: A Python Package for Genetic Design Automation and Standardization
Specifying Combinatorial Designs with the Synthetic Biology Open Language (SBOL)
Stochastic Analysis of an Genetic Sensor
Design of Asynchronous Genetic Circuits
STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis
The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Release 2
sboljs: Bringing the Synthetic Biology Open Language to the Web Browser
An improved model generation method using Cello’s optimized parameters
The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core
SynBioHub: A Standards-Enabled Design Repository for Synthetic Biology
A brief history of COMBINE
A Validator and Converter for the Synthetic Biology Open Language
SBOLDesigner 2: An Intuitive Tool for Structural Genetic Design
Model Discovery for Analog/Mixed-Signal Circuits
SBOLme: a Repository of SBOL Parts for Metabolic Engineering
A standard-enabled workflow for synthetic biology
Design of Mixed-Signal Systems With Asynchronous Control
Toward Community Standards and Software for Whole-Cell Modeling
Efficient Analysis of Systems Biology Markup Language Models of Cellular Populations Using Arrays
A Converter from the Systems Biology Markup Language to the Synthetic Biology Open Language
Sharing Structure and Function in Biological Design with SBOL 2.0
Engineering Genetic Circuits
Introduction to the Special Issue on Computational Synthetic Biology
SBOL Visual: A Graphical Language for Genetic Designs
libSBOLj 2.0: A Java Library to Support SBOL 2.0
JSBML 1.0: providing a smorgasbord of options to encode systems biology models
Systems Biology Markup Language (SBML) Level 2 Version 5: Structures and Facilities for Model Definitions
Generating Systems Biology Markup Language Models from the Synthetic Biology Open Language
Compositional Model Checking of Concurrent Systems
SBML Level 3 package: Hierarchical Model Composition, Version 1 Release 3
Reachability Analysis Using Extremal Rates
Proposed Data Model for the Next Version of the Synthetic Biology Open Language
Computational Synthetic Biology: Progress and the Road Ahead
Promoting Coordinated Development of Community-Based Information Standards for Modeling in Biology: The COMBINE Initiative
Directed Acyclic Graph-Based Technology Mapping of Genetic Circuit Models
LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits
The Synthetic Biology Open Language (SBOL) provides a community standard for communicating designs in synthetic biology
Hierarchical stochastic simulation of genetic circuits
Meeting report from the fourth meeting of the Computational Modeling in Biology Network (COMBINE)
A Methodology to Annotate Systems Biology Markup Language Models with the Synthetic Biology Open Language
Hierarchical Stochastic Simulation Algorithm for SBML Models of Genetic Circuits
Platforms for Genetic Design Automation
A new assertion property language for analog/mixed-signal circuits
Verification of digitally-intensive analog circuits via kernel ridge regression and hybrid reachability analysis
Dynamic Modeling of Cellular Populations within iBioSim
Modeling and design automation of biological circuits and systems
Design and Test of Genetic Circuits Using tt iBioSim
Utilizing stochastic model checking to analyze genetic circuits
A Fault-Tolerant Routing Algorithm for a Network-on-Chip Using a Link Fault Model
Learning Genetic Regulatory Network Connectivity from Time Series Data
State space reductions for scalable verification of asynchronous designs
Automatic abstraction for verification of cyber-physical systems
Temperature Control of Fimbriation Circuit Switch in Uropathogenic Escherichia coli: Quantitative Analysis via Automated Model Abstraction
Abstraction Methods for Analysis of Gene Regulatory Networks
Genetic design automation
A new verification method for embedded systems
Production-passage-time approximation: a new approximation method to accelerate the simulation process of enzymatic reactions
Synthesis of Genetic Circuits from Graphical Specifications
Hazard Checking of Timed Asynchronous Circuits Revisited
Synthesis of Timed Circuits Based on Decomposition
Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous Circuits
The Design of a Genetic Muller C-Element
Symbolic Model Checking of Analog/Mixed-Signal Circuits
The Case for Analog Circuit Verification
Automated Abstraction Methodology for Genetic Regulatory Networks
Asynchronous Circuit Design
Timed circuits: a new paradigm for high-speed design
Verification of timed systems using POSETs
Automatic verification of timed circuits