Chris J. Myers
  • Professor, Elect & Computer Engineering
  • Adjunct Professor, Bioengineering

Presentations

  • The Systems Biology Markup Language (SBML) and the Synthetic Biology Open Language (SBOL), CellML Workshop, Auckland, New Zealand, June 7, 2016. Invited Talk/Keynote, Presented, 06/07/2017.
  • A Standard-Enabled Workflow for Synthetic Biology, Newcastle University, Newcastle, UK, March 7, 2017. Other, Presented, 03/07/2017.
  • Computational Synthetic Biology: Progress and the Road Ahead, University of Oxford, Oxford, UK, March 3, 2017. Other, Presented, 03/03/2017.
  • Genetic Design Automation, University of Bristol, Bristol, UK, February 15, 2017. Other, Presented, 02/15/2017.
  • Genetic Design Automation, Imperial College London, London, UK, February 10, 2017. Other, Presented, 02/10/2017.
  • Synthetic Biology Open Language, Synthetic Biology UK, Edinburgh, UK, November 14, 2016. Invited Talk/Keynote, Presented, 11/14/2016.
  • Genetic Design Automation, University of Oxford, Oxford, UK, November 9, 2016. Other, Presented, 11/09/2016.
  • Genetic Design Automation, Newcastle University, Newcastle UK, October 11, 2016. Other, Presented, 10/11/2016.
  • A Standard Enabled Workflow for Synthetic Biology, 2016 COMBINE Forum, Newcastle, UK, September 19, 2016. Invited Talk/Keynote, Presented, 09/19/2016.
  • The Synthetic Biology Open Language (SBOL) Data Model, SBOL Workshop, Newcastle, UK, August 15, 2016. Invited Talk/Keynote, Presented, 08/15/2016.
  • Synthetic Biology Open Language (SBOL), 2015 International Workshop on Bio-Design Automation, Seattle, WA. Invited Talk/Keynote, Presented, 08/2015.
  • Stochastic Model Checking of Genetic Circuits, Workshop on Verification of Engineered Molecular Devices and Programs, San Francisco. Invited Talk/Keynote, Presented, 07/2015.
  • An Integrated Verification Architecture, Inria, Grenoble, France. Other, Presented, 06/2015.
  • LEMA: A Tool for the Formal Verification of Digitally-Intensive Analog/Mixed-Signal Circuits, Verimag, Grenoble, France . Other, Presented, 06/2015.
  • Whole Cell Model: Lesson Learned, Harmony 2015, Wittenberg, Germany. Invited Talk/Keynote, Presented, 04/2015.
  • libSBOLj 2.0: A Java Library to Support SBOL 2.0, SY-BIO Workshop, Dallas, TX. Conference Paper, Refereed, Presented, 03/2015.
  • Whole Cell Summer School: Integration Group Report, Rostock, Germany. Other, Presented, 03/2015.
  • An Integrated Verification Architecture, presented at RWTH Aachen. Other, Presented, 03/2015.
  • Synthetic Biology Open Language, NormSys/ISBE Workshop Standards for Data and Model Exchange in Systems Biology. Invited Talk/Keynote, Presented, 09/2014.
  • Synthetic Biology Open Language, ICSB Tutorial 2014. Invited Talk/Keynote, Presented, 09/2014.
  • Research Coordination Network for Systems and Synthetic Biology, COMBINE 2014. Invited Talk/Keynote, Presented, 08/2014.
  • Genetic Design Automation Using SBOL, SEED 2014. Invited Talk/Keynote, Presented, 07/2014.
  • Genetic Design Automation, presented at Inria Grenoble France. Invited Talk/Keynote, Presented, 07/2014.
  • Genetic Design Automation, University of California, Davis. Invited Talk/Keynote, Presented, 01/2014.
  • Recent Advances in the Synthetic Biology Open Language, 2013 International Workshop on Bio-Design Automation. Conference Paper, Refereed, Presented, 07/2013.
  • Recent Advances in the Synthetic Biology Open Language, Synthetic Biology 6.0. Invited Talk/Keynote, Presented, 07/2013.
  • Genetic Design Automation, 2013 Design Automation Summer School. Invited Talk/Keynote, Presented, 06/2013.
  • Genetic Design Automation, HARMONY 2013. Invited Talk/Keynote, Presented, 05/2013.
  • Verification of Cyber-Physical Systems, University of South Florida. Invited Talk/Keynote, Presented, 04/2013.
  • Genetic Design Automation, Newcastle University. Invited Talk/Keynote, Presented, 04/2013.
  • Microsoft Research Cambridge, United Kingdom. Other, Presented, 10/2010.
  • Intel Corporation, Portland, OR. Other, Presented, 07/2010.
  • Dagstuhl Seminar, Germany. Other, Presented, 07/2010.
  • Synthetic Biology: A New Application Area for Design Automation Research, Carnegie Mellon University. Invited Talk/Keynote, Presented, 12/10/2009.
  • Genetic Design Automation, ICCAD Tutorial. Invited Talk/Keynote, Presented, 11/04/2009.
  • Synthetic Biology: A New Application Area for Design Automation Research, CANDE WorkshoCANDE Workshop. Invited Talk/Keynote, Presented, 10/30/2009.
  • Simulation Aided Verification of AMS Circuits, Intel Corporation. Invited Talk/Keynote, Presented, 10/14/2009.
  • Genetic Design Automation: Progress and Future Research Directions, RoSBNet Synthetic Biology Workshop. Invited Talk/Keynote, Presented, 09/16/2009.
  • Synthetic Biology: A New Application Area for Design Automation Research, Technical University of Denmark. Invited Talk/Keynote, Presented, 08/22/2009.
  • Synthetic Biology: A New Application Area for Design Automation Research, Utah State University. Invited Talk/Keynote, Presented, 07/12/2009.
  • Engineering Genetic Circuits, Caltech. Invited Talk/Keynote, Presented, 03/01/2009.
  • "Genetic Design Automation: Progress and Future Research Directions", presented at the University of California, Berkeley, October, 17, 2008. Invited Talk/Keynote, Presented, 10/17/2008.
  • "Genetic Design Automation: Progress and Future Research Directions", presented at Technical University of Kaiserlautern, Germany, September 11, 2008. Invited Talk/Keynote, Presented, 09/11/2008.
  • "Fault-Tolerance in Biological Systems", Dagstuhl Seminar on Fault-Tolerant Distributed Algorithms on VLSI Chips, September 9, 2008. Invited Talk/Keynote, Presented, 09/09/2008.
  • S. Little and C. Myers, “Abstract modeling and simulation aided verification of analog/mixed-signal circuits,” in Workshop on Formal Verification of Analog Circuits, April, 2008. Other, Presented, 07/14/2008.
  • "Genetic Design Automation: Progress and Future Research Directions", 2008 International Workshop on Logic Synthesis, June 6, 2008. Invited Talk/Keynote, Presented, 06/06/2008.
  • N. Hamada, Y. Shiga, H. Saito, T. Yoneda, C. Myers, and T. Nanya, “A behavioral synthesis method for asynchronous circuits with bundled-data implementation,” in The 8th International Conference on Application of Concurrency to System Design, June, 2008. Conference Paper, Other, 06/2008.
  • N. Nguyen, N. Barker, H. Kuwahara, C. Madsen, and C. Myers, “Synthesis of genetic circuits from graphical specifications,” in 2008 International Workshop on Logic Synthesis, June, 2008 (Invited). Other, Presented, 06/2008.
  • "Design Principles in Synthetic Biology", IMA Workshop on Design Principles in Biological Systems, April 24, 2008 (Keynote). Invited Talk/Keynote, Presented, 04/24/2008.
  • "iBioSim 1.0: A Tool for the Analysis and Design of Genetic Circuits", The 9th International Conference on Systems Biology", April, 2008 (presented as both 15 minute invited talk and 2 hour tutorial). Invited Talk/Keynote, Presented, 04/2008.
  • S. Little, A. Sen, and C. Myers, ``Application of automated model generation techniques to analog/mixed-signal circuits,'' in 8th International Workshop on Microprocessor Test and Verification, December, 2007. Conference Paper, Other, 12/2007.
  • D. Walter, S. Little, and C. Myers, ``Bounded model checking of analog and mixed-signal circuits using an SMT solver,'' in Automated Technology for Verification and Analysis, October, 2007. Conference Paper, Other, 10/2007.
  • S. Little, D. Walter, K. Jones, and C. Myers, ``Analog/mixed-signal circuit verification using models generated from simulation traces,'' in Automated Technology for Verification and Analysis, October, 2007. Conference Paper, Other, 10/2007.
  • F. Beal, T. Yoneda, and C. Myers, ``Hazard checking of timed asynchronous circuits revisited,'' in 7th International Conference on Applications of Concurrency to System Design, July, 2007. Conference Paper, Other, 07/2007.
  • Engineering Genetic Circuits, Banbury Workshop, Cold Spring Harbor, NY, May 2007. Invited Talk/Keynote, Presented, 05/2007.
  • Engineering Genetic Circuits, University of CA, Berkeley, March 2007. Invited Talk/Keynote, Presented, 03/2007.
  • Formal Verification of Analog and Mixed-Signal Circuits, Cadence Berkeley Labs, Berkeley, CA, March, 2007. Invited Talk/Keynote, Presented, 03/2007.
  • Engineering Genetic Circuits, Cadence Berkeley Labs, Berkeley, CA, March, 2007. Invited Talk/Keynote, Presented, 03/2007.
  • S. Little, N. Seegmiller, D. Walter, C. Myers, and T. Yoneda, ``Verification of analog/mixed-signal circuits using labeled hybrid Petri nets'', in 2006 International Conference on Computer-Aided Design, November, 2006. Conference Paper, Other, 11/2006.
  • T. Yoneda and C. Myers, ``Effective contraction of timed STGs for decomposition based timed circuit synthesis,'' in Automated Technology for Verification and Analysis, pages 229-244, October, 2006. Conference Paper, Other, 10/2006.
  • H. Saito, N. Jindapetch, T. Yoneda, C. Myers, and T. Nanya, ``ILP-based scheduling for asynchronous circuits in bundled-data implementation,'' in 2006 Int. Conf. on Computer and Information Technology, September, 2006. Conference Paper, Other, 09/2006.
  • H. Kuwahara, C. Myers, and M. Samoilov, ``Abstracted stochastic analysis of type 1 pili expression in e. coli,'' in Proceedings of the 2006 International Conference on Bioinformatics & Computational Biology (BIOCOMP '06), pages 125-131, June, 2006. Conference Paper, Other, 06/2006.
  • N. Barker, C. Myers, and H. Kuwahara, ``Learning genetic regulatory network connectivity from time series data,'' in The 19th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE'06), June, 2006. Conference Paper, Other, 06/2006.
  • Engineering Genetic Circuits, presented at EPFL Lausanne, June 2006. Invited Talk/Keynote, Presented, 06/2006.
  • Engineering Genetic Circuits, presented at University of Southern California, May 2006. Invited Talk/Keynote, Presented, 05/2006.
  • H. Kuwahara and C. Myers, ``Production-passage-time approximation: a new approximation method to accelerate the simulation process of enzymatic reactions,'' in The Eleventh Annual International Conference on Research in Computational Molecular Biology, April, 2007. Conference Paper, Other, 04/2006.
  • N. Nguyen, H. Kuwahara, C. Myers, and J. Keener, ``The design of a genetic Muller C-element,'' in The Thirteenth International Symposium on Asynchronous Circuits and Systems, March, 2007 (Best Paper). Conference Paper, Other, 2006.
  • D. Walter, S. Little, N. Seegmiller, C. Myers, and T. Yoneda, ``Symbolic model checking of analog/mixed-signal circuits'', in Asia and South Pacific Design Automation Conference 2007, January, 2007. Conference Paper, Other, 01/2006.

Languages

  • Chinese, functional.
  • Japanese, basic.

Geographical Regions of Interest

  • United Kingdom of Great Britain and Northern Ireland

Grants, Contracts & Research Gifts

  • Collaborative: ABI Development: Synthetic Biology Open Language Resource (1356041). PI: Chris J Myers. National Science Foundation, 2014 - 06/30/2018. Total project budget to date: $444,527.00
  • Student Travel Support for Harmony 2015 (1447689). PI: Chris J Myers. National Science Foundation, 2014 - 06/30/2015. Total project budget to date: $10,000.00

Patents

  • Apparatus and method for parallel processing and self-timed marking of variable length instructions (#5,978,899). Status: Issued. Inventors: S. Rotem, P. Beerel, R. Ginosar, R. Kol, C. Myers, K. Stevens, and K. Yun. File date 11/02/1997; Issue date 11/02/1999. Assignee: Intel Corporation.
  • Apparatus and method for self-timed marking of variable length instructions having length-affecting prefix bytes (#5,948,096). Status: Issued. Inventors: S. Rotem, P. Beerel, R. Ginosar, R. Kol, C. Myers, K. Stevens, and K. Yun. File date 09/07/1997; Issue date 09/07/1999. Assignee: Intel Corporation.
  • Efficient self-timed marking of lengthy variable length instructions (#5,941,982). Status: Issued. Inventors: S. Rotem, P. Beerel, R. Ginosar, R. Kol, C. Myers, K. Stevens, and K. Yun. File date 08/24/1997; Issue date 08/24/1999. Assignee: Intel Corporation.
  • Branch instruction handling in a self-timed marking system (#5,931,944). Status: Issued. Inventors: S. Rotem, P. Beerel, R. Ginosar, R. Kol, C. Myers, K. Stevens, and K. Yun. File date 08/03/1997; Issue date 08/03/1999. Assignee: Intel Corporation.

Software Titles

  • SynBioHub. A SBOL repository for biological designs. Release Date: 04/14/2017. Inventors: J. McLaughlin, C. Myers, G. Misirli, C. Madsen, Z. Zundel, and A. Wipat.
  • iBioSim. Software for the modeling, analysis, and design of genetic circuits. Release Date: 12/30/2016. Inventors: N. Barker, S. Glass, K. Jones, H. Kuwahara, C. Madsen, C. Myers, N. Nguyen, T. Nguyen, T. Patterson, N. Roehner, J. Stevens, L. Watanabe, and Z. Zhang.
  • LEMA. Software for the modeling and verification of analog/mixed-signal circuits and cyber-physical systems. Release Date: 12/30/2016. Inventors: C. Myers, A. Fisher, D. Kulkarni, S. Batchu, R. Thacker, S. Little, D. Walter, K. Jones, and Z. Zhang.
  • SBOL Validator/Converter. Online tool for validation and conversion of SBOL files. Release Date: 12/28/2016. Inventors: Z. Zundel and C. Myers.
  • libSBOLj 2.1. A Java-based library to support the Synthetic Biology Open Language . Release Date: 11/14/2016. Inventors: Z. Zhang, T. Nguyen, N. Roehner, G. Misirli, M. Pocock, E. Oberortner, M. Samineni, Z. Zundel, A. Wipat, C. Myers.
  • SBOLDesigner. A sequence editor for synthetic biology design. Release Date: 10/23/2016. Inventors: M. Zhang, C. Myers, M. Galdzicki, B. Bartley, S. Sleight, E. Sirin, and J. Gennari.
  • LEMA. Software for the modeling and verification of analog/mixed-signal circuits and cyber-physical systems. Release Date: 12/2015. Inventors: C. Myers, A. Fisher, D. Kulkarni, S. Batchu, R. Thacker, S. Little, D. Walter, K. Jones, and Z. Zhang.
  • iBioSim. Software for the modeling, analysis, and design of genetic circuits. Release Date: 12/2015.
  • libSBOLj 2.0. A Java-based library to support the Synthetic Biology Open Language (SBOL). Release Date: 10/2015. Inventors: Z. Zhang, T. Nguyen, N. Roehner, G. Misirli, M. Pocock, E. Oberortner, M. Samineni, Z. Zundel, A. Wipat, C. Myers.
  • LEMA. Software for the modeling and verification of analog/mixed-signal circuits and cyber-physical systems. Release Date: 12/31/2014. Inventors: C. Myers, A. Fisher, D. Kulkarni, S. Batchu, R. Thacker, S. Little, D. Walter, K. Jones, and Z. Zhang.
  • iBioSim. Software for the modeling, analysis, and design of genetic circuits. Release Date: 12/31/2014. Inventors: C. Myers, C. Madsen, H. Kuwahara, N. Barker, T. Patterson, J. Stevens, N. Roehner, K. Jones, N. Nguyen, S. Glass, L. Watanabe.
  • LEMA. Software for the modeling and verification of analog/mixed-signal circuits and cyber-physical systems. Release Date: 12/2013. Inventors: C. Myers, A. Fisher, D. Kulkarni, S. Batchu, R. Thacker, S. Little, D. Walter, K. Jones, and Z. Zhang.
  • iBioSIm. Software for the modeling, analysis, and design of genetic circuits. Release Date: 11/2013. Inventors: C. Myers, C. Madsen, H. Kuwahara, N. Barker, T. Patterson, J. Stevens, N. Roehner, K. Jones, N. Nguyen, S. Glass, L. Watanabe.
  • iBioSim. A tool for modeling, analysis, and design of genetic circuits. Release Date: 10/2010.
  • LEMA. A tool for the verification of analog/mixed signal circuits and cyber-physical systems. Release Date: 10/2010.

Publications

  • Kuwahara H, Cui X, Umarov R, Grünberg R, Myers CJ & Gao X (2017). SBOLme: a Repository of SBOL Parts for Metabolic Engineering. ACS synthetic biology. In press, 01/01/2017.
  • Zundel Z, Samineni M, Zhang Z & Myers CJ (2016). A Validator and Converter for the Synthetic Biology Open Language. ACS synthetic biology. In press, 12/01/2016.
  • J. Beal, R. Cox, R. Grunberg, J. McLaughlin, T. Nguyen, B. Bartley, M. Bissell, K. Choi, K. Clancy, C. Macklin, C. Madsen, G. Misirli, E. Oberortner, M. Pocock, N. Roehner, M. Samineni, M. Zhang, Z. Zhang, Z. Zundel, J. Gennari, C. Myers, H. Sauro and A. Wipat, “Syn- thetic Biology Open Language (SBOL) Version 2.1.0”, Journal of Integrative Bioinformatics, 13(3):291, 2016. Published, 11/28/2016.
  • F. Schreiber, G. Bader, P. Gleeson, M. Golebiewski, M. Hucka, B. Kornmeier, N. Le Novère, C. Myers, D. Nickerson, B. Sommer, and D. Waltemath, “Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2016”, Journal of Integrative Bioinformat- ics, 13(3):289, 2016. Published, 11/28/2016.
  • Watanabe L & Myers CJ (2016). Efficient Analysis of Systems Biology Markup Language Models of Cellular Populations Using Arrays. ACS synthetic biology. Vol. 5, 835-41. Published, 08/01/2016.
  • Nguyen T, Roehner N, Zundel Z & Myers CJ (2016). A Converter from the Systems Biology Markup Language to the Synthetic Biology Open Language. ACS synthetic biology. Vol. 5, 479-86. Published, 06/01/2016.
  • Roehner N, Beal J, Clancy K, Bartley B, Misirli G, Grünberg R, Oberortner E, Pocock M, Bissell M, Madsen C, Nguyen T, Zhang M, Zhang Z, Zundel Z, Densmore D, Gennari JH, Wipat A, Sauro HM & Myers CJ (2016). Sharing Structure and Function in Biological Design with SBOL 2.0. ACS synthetic biology. Vol. 5, 498-506. Published, 06/01/2016.
  • V. Dubikhin, D. Sokolov, C. Myers, and A. Yakovlev, ``Design of Mixed-signal Systems with Asynchronous Control'', to appear in IEEE Design and Test. Published, 02/2016.
  • Z. Zhang, T. Nguyen, N. Roehner, G. Misirli, M. Pocock, E. Oberortner, M. Samineni, Z. Zundel, J. Beal, K. Clancy, A. Wipat, C. Myers, ``libSBOLj 2.0: A Java Library to Support SBOL 2.0'', to appear in IEEE Life Sciences Letters. Accepted, 02/2016.
  • Watanabe L & Myers CJ (2016). Efficient Analysis of SBML Models of Cellular Populations Using Arrays. ACS synthetic biology. In press, 02/01/2016.
  • Z. Zheng, W. Serwe, J. Wu, T. Yoneda, H. Zheng, and C. Myers, ``An Improved Fault-Tolerant Routing Algorithm for a Network-on-Chip Derived with Formal Analysis'', to appear in Science of Computer Programming. Accepted, 01/2016.
  • Nguyen T, Roehner N, Zundel Z & Myers CJ (2016). A Converter from the Systems Biology Markup Language to the Synthetic Biology Open Language. ACS synthetic biology. In press, 01/01/2016.
  • T. Nguyen, N. Roehner, Z. Zundel, and C. Myers, ``A Converter from the Systems Biology Markup Language to the Synthetic Biology Open Language'', in ACS Synthetic Biology. Published, 12/2015.
  • B. Bartley, J. Beal, K. Clancy, G. Misirli, N. Roehner, E. Oberortner, M. Pocock, M. Bissell, C. Madsen, T. Nguyen, Z. Zhang, J. Gennari, C. Myers, A. Wipat and H. Sauro. ``Synthetic Biology Open Language (SBOL) Version 2.0.0'', Journal of Integrative Bioinformatics, 12(2):272, 2015. Published, 11/2015.
  • F. Schreiber, G. Bader, M. Golebiewski, M. Hucka, B. Kornmeier, N. Le Novere, C. Myers, D. Nickerson, B. Sommer, D. Waltemath and S. Weise, ``Specifications of Standards in Systems and Synthetic Biology'', Journal of Integrative Bioinformatics, 12(2):258, 2015. Published, 11/2015.
  • Hucka M, Bergmann FT, Dräger A, Hoops S, Keating SM, Le Novère N, Myers CJ, Olivier BG, Sahle S, Schaff JC, Smith LP, Waltemath D & Wilkinson DJ (2015). Systems Biology Markup Language (SBML) Level 2 Version 5: Structures and Facilities for Model Definitions. (pp. 271). Vol. 12. Journal of integrative bioinformatics. Pending, 11/01/2015.
  • Smith LP, Hucka M, Hoops S, Finney A, Ginkel M, Myers CJ, Moraru I & Liebermeister W (2015). SBML Level 3 package: Hierarchical Model Composition, Version 1 Release 3. Journal of integrative bioinformatics. Vol. 12, 268. Pending, 11/01/2015.
  • Rodriguez N, Thomas A, Watanabe L, Vazirabad IY, Kofia V, Gómez HF, Mittag F, Matthes J, Rudolph J, Wrzodek F, Netz E, Diamantikos A, Eichner J, Keller R, Wrzodek C, Fröhlich S, Lewis NE, Myers CJ, Le Novère N, Palsson BØ, Hucka M & Dräger A (2015). JSBML 1.0: providing a smorgasbord of options to encode systems biology models. Bioinformatics (Oxford, England). Vol. 31, 3383-6. Published, 10/01/2015.
  • N. Roehner, Z. Zhang, T. Nguyen, C. Myers, ``Generating Systems Biology Markup Language Models from the Synthetic Biology Open Language'', in ACS Synthetic Biology, 4(8), 867-943, August 21, 2015. Published, 08/2015.
  • C. Myers, ``Computational Synthetic Biology: Progress and the Road Ahead'', in IEEE Transactions on Multi-scale Computing Systems, 1(1): 19-32, 2015. Published, 08/2015.
  • H. Zheng, Z. Zhang, C. Myers, E. Rodriguez, and Y. Zhang, ``Compositional Model Checking of Concurrent Systems'', to appear in IEEE Transactions on Computers, 64(6), June, 2015. Published, 06/2015.
  • A. Fisher, C. Myers, and P. Li, ``Reachability analysis using extremal rates'', in 7th Nasa Formal Methods Sympositum, April, 2015. Published, 04/2015.
  • Hucka M, Nickerson DP, Bader GD, Bergmann FT, Cooper J, Demir E, Garny A, Golebiewski M, Myers CJ, Schreiber F, Waltemath D & Le Novère N (2015). Promoting Coordinated Development of Community-Based Information Standards for Modeling in Biology: The COMBINE Initiative. Frontiers in bioengineering and biotechnology. Vol. 3, 19. Pending, 03/01/2015.
  • N. Roehner, E Oberortner, M. Pocock, J. Beal, K. Clancy, C. Madsen, G. Misirli, A. Wipat, H. Sauro, C. Myers, ``A Proposed Data Model for the Next Version of the Synthetic Biology Open Language'', in ACS Synthetic Biology, 4(1), 57-71, January 16, 2015. Published, 01/16/2015.
  • C. Madsen, C. Myers, N. Roehner, C. Winstead, and Z. Zhang, "Efficient Analysis Methods in Synthetic Biology'', in Computational Methods in Synthetic Biology, Methods in Molecular Biology, Volume 1244, pages 217-257, 2015. Published, 01/01/2015.
  • A. Fisher, D. Kulkarni, and C. Myers, "A new assertion property language for analog/mixed-signal circuits'', in Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2013, Lecture Notes in Electrical Engineering, Volume 311, pages 45-65, 2015.. Published, 01/2015.
  • C. Myers, K. Clancy, G. Misirli, E. Oberortner, M. Pocock, J. Quinn, N. Roehner, and H. Sauro, "The Synthetic Biology Open Language'', in Computational Methods in Synthetic Biology, Methods in Molecular Biology, Volume 1244, pages 323-336, 2015.. Published, 01/01/2015.
  • L. Watanabe and C. Myers, ``Hierarchical Stochastic Simulation Algorithm for SBML Models of Genetic Circuits'', in Frontiers in Bioengineering and Biotechnology, 2(55), 2014. Published, 12/2014.
  • C. Madsen, Z. Zhang, N. Roehner, C. Winstead, and C. Myers, ``Stochastic Model Checking of Genetic Circuits'', in ACM Journal on Emerging Technologies in Computing Systems, 11(3), December, 2014. Published, 12/2014.
  • C. Myers, H. Sauro, and A. Wipat, ``Introduction to the Special Issue on Computational Synthetic Biology'', in ACM Journal on Emerging Technologies in Computing Systems, 11(3), December, 2014. Published, 12/2014.
  • D. Waltemath, F. Bergmann, C. Chaouiya, T. Czauderna, P. Gleeson, C. Goble, M. Golebiewski, M. Hucka, N. Juty, O. Krebs, N. Le Nov\`{e}re, H. Mi, I. Moraru, C. Myers, D. Nickerson, B. Olivier, N. Rodriguez, F. Schreiber, L. Smith, F. Zhang, and E. Bonnet, ``Meeting report from the fourth meeting of the Computational Modeling in Biology Network (COMBINE)'', in Standards in Genomic Sciences, 9(3), 2014. Published, 09/2014.
  • Z. Zhang, W. Serwe, J. Wu, T. Yoneda, H. Zheng, and C. Myers, ``Formal analysis of a fault-tolerant routing algorithm for a network-on-chip'', in 19th International Workshop on Formal Methods for Industrial Critical Systems, September, 2014. Published, 09/2014.
  • N. Roehner and C. J. Myers, "Directed Acyclic Graph-Based Technology Mapping of Genetic Circuit Models.'', in ACS Synthetic Biology, 3(8), 543–555, August 15, 2014. Published, 08/15/2014.
  • A. Fisher, S. Batchu, K. Jones, D. Kulkarni, S. Little, D. Walter, and C. Myers, ``LEMA: a tool for the formal verification of digitally-intensive analog/mixed-signal circuits,'' in 2014 Midwest Symposium on Circuits and Systems, August, 2014. Published, 08/2014.
  • M. Galdzicki, K. Clancy, E. Oberortner, M. Pocock, J. Quinn, C. Rodriguez, N. Roehner, M. Wilson, L. Adam, J. C. Anderson, B. Bartley, J. Beal, D. Chandran, J. Chen, D. Densmore, D. Endy, R. Grünberg, J. Hallinan, N. Hillson, J. Johnson, A. Kuchinsky, M. Lux, G. Misirli, J. Peccoud, H. Plahar, E. Sirin, G.-B. Stan, A. Villalobos, A. Wipat, J. Gennari, C. Myers, H. Sauro, "SBOL: A community standard for communicating designs in synthetic biology'', in Nature Biotechnology, 32(6): 545-550, June, 2014. Published, 06/2014.
  • Madsen, Curtis, Zhang, Zhen, Roehner, Nicholas, Winstead, Chris & Myers, Chris (2014). Stochastic Model Checking of Genetic Circuits. Association for Computing Machinery (ACM). Vol. 11(3), 1-21. Published, 06/2014.
  • Batchu, Satish, Fisher, Andrew N., Jones, Kevin, Kulkarni, Dhanashree, Little, Scott, Myers, Chris J. & Walter, David (2014). LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits. . , 1017-1020. Published, 06/2014.
  • F. Butzke, C. Myers, M. Moreira, and N. Calazans, ``QDI logic for signaling data validity in bundled-data design: a kogge-stone case study,'' in 2014 International Symposium on Asynchronous Circuits and Systems, May, 2014. Published, 05/2014.
  • L. Watanabe and C. Myers, "Hierarchical stochastic simulation of genetic circuits,'' in 2014 Symposium on Theory of Modeling and Simulation, April, 2014. Published, 04/2014.
  • N. Roehner and C. J. Myers, "A Methodology to Annotate Systems Biology Markup Language Models with the Synthetic Biology Open Language'', in ACS Synthetic Biology, 3(2): 57-66, Feb. 21, 2014. Published, 02/21/2014.
  • Myers, Chris J. & Roehner, Nicholas (2014). Directed Acyclic Graph-Based Technology Mapping of Genetic Circuit Models. American Chemical Society (ACS). , 140401115348009. Published, 01/2014.
  • Myers, Chris J., Rodriguez, Emmanuel, Zhang, Yingying, Zhang, Zhen & Zheng, Hao (2014). Compositional Model Checking of Concurrent Systems. Institute of Electrical & Electronics Engineers (IEEE). , 1-1. Published, 01/2014.
  • C. Myers, "Platforms for Genetic Design Automation'', in Methods in Microbiology 2013: Microbial Synthetic Biology, November, 2013. Released, 11/2013.
  • C. J. Myers (translated by Li), Asynchronous Circuit Design (in Chinese), Tsinghua University Press, September, 2013. Released, 11/2013.
  • D. Kulkarni, A. Fisher, and C. Myers, "A new assertion property language for analog/mixed-signal circuits,'' in 2013 Forum on Design Languages, September, 2013 (best paper candidate). Released, 09/2013.
  • H. Lin, P. Li, and C. Myers, "Verification of digitally-intensive analog circuits via kernel ridge regression and hybrid reachability analysis", in 2013 Design Automation Conference, June, 2013. Released, 06/2013.
  • J. Stevens and C. Myers, "Dynamic Modeling of Cellular Populations within iBioSim," in ACS Synthetic Biology, 2(5): 223-229, Nov. 21, 2012. Published, 11/21/2012.
  • Y. Zhang, E. Rodriguez, H. Zheng, and C. Myers, "An improvement in partial order reduction using behavioral analysis," in IEEE Computer Society Annual Symp. on VLSI, August, 2012. Published, 11/2012.
  • H. Zheng, A. Price, and C. Myers, "Using decision diagrams to compactly represent state space for explicit model checking," in 2012 IEEE International High Level Design Validation and Test Workshop, November, 2012. Published, 11/2012.
  • N. Miskov-Zivanov, J. Faeder, C. Myers, and H. Sauro, "Modeling and design automation of biological circuits and systems," in 2012 International Conference on Computer-Aided Design, November, 2012 (invited}. Published, 11/2012.
  • H. Zheng, E. Rodriguez, Y. Zhang, and C. Myers, "A compositional minimization approach for large asynchronous design verification," in 19th International SPIN Workshop on Model Checking of Software, July, 2012. Published, 07/2012.
  • C. Madsen, C. Myers, N. Roehner, C. Winstead, and Z. Zhang, “Utilizing stochastic model checking to analyze genetic circuits,” in 2012 Computational Intelligence in Bioinformatics and Computational Biology, May, 2012 (best student paper). Published, 05/2012.
  • C. Madsen, C. Myers, T. Patterson, N. Roehner, J. Stevens, and C. Winstead, “Design and test of genetic circuits using iBioSim,” in IEEE Design and Test, May/June, 2012,. Accepted, 05/2012.
  • J. Wu, Z. Zhang, and C. Myers, “A fault-tolerant routing algorithm for a network-on-chip using a link fault model,” in 2011 Virtual Worldwide Forum for PhD Researchers in Electronic Design Automation, November, 2011. Published, 11/01/2011.
  • D. Kulkarni, S. Batchu, and C. Myers, “Improved model generation of AMS circuits for formal verification,” in 2011 Virtual Worldwide Forum for PhD Researchers in Electronic Design Automation, November, 2011. Published, 11/01/2011.
  • H. Kuwahara and C. Myers, “Erlang-delayed stochastic chemical kinetic formalism for efficient analysis of biological systems with non-elementary reaction effects,” in 2011 ACM Conference on Bioinformatics, Computational Biology, & Biomedicine, August, 2011. Published, 08/01/2011.
  • N. Barker, C. Myers, and H. Kuwahara, "Learning genetic regulatory network connectivity from time series data," in IEEE Transactions on Computational Biology and Bioinformatics, 8(1): 152-165, Jan-Mar, 2011. Published, 01/2011.
  • S. Little, D. Walter, C. Myers, R. Thacker, S. Batchu, and T. Yoneda, "Verification of analog/mixed-signal circuits using labeled hybrid Petri nets," to appear in IEEE Transactions on CAD. Accepted, 11/23/2010.
  • H. Yao, H. Zheng, and C. Myers, "State space reductions for scalable verification of asynchronous designs," in 2010 IEEE International High Level Design Validation and Test Workshop, November 2010. Published, 11/2010.
  • C. Myers (editor), Stochastic Control, Sciyo, August, 2010. Published, 08/01/2010.
  • H. Kuwahara, C. Madsen, I. Mura, C. Myers, A. Tejeda, and C. Winstead, "Efficient stochastic simulation to analyze targeted properties of biological systems," in Stochastic Control, Sciyo, pages 505-532, August, 2010. Published, 08/01/2010.
  • C. Winstead, C. Madsen, and C. Myers, "iSSA: an incremental stochastic simulation algorithm for genetic circuits", in 2010 International Conference on Circuits and Systems. Published, 05/31/2010.
  • N. Nguyen, C. Myers, H. Kuwahara, C. Winstead, and J. Keener, "Design and analysis of a robust genetic Muller C-element," in Journal of Theortical Biology, 264(2): 174-187, May, 2010. Published, 05/2010.
  • R. Thacker, K. Jones, C. Myers, and H. Zheng, "Automatic abstraction for verification of cyber-physical systems", in the 1st ACM/IEEE International Conference on Cyber-Physical Systems. Published, 04/14/2010.
  • H. Kuwahara, C. Myers, and M. Samoilov, "Temperature control of fimbriation circuit switch in uropathogenic escherichia coli: quantitative analysis via automated model abstraction," in PLoS Computational Biology, 6(3): e1000723, March, 2010. Published, 03/2010.
  • S. Little, D. Walter, K. Jones, C. Myers, and A. Sen, "Analog/mixed-signal circuit verification using models generated from simulation traces," in The International Journal of Foundations of Computer Science, 21(2): 191-210, 2010. Published, 02/2010.
  • H. Kuwahara and C. J. Myers, "Abstraction methods for analysis of gene regulatory networks," in Computational Methods in Gene Regulatory Networks, IGI Global, pages 352-385, 2010. Published, 01/2010.
  • C. Myers, N. Barker, H. Kuwahara, K. Jones, C. Madsen, and N. Nguyen, "Genetic design automation", in 2009 International Conference on Computer-Aided Design, November, 2009. Published, 11/01/2009.
  • C. Myers, N. Barker, K. Jones, H. Kuwahara, C. Madsen, and N. Nguyen, "iBioSim: a tool for the analysis and design of genetic circuits", in Bioinformatics, 25(21): 2848-2849, November 1, 2009. Published, 11/01/2009.
  • R. Thacker, C. Myers, K. Jones, and S. Little, "A new verification method for embedded systems", in the 27th IEEE International Conference on Computer Design, October, 2009. Published, 10/01/2009.
  • C. J. Myers, Engineering Genetic Circuits, Chapman & Hall/CRC Press, July 2009. Published, 07/01/2009.
  • N. Hamada, Y. Shiga, T. Konishi, H. Saito, T. Yoneda, C. Myers, and T. Nanya, "A behavioral synthesis system for asynchronous circuits with bundled-data implementations", in IPSJ Transactions on System LSI Design Methodology, Vol. 2, 64-79, February, 2009. Published, 02/02/2009.
  • H. Kuwahara, C. Myers, and M. Samoilov, "Temperature control of fimbriation circuit switch in uropathogenic escherichia coli: quantitative analysis via automated model abstraction", in PLoS Computational Biology. In press, 2009.
  • N. Nguyen, C. Myers, H. Kuwahara, C. Winstead, and J. Keener, "Design and analysis of a robust genetic Muller C-element", in The Journal of Theoretical Biology. In press, 2009.
  • S. Little, D. Walter, K. Jones, C. Myers, and A. Sen, "Analog/mixed-signal circuit verification using models generated from simulation traces", in The International Journal of Foundations of Computer Science. In press, 2009.
  • N. Barker, C. Myers, and H. Kuwahara, "Learning genetic regulatory network connectivity from time series data", in IEEE Transactions on Computational Biology and Bioinformatics. In press, 2009.
  • H. Kuwahara and C. J. Myers, "Abstraction methods for analysis of gene regulatory networks", in Computational Methods in Gene Regulatory Networks, IGI Global, to appear 2010. In press, 2009.
  • D. Walter, S. Little, C. Myers, N. Seegmiller, and T. Yoneda, “Verification of analog/mixed- signal circuits using symbolic methods,” in IEEE Transactions on CAD, 27(12): 2223-2235, December, 2008. Published, 12/01/2008.
  • H. Kuwahara and C. Myers, “Production-Passage-Time Approximation: A New Approximation Method to Accelerate the Simulation Process of Enzymatic Reactions” in Journal of Computational Biology, 15(7): 779-792, September, 2008. Published, 09/01/2008.
  • H. Saito, N. Hamada, N. Jindapetch, T. Yoneda, C. Myers, and T. Nanya, "Scheduling methods for asynchronous circuits in bundled-data implementation based on the approximations of start times," in IEICE Transactions, E90-A(12): 2790-2799, December, 2007. Published, 12/2007.
  • T. Yoneda and C. Myers, ``Synthesis of timed circuits based on decomposition,'' in IEEE Transactions on CAD, 26(7): 1177-1195, July, 2007. Published, 07/2007.
  • C. Nelson, C. Myers, and T. Yoneda, ``Efficient verification of hazard-freedom in gate-level timed asynchronous circuits,'' in IEEE Transactions on CAD}, 26(3), March 2007. Published, 03/2007.
  • C. Myers, R. Harrison, D. Walter, N. Seegmiller, and S. Little, ``The case for analog circuit verification,'' in Electronic Notes in Theoretical Computer Science, 153(3): 53-63, June 20, 2006. Published, 06/20/2006.
  • H. Kuwahara, C. Myers, N. Barker, M. Samoilov, and A. Arkin, ``Asynchronous abstraction methodology for genetic regulatory networks,'' in Transactions on Computational Systems Biology VI}, LNBI 4220, 2006. Published, 01/2006.