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
BBF RFC 112: Synthetic Biology Open Language (SBOL) Version 2.1.0
Jacob Beal,Robert Sidney Cox,Raik Grünberg,James Alastair McLaughlin,Tramy Nguyen,Chris Macklin,Michael Bissell,Curtis Madsen,Nicholas Roehner,Ernst Oberortner,Goksel Misirli,Kevin Clancy,Matthew Pocock,Zhen Zhang,Chris J. Myers,Michael Zhang,Meher Samineni,Zach Zundel,Bryan Bartley,Kiri Choi,John H. Gennari,Herbert M. Sauro +21 more
- 10 Nov 2016
TL;DR: BBF RFC 112 (the SBOL 2.1.0 standard) replaces BBF RFC 108 (the standard BBF 2.0) as well as the minor update SBOL 1.0.
22
Design of Asynchronous Genetic Circuits
Tramy Nguyen,Timothy S. Jones,Pedro Fontanarrosa,Jeanet V. Mante,Zach Zundel,Douglas Densmore,Chris J. Myers +6 more
- 04 Jun 2019
TL;DR: A workflow to automate the design of asynchronous genetic circuits by leveraging asynchronous logic design methods customized for this technology is proposed and demonstrated on a genetic sensor that uses filtering and cellular communication to improve its reliability.
22
Verification of timed circuits with failure-directed abstractions
TL;DR: A method to address state explosion in timed-circuit verification by using abstraction directed by the failure model to decompose the verification problem into a set of subproblems, each of which proves that a specific failure condition does not occur.
22
BioSimulators: a central registry of simulation engines and services for recommending specific tools
Bilal Shaikh,Lucian P. Smith,D. Vasilescu,Gnaneswara Marupilla,Michael Wilson,Eran Agmon,Henry Agnew,Steven S. Andrews,Azraf Anwar,Moritz Emanuel Beber,Frank Bergmann,David Brooks,Lutz Brusch,Laurence Calzone,Kiri Choi,Joshua Cooper,John Detloff,Brian Drawert,Michel Dumontier,G. Bard Ermentrout,James R. Faeder,Andrew Philip Freiburger,F. Frohlich,Akira Funahashi,Alan Garny,John H. Gennari,Padraig Gleeson,Anne Goelzer,Zachary B. Haiman,Joseph M. Hellerstein,Stefan Hoops,Jon Ison,Diego Jahn,Henry V. Jakubowski,Ryan Jordan,Mat'uvs Kalavs,M. Konig,Wolfram Liebermeister,Synchon Mandal,Robert A. McDougal,J. Kyle Medley,Pedro Mendes,Robert T. Muller,Chris J. Myers,Aurélien Naldi,Tung V N Nguyen,David P. Nickerson,Brett G. Olivier,Drashti Patoliya,Loic Paulev'e,Linda R. Petzold,Ankita Priya,Anand Rampadarath,Johann M. Rohwer,Ali S. Saglam,Dilawar Singh,Ankur Sinha,Jacky L. Snoep,Hugh Sorby,Ryan K. Spangler,Jörn Starruß,Payton J Thomas,D. D. van Niekerk,Daniel Weindl,Fengkai Zhang,Anna Zhukova,Arthur P. Goldberg,Michael L. Blinov,Herbert M. Sauro,Ion I. Moraru,Jonathan R. Karr +70 more
TL;DR: The foundation of BioSimulators is standards, such as CellML, SBML, SED-ML and the COMBINE archive format, and validation tools for simulation projects and simulation tools that ensure these standards are used consistently.
Verification of delayed-reset domino circuits using ATACS
Wendy A. Belluomini,Chris J. Myers,H.P. Hofstee +2 more
- 19 Apr 1999
TL;DR: Results on a number of circuits from the recently published guTS (gigahertz unit Test Site) processor from IBM indicate that modules of significant size can be verified with ATACS using a level of abstraction that preserves the interesting timing properties of the circuit.
21