Chris Myers - Academia.edu (original) (raw)

Chris Myers

Uploads

Papers by Chris Myers

Research paper thumbnail of Verification of timed circuits with failure-directed abstractions

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2000

Research paper thumbnail of The Synthetic Biology Open Language (SBOL) provides a community standard for communicating designs in synthetic biology

Nature Biotechnology, 2014

Research paper thumbnail of Synthetic Biology Open Language Visual: An Open-Source Graphical Notation for Synthetic Biology

Research paper thumbnail of Synthetic Biology

Home. Login. Synthetic Biology. Search within this community and its collections: Advanced Search... more Home. Login. Synthetic Biology. Search within this community and its collections: Advanced Search. ...

Research paper thumbnail of Implementation of SBML Level 3 Support within iBioSim

Research paper thumbnail of Dynamic Structures in SBML

Research paper thumbnail of Dynamic Structures in SBML

Research paper thumbnail of SBML and Synthetic Biology

Research paper thumbnail of SBML and Synthetic Biology

Research paper thumbnail of Implementation of SBML Level 3 Support within iBioSim

Research paper thumbnail of Dynamic Structures in SBML

Research paper thumbnail of Dynamic Structures in SBML

Research paper thumbnail of SBML and Synthetic Biology

Research paper thumbnail of SBML and Synthetic Biology

Research paper thumbnail of Implementation of SBML Level 3 Support within iBioSim

Research paper thumbnail of Dynamic Structures in SBML

Research paper thumbnail of Dynamic Structures in SBML

Research paper thumbnail of SBML and Synthetic Biology

Research paper thumbnail of SBML and Synthetic Biology

Research paper thumbnail of Modeling and design automation of biological circuits and systems

Proceedings of the International Conference on Computer-Aided Design - ICCAD '12, 2012

ABSTRACT Circuit designers are increasingly more drawn to challenges in modeling and designing bi... more ABSTRACT Circuit designers are increasingly more drawn to challenges in modeling and designing biological circuits and systems. While the principles of biological organization and architecture resemble those in systems that engineers are designing, the complexity of biological systems still seems to be beyond the designed ones. This session discusses state-of-the-art in tackling such challenges, and presents existing methods for automation of model development, design and analysis of biological circuits and systems. The speakers are experts from systems biology, synthetic biology, and design automation fields. The three talks will cover a range of topics that include rule-based modeling approach to model cell signaling networks, automation of genetic circuit design, and the importance and development of standards in synthetic biology.

Research paper thumbnail of Verification of timed circuits with failure-directed abstractions

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2000

Research paper thumbnail of The Synthetic Biology Open Language (SBOL) provides a community standard for communicating designs in synthetic biology

Nature Biotechnology, 2014

Research paper thumbnail of Synthetic Biology Open Language Visual: An Open-Source Graphical Notation for Synthetic Biology

Research paper thumbnail of Synthetic Biology

Home. Login. Synthetic Biology. Search within this community and its collections: Advanced Search... more Home. Login. Synthetic Biology. Search within this community and its collections: Advanced Search. ...

Research paper thumbnail of Implementation of SBML Level 3 Support within iBioSim

Research paper thumbnail of Dynamic Structures in SBML

Research paper thumbnail of Dynamic Structures in SBML

Research paper thumbnail of SBML and Synthetic Biology

Research paper thumbnail of SBML and Synthetic Biology

Research paper thumbnail of Implementation of SBML Level 3 Support within iBioSim

Research paper thumbnail of Dynamic Structures in SBML

Research paper thumbnail of Dynamic Structures in SBML

Research paper thumbnail of SBML and Synthetic Biology

Research paper thumbnail of SBML and Synthetic Biology

Research paper thumbnail of Implementation of SBML Level 3 Support within iBioSim

Research paper thumbnail of Dynamic Structures in SBML

Research paper thumbnail of Dynamic Structures in SBML

Research paper thumbnail of SBML and Synthetic Biology

Research paper thumbnail of SBML and Synthetic Biology

Research paper thumbnail of Modeling and design automation of biological circuits and systems

Proceedings of the International Conference on Computer-Aided Design - ICCAD '12, 2012

ABSTRACT Circuit designers are increasingly more drawn to challenges in modeling and designing bi... more ABSTRACT Circuit designers are increasingly more drawn to challenges in modeling and designing biological circuits and systems. While the principles of biological organization and architecture resemble those in systems that engineers are designing, the complexity of biological systems still seems to be beyond the designed ones. This session discusses state-of-the-art in tackling such challenges, and presents existing methods for automation of model development, design and analysis of biological circuits and systems. The speakers are experts from systems biology, synthetic biology, and design automation fields. The three talks will cover a range of topics that include rule-based modeling approach to model cell signaling networks, automation of genetic circuit design, and the importance and development of standards in synthetic biology.

Log In