Search filters

List of works by Chris J Myers

A Behavioral Analysis Approach for Efficient Partial Order Reduction

A Behavioral Synthesis System for Asynchronous Circuits with Bundled-data Implementation

A Compositional Minimization Approach for Large Asynchronous Design Verification

article

A Computational Workflow for the Automated Generation of Models of Genetic Designs

scientific article published on 05 June 2018

A Converter from the Systems Biology Markup Language to the Synthetic Biology Open Language

scientific article published on 22 December 2015

A Validator and Converter for the Synthetic Biology Open Language.

scientific article

A behavioral synthesis method for asynchronous circuits with bundled-data implementation (Tool paper)

article

A brief history of COMBINE

A methodology to annotate systems biology markup language models with the synthetic biology open language

scientific article

A standard-enabled workflow for synthetic biology

scientific article published on June 2017

ANALOG/MIXED-SIGNAL CIRCUIT VERIFICATION USING MODELS GENERATED FROM SIMULATION TRACES

An Improvement in Partial Order Reduction Using Behavioral Analysis

An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis

Analog decoding of product codes

Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits

Automatic Abstraction for Verification of Timed Circuits and Systems?

CMOS Analog MAP Decoder for (8,4) Hamming Code

Communicating Structure and Function in Synthetic Biology Diagrams

scientific article published on 05 August 2019

Curation Principles Derived from the Analysis of the SBOL iGEM Data Set

scholarly article

Design and Test of Genetic Circuits Using iBioSim

Design and analysis of a robust genetic Muller C-element

scientific article published on 13 November 2009

Design of Asynchronous Genetic Circuits

scholarly article

Directed acyclic graph-based technology mapping of genetic circuit models

scientific article

Dynamic Flux Balance Analysis Models in SBML

Dynamic Modeling of Cellular Populations within iBioSim

scientific article published on 29 November 2012

Efficient Analysis of Systems Biology Markup Language Models of Cellular Populations Using Arrays

scientific article published on 25 February 2016

Efficient analysis methods in synthetic biology

scientific article published on January 2015

Efficient exact two-level hazard-free logic minimization

Erlang-delayed stochastic chemical kinetic formalism for efficient analysis of biological systems with non-elementary reaction effects

Experimental Data Connector (XDC): Integrating the Capture of Experimental Data and Metadata Using Standard Formats and Digital Repositories

scientific article published in 2023

Extending SynBioHub's Functionality with Plugins

scientific article published on 10 April 2020

Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip

Generating Systems Biology Markup Language Models from the Synthetic Biology Open Language

scientific article published on 30 March 2015

Genetic Circuit Dynamics: Hazard and Glitch Analysis

scientific article published on 05 August 2020

Harmonizing semantic annotations for computational models in biology

Harmonizing semantic annotations for computational models in biology

scientific article published on 01 March 2019

High Level Synthesis of Timed Asynchronous Circuits

Highly-automated, high-throughput replication of yeast-based logic circuit design assessments

scientific article published in 2022

ILP-based Scheduling for Asynchronous Circuits in Bundled-Data Implementation

IWBDA 2012 Special Issue

scientific article published on 01 May 2013

Introduction to the Special Issue on Computational Synthetic Biology

scholarly article by Chris J. Myers et al published 30 December 2014 in ACM Journal on Emerging Technologies in Computing Systems

JSBML 1.0: providing a smorgasbord of options to encode systems biology models

scientific article

Learning genetic regulatory network connectivity from time series data

scientific article

Level oriented formal model for asynchronous circuit verification and its efficient analysis method

Meeting report from the fourth meeting of the Computational Modeling in Biology Network (COMBINE)

scientific article published on 9 August 2018

Meeting report from the fourth meeting of the Computational Modeling in Biology Network (COMBINE)

article by Dagmar Waltemath et al published 15 March 2014 in Standards in genomic sciences

Modular verification of timed circuits using automatic abstraction

Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems

Production-passage-time approximation: a new approximation method to accelerate the simulation process of enzymatic reactions

scientific article published in September 2008

Promoting Coordinated Development of Community-Based Information Standards for Modeling in Biology: The COMBINE Initiative

scientific article (publication date: 2015)

Proposed data model for the next version of the synthetic biology open language

scientific article

RAPPID: an asynchronous instruction length decoder

SBML Level 3 package: Hierarchical Model Composition, Version 1 Release 3

article

SBML Level 3 package: Hierarchical Model Composition, Version 1 Release 3.

scientific article

