Lista de obras - Chris J Myers - Dominio Público Uruguay

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

artículo científico publicado en 2018

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

artículo científico

A Validator and Converter for the Synthetic Biology Open Language.

artículo científico publicado en 2016

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

artículo científico publicado en 2013

A standard-enabled workflow for synthetic biology

artículo científico publicado en 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

artículo científico

Design and Test of Genetic Circuits Using iBioSim

Design and analysis of a robust genetic Muller C-element

artículo científico publicado en 2009

Design of Asynchronous Genetic Circuits

scholarly article

Directed acyclic graph-based technology mapping of genetic circuit models

artículo científico publicado en 2014

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

artículo científico publicado en 2016

Efficient analysis methods in synthetic biology

artículo científico publicado en 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

artículo científico publicado en 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

artículo científico publicado en 2015

Genetic Circuit Dynamics: Hazard and Glitch Analysis

artículo científico publicado en 2020

Harmonizing semantic annotations for computational models in biology

artículo científico publicado en 2019

High Level Synthesis of Timed Asynchronous Circuits

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

artículo científico publicado en 2022

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

IWBDA 2012 Special Issue

artículo científico publicado en 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

artículo científico publicado en 2015

Learning genetic regulatory network connectivity from time series data

artículo científico publicado en 2011

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)

artículo científico publicado en 2014

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

artículo científico publicado en 2008

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

artículo científico publicado en 2015

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

artículo científico publicado en 2014

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.

artículo científico publicado en 2015

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

artículo científico publicado en 2020

SBOL Visual 2 Ontology

artículo científico publicado en 2020

SBOL Visual: A Graphical Language for Genetic Designs

artículo científico publicado en 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.

artículo científico publicado en 2017

SBOLExplorer: Data Infrastructure and Data Mining for Genetic Design Repositories

artículo científico publicado en 2019

SBOLme: a Repository of SBOL Parts for Metabolic Engineering

artículo científico publicado en 2017

Sharing Structure and Function in Biological Design with SBOL 2.0.

artículo científico publicado en 2016

Specifications of Standards in Systems and Synthetic Biology

artículo científico

Specifications of Standards in Systems and Synthetic Biology

artículo científico publicado en 2015

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

artículo científico publicado en 2016

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

artículo científico publicado en 2016

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

artículo científico publicado en 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

artículo científico publicado en 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

artículo científico publicado en 2018

Synthetic Biology Open Language (SBOL) Version 2.0.0.

artículo científico

Synthetic Biology Open Language (SBOL) Version 2.0.0.

artículo científico publicado en 2015

Synthetic Biology Open Language (SBOL) Version 2.1.0.

artículo científico publicado en 2016

Synthetic Biology Open Language (SBOL) Version 2.1.0.

artículo científico publicado en 2016

Synthetic Biology Open Language (SBOL) Version 2.2.0.

artículo científico publicado en 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.

artículo científico publicado en 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.

artículo científico publicado en 2020

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

artículo científico publicado en 2020

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

artículo científico publicado en 2015

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

artículo científico publicado en 2020

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

artículo científico publicado en 2010

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

artículo científico publicado en 2020

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

artículo científico publicado en 2014

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

artículo científico publicado en 2019

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

artículo científico publicado en 2018

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

artículo científico publicado en 2020

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

artículo científico publicado en 2020

The synthetic biology open language

artículo científico

Toward Community Standards and Software for Whole-Cell Modeling

artículo científico publicado en 2016

Lista de obras de 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

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

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

A Validator and Converter for the Synthetic Biology Open Language.

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

A brief history of COMBINE

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

A standard-enabled workflow for synthetic biology

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

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

Design and Test of Genetic Circuits Using iBioSim

Design and analysis of a robust genetic Muller C-element

Design of Asynchronous Genetic Circuits

Directed acyclic graph-based technology mapping of genetic circuit models

Dynamic Flux Balance Analysis Models in SBML

Dynamic Modeling of Cellular Populations within iBioSim

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

Efficient analysis methods in synthetic biology

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

Extending SynBioHub's Functionality with Plugins

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

Genetic Circuit Dynamics: Hazard and Glitch Analysis

Harmonizing semantic annotations for computational models in biology

Harmonizing semantic annotations for computational models in biology

High Level Synthesis of Timed Asynchronous Circuits

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

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

IWBDA 2012 Special Issue

Introduction to the Special Issue on Computational Synthetic Biology

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

Learning genetic regulatory network connectivity from time series data

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)

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

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

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

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

RAPPID: an asynchronous instruction length decoder

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

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

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

SBOL Visual 2 Ontology

SBOL Visual: A Graphical Language for Genetic Designs

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

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

SBOLDesigner 2: An Intuitive Tool for Structural Genetic Design.

SBOLExplorer: Data Infrastructure and Data Mining for Genetic Design Repositories

SBOLme: a Repository of SBOL Parts for Metabolic Engineering

Sharing Structure and Function in Biological Design with SBOL 2.0.

Specifications of Standards in Systems and Synthetic Biology

Specifications of Standards in Systems and Synthetic Biology

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

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

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

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

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

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

Stochastic Model Checking of Genetic Circuits

SynBioHub: A Standards-Enabled Design Repository for Synthetic Biology

Synthetic Biology Open Language (SBOL) Version 2.0.0.

Synthetic Biology Open Language (SBOL) Version 2.0.0.

Synthetic Biology Open Language (SBOL) Version 2.1.0.

Synthetic Biology Open Language (SBOL) Version 2.1.0.

Synthetic Biology Open Language (SBOL) Version 2.2.0.

Synthetic Biology Open Language (SBOL) Version 2.3.