Chris J. Myers
University of Colorado Boulder
241 Papers
1.2K Citations
Chris J. Myers is an academic researcher from University of Colorado Boulder. The author has contributed to research in topics: Computer science & Formal verification. The author has an hindex of 37, co-authored 223 publications. Previous affiliations of Chris J. Myers include National Institute of Informatics & Utah State University.
Chat about Author
Papers
SBOL-OWL: An ontological approach for formal and semantic representation of synthetic genetic circuits
Goksel Misirli,Taylor R,Angel Goñi-Moreno,James Alastair McLaughlin,Chris J. Myers,John H. Gennari,Phillip Lord,Anil Wipat +7 more
TL;DR: This work provides SBOL-OWL, an ontology for a machine understandable definition of SBOL, which acts as a semantic layer for genetic circuit designs and provides a new perspective to the verification, representation and querying of information about synthetic genetic circuits.
A Comparison of Weighted Stochastic Simulation Methods for the Analysis of Genetic Circuits.
Mohammad Hossein Ahmadi,Payton J Thomas,Lukas Buecherl,Chris Winstead,Chris J. Myers,Hao Zheng +5 more
TL;DR: A critical survey of weighted stochastic simulation methods for rare events can be found in this article , where the authors show that the methods considered here cannot consistently, efficiently, and exactly accomplish the task of rare event simulation without resorting to a computationally expensive calibration procedure.
4
VisBOL2-Improving Web-Based Visualization for Synthetic Biology Designs.
Benjamin Hatch,Linhao Meng,Jeanet Mante,James Alastair McLaughlin,James Scott-Brown,Chris J. Myers +5 more
TL;DR: VisBOL2 as discussed by the authors is a heavily redesigned version of VisBOL that makes a number of improvements to the original VisbOL, including proper functional interaction rendering, dynamic viewing, a more maintainable code base, and modularity that facilitates compatibility with other software tools.
4
SBML Level 3 Package Specification: Hierarchical Model Composition
Lucian P. Smith,Michael Hucka,Stefan Hoops,Andrew Finney,Martin Ginkel,Chris J. Myers,Ion I. Moraru,Wolfram Liebermeister +7 more
- 14 Nov 2013
TL;DR: Hucka et al. as discussed by the authors describe a specification for an SBML Level 3 package that provides exactly such a facility for hierarchical model composition, which is the ability to include models as submodels inside another model.
4
A compositional minimization approach for large asynchronous design verification
Hao Zheng,Emmanuel Rodriguez,Yingying Zhang,Chris J. Myers +3 more
- 23 Jul 2012
TL;DR: This paper presents a compositional minimization approach with efficient state space reductions for verifying non-trivial asynchronous designs that cannot be handled monolithically or with partial-order reduction to be verified without difficulty.