SBML Level 3: an extensible format for the exchange and reuse of biological models

scientific article published on 01 August 2020

SBOL Visual 2 Ontology

scientific article published on 08 April 2020

SBOL Visual: A Graphical Language for Genetic Designs

scientific article published on 3 December 2015

SBOL on the Web: Bringing the Synthetic Biology Open Language to the Web browser

scientific article published on 08 January 2019

SBOL-OWL: An Ontological Approach for Formal and Semantic Representation of Synthetic Biology Information

scientific article published on 14 May 2019

SBOLDesigner 2: An Intuitive Tool for Structural Genetic Design.

scientific article published on 25 April 2017

SBOLExplorer: Data Infrastructure and Data Mining for Genetic Design Repositories

scientific article published on 27 September 2019

SBOLme: a Repository of SBOL Parts for Metabolic Engineering

scientific article

Sharing Structure and Function in Biological Design with SBOL 2.0.

scientific article published on 25 April 2016

Specifications of Standards in Systems and Synthetic Biology

scientific article published on 04 September 2015

Specifications of Standards in Systems and Synthetic Biology

scientific article published in June 2015

Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2016.

scientific article published on 18 December 2016

Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2016.

scientific article published in September 2016

Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2017.

scientific article published on 29 March 2018

Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2019

scientific article published on 13 July 2019

Specifications of standards in systems and synthetic biology: status and developments in 2020

scientific article published on 29 June 2020

Specifying Combinatorial Designs with the Synthetic Biology Open Language (SBOL)

scientific article published on 01 July 2019

Stochastic Model Checking of Genetic Circuits

SynBioHub: A Standards-Enabled Design Repository for Synthetic Biology

scientific article published on 9 January 2018

Synthetic Biology Open Language (SBOL) Version 2.0.0.

scientific article published on 04 September 2015

Synthetic Biology Open Language (SBOL) Version 2.0.0.

scientific article published in June 2015

Synthetic Biology Open Language (SBOL) Version 2.1.0.

scientific article published in September 2016

Synthetic Biology Open Language (SBOL) Version 2.1.0.

scientific article published on 18 December 2016

Synthetic Biology Open Language (SBOL) Version 2.2.0.

scientific article published on 2 April 2018

Synthetic Biology Open Language (SBOL) Version 2.3.

scientific article published on 13 June 2019

Synthetic Biology Open Language Visual (SBOL Visual) Version 2.0.

scientific article published on 17 March 2018

Synthetic Biology Open Language Visual (SBOL Visual) Version 2.1.

scientific article published on 13 June 2019

Synthetic biology open language (SBOL) version 3.0.0.

scientific article published on 25 June 2020

Synthetic biology open language visual (SBOL visual) version 2.2.

scientific article published on 10 June 2020

Systems Biology Markup Language (SBML) Level 2 Version 5: Structures and Facilities for Model Definitions

scientific article

Systems Biology Markup Language (SBML) Level 2 Version 5: Structures and Facilities for Model Definitions

Systems Biology Markup Language (SBML) Level 3 Package: Distributions, Version 1, Release 1

scientific article published on 04 August 2020

Temperature control of fimbriation circuit switch in uropathogenic Escherichia coli: quantitative analysis via automated model abstraction

scientific article

The Synthetic Biology Open Language (SBOL) Version 3: Simplified Data Exchange for Bioengineering

scientific article published on 11 September 2020

The Synthetic Biology Open Language (SBOL) provides a community standard for communicating designs in synthetic biology.

scientific article

The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core

The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Release 2

scientific article published on 20 June 2019

The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core.

scientific article published on 9 March 2018

The first 10 years of the international coordination network for standards in systems and synthetic biology (COMBINE)

scientific article published on 29 June 2020

The long journey towards standards for engineering biosystems: Are the Molecular Biology and the Biotech communities ready to standardise?

scientific article published on 26 April 2020

The synthetic biology open language

scientific article published on January 2015

Toward Community Standards and Software for Whole-Cell Modeling

scientific article

Using decision diagrams to compactly represent the state space for explicit model checking

Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets

Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets

Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods

iBioSim 3: A Tool for Model-Based Genetic Circuit Design

scientific article published on 11 July 2018

iBioSim: a tool for the analysis and design of genetic circuits

scientific article published on 23 July 2009

iSSA: An incremental stochastic simulation algorithm for genetic circuits

pySBOL: A Python Package for Genetic Design Automation and Standardization

scientific article published on 06 December 2018

Paulina is supported by:

About Paulina

Help