- L. Watanabe, J. Barhak, and C. Myers, Toward reproducible disease models using the Systems Biology Markup Language, in Simulation, September 6, 2018.
- L. Watanabe, T. Nguyen, M. Zhang, Z. Zundel, Z. Zhang, C. Madsen, N. Roehner, and C. J. Myers, iBioSim 3: A Tool for Model-Based Genetic Circuit Design, in ACS Synthetic Biology, June 26, 2018.
- G. Mısırlı, T. Nguyen, J. A. McLaughlin, P. Vaidyanathan, T. Jones, D. Densmore, C. J. Myers, and A. Wipat, A computational workflow for the automated generation of models of genetic designs, in ACS Synthetic Biology, May 21, 2018.
- F. Schreiber, G. Bader, P. Gleeson, M. Golebiewski, M. Hucka, S. Keating, 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 2017, in Journal of Integrative Bioinformatics, Mar 29, 2018.
- R. Cox, C. Madsen, J. McLaughlin, T. Nguyen, N. Roehner, B. Bartley, J. Beal, M. Bissell, K. Choi, K. Clancy, R. Grünberg, C. Macklin, G. Misirli, E. Oberortner, M. Pocock, M. Samineni, M. Zhang, Z. Zhang, Z. Zundel, J. Gennari, C. Myers, H. Sauro, A. Wipat. Synthetic Biology Open Language (SBOL) Version 2.2.0, in Journal of Integrative Bioinformatics, 15(1), April 2, 2018.
- R. Cox, C. Madsen, J. McLaughlin, T. Nguyen, N. Roehner, B. Bartley, S. Bhatia, M. Bissell, K. Clancy, T. Gorochowski, R. Grünberg, A. Luna, N. Le, M. Pocock, H. Sauro, J. Sexton, G. Stan, J. Tabor, C. Voigt, Z. Zundel, C. Myers, J. Beal, A. Wipat. Synthetic Biology Open Language Visual (SBOL Visual) Version 2.0, in Journal of Integrative Bioinformatics, 15(1), April 2, 2018.
- J. McLaughlin, C. Myers, Z. Zundel, G. Misirli, M. Zhang, I. Ofiteru, A. Moreno, and A. Wipat, SynBioHub: A Standards-Enabled Design Repository for Synthetic Biology, in ACS Synthetic Biology, 7 (2): pp 682–688, 2018.
- M. Zhang, J. McLaughlin, A. Wipat, and C. Myers, SBOLDesigner 2: An Intuitive Tool for Structural Genetic Design, in ACS Synthetic Biology, 6(7): 1150-1160, July 21, 2017.
- C. Myers, J. Beal, T. Gorochowski, H. Kuwahara, C. Madsen, J. McLaughlin, G. Misirli, T. Nguyen, E. Oberortner, M. Samineni, A. Wipat, M. Zhang, and Z. Zundel, A Standard-Enabled Workflow for Synthetic Biology, in Biochemical Society Transactions, 45: 793-803, June 15, 2017.
- Z. Zundel, M. Samineni, Z. Zhang, and C. Myers, A validator and Converter for the Synthetic Biology Open Language, ACS Synthetic Biology, 6(7):1161–1168, July 21, 2017.
- H. Kuwahara, X. Cui, R. Umarov, R. Gruenberg, C. Myers, and X. Gao, SBOLme: a Repository of SBOL Parts for Metabolic Engineering, ACS Synthetic Biology, 6(4):732-736, 2017.
- 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, A. Wipat. Synthetic Biology Open Language (SBOL) Version 2.1.0, Journal of Integrative Bioinformatics, 13(3):291, 2016.
- F. Schreiber, G. Bader, P. Gleeson, M. Golebiewski, M. Hucka, B. Kornmeier, N. Le Novere, 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 Bioinformatics, 13(3):289, 2016.
- D. Waltemath, J.. Karr, F. Bergmann, V. Chelliah, M. Hucka, M. Krantz, W. Liebermeister, P. Mendes, C. Myers, P. Pir, B. Alaybeyoglu, N. Aranganathan, K. Baghalian, A. Bittig, P. Burke, M. Cantarelli, Y. Chew, R. Costa, J. Cursons, T. Czauderna, A. Goldberg, H. Gómez, J. Hahn, T. Hameri, D. Kazakiewicz, I. Kiselev, V. Knight-Schrijver, C. Knüpfer, M. König, D. Lee, A. Lloret-Villas, N. Mandrik, J. Medley, B. Moreau, H. Meshkin, S. Palaniappan, D. Priego-Espinosa, M. Scharm, M. Sharma, K. Smallbone, N. Stanford, J. Song, T. Theile, M. Tokic, N. Tomar, V. Touré, J. Uhlendorf, T. Varusai, L. Watanabe, F. Wendland, M. Wolfien, J. Yurkovich, Y. Zhu, A. Zardilis, A. Zhukova, and F. Schreiber, Toward community standards and software for whole-cell modeling, in IEEE Transactions on Biomedical Engineering, 63(10):2007-2014, 2016.
- X. Li, C. Myers, and C. Kashyap, Guest Editors’ Introduction Challenges and Opportunities in Analog/Mixed-Signal CAD, in IEEE Design & Test, 33(5): 5-6, 2016.
- V. Dubikhin, D. Sokolov, C. Myers, and A. Yakovlev, Design of Mixed-signal Systems with Asynchronous Control, in IEEE Design and Test Magazine, 33(5): 44-55, 2016.
- L. Watanabe and C. J. Myers, Efficient analysis of SBML models of cellular populations using arrays, in ACS Synthetic Biology, 5(8): 835-841, 2016.
- N. Roehner, J. Beal, K. Clancy, B. Bartley, G. Misirli, R. Grunberg, E. Oberortner, M. Pocock, M. Bissell, C. Madsen, T. Nguyen, M. Zhang, Z. Zhang, Z. Zundel, D. Densmore, J. Gennari, A. Wipat, H. Sauro, and C. Myers, Sharing structure and function in biological design with SBOL 2.0, in ACS Synthetic Biology, 5 (6), pp 498–506, 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, 5 (6), pp 479–486, 2016.
- Z. Zhang, 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, in Science of Computer Programming, 118, 24–39, 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, in IEEE Life Sciences Letters, 1 (4), pp 34-37, 2015.
- C. Myers, Computational Synthetic Biology: Progress and the Road Ahead, in IEEE Transactions on Multi-scale Computing Systems, 1(1): 19-32, 2015.
- J. Quinn, R. Cox, A. Adler, J. Beal, S. Bhatia, Y. Cai, J. Chen, K. Clancy, M. Galdzicki, N. Hillson, N. Le Novère, A. Maheshwari, J. Alastair, C. Myers, Umesh P, M. Pocock, C. Rodriguez, L. Soldatova, G.-B. Stan, N. Swainston, A. Wipat, and H. Sauro, SBOL Visual: A Graphical Language for Genetic Designs, in PLOS Biology, 13(12): e1002310, 2015.
- N. Rodriguez, A. Thomas, L. Watanabe, I. Vazirabad, V. Kofia, H. Gómez, F. Mittag, J. Rudolph, F. Wrzodek, E. Netz, A. Diamantikos, J. Eichner, R. Keller, C. Wrzodek, S. Fröhlich, N. Lewis, C. Myers, N. Le Novère B. Palsson, M. Hucka, and A. Dräger, JSBML 1.0: providing a smorgasbord of options to encode systems biology models, in Bioinformatics, 31(20):3383-6, 2015.
- F. Schreiber, G. Bader, M. Golebiewski, M. Hucka, B. Kornmeier, N. Le Novère, 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.
- L. Smith, M. Hucka, S. Hoops, A. Finney, M. Ginkel, C. Myers, I. Moraru and W. Liebermeister, SBML Level 3 package: Hierarchical Model Composition, Version 1 Release 3, Journal of Integrative Bioinformatics, 12(2):268, 2015.
- M. Hucka, F. Bergmann, A. Dräger, S. Hoops, S. Keating, N. Le Novère, C. Myers, B. Olivier, S. Sahle, J. Schaff, L. Smith, D. Waltemath and D. Wilkinson. Systems Biology Markup Language (SBML) Level 2 Version 5: Structures and Facilities for Model Definitions, Journal of Integrative Bioinformatics, 12(2):271, 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.
- 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.
- M. Hucka, D. Nickerson, G. Bader, F. Bergmann, J. Cooper, E. Demir, A. Garny, M. Golebiewski, C. Myers, F. Schreiber, D. Waltemath, N. Le Novère, Promoting coordinated development of community-based information standards for modeling in biology: the COMBINE initiative, in Frontiers in Bioengineering and Biotechnology, 3(19), 2015.
- H. Zheng, Z. Zhang, C. Myers, E. Rodriguez, and Y. Zhang, Compositional Model Checking of Concurrent Systems, in IEEE Transactions on Computers, 64(6), June, 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.
- 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.
- 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.
- L. Watanabe and C. Myers, Hierarchical Stochastic Simulation Algorithm for SBML Models of Genetic Circuits, in Frontiers in Bioengineering and Biotechnology, 2(55), 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.
- 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. GruÌĹ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.
- D. Waltemath, F. Bergmann, C. Chaouiya, T. Czauderna, P. Gleeson, C. Goble, M. Golebiewski, M. Hucka, N. Juty, O. Krebs, N. Le Novè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.
- 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.
- J. Stevens and C. Myers, Dynamic Modeling of Cellular Populations within iBioSim, in ACS Synthetic Biology, 2(5): 223-229, November 21, 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, 29(3): 32-39, May/June 2012.
- S.Little, D.Walter, C.Myers, R.Thacker, S.Batchu, and T.Yoneda, Verification of analog/mixed-signal circuits using labeled hybrid Petri nets, in IEEE Transactions on CAD, 30(4): 617-630, April, 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.
- N. Nguyen, C. Myers, H. Kuwahara, C. Winstead, and J. Keener, Design and analysis of a robust genetic Muller C-element, in Journal of Theoretical Biology, 264(2): 174-187, May, 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.
- 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.
- 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.
- 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 implementation, in IPSJ Transactions on System LSI Design Methodology, Vol. 2, 64-79, February, 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.
- 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.
- 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 approximation of start times, in IEICE Transactions, E90-A(12): 2790-2799, December, 2007.
- T. Yoneda and C. Myers, Synthesis of timed circuits based on decomposition, in IEEE Transactions on CAD, 26(7): 1177-1195, July, 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): 592-605, March, 2007.
- H. Kuwahara, C. Myers, M. Samoilov, N. Barker, and A. Arkin, Automated abstraction methodology for genetic regulatory networks, in Transactions on Computational Systems Biology VI, LNBI 4220, 2006 (Invited Paper).
- 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.
- H. Zheng, C. Myers, D. Walter, S. Little, and T. Yoneda, Verification of timed circuits with failure directed abstractions, in IEEE Transactions on CAD, 25(3): 403-412, March, 2006.
- T. Kitai, T. Yoneda, and C. Myers, Failure trace analysis of timed circuits for automatic timing constraints derivation, in IEICE Transactions, E88-D(11): 2555-2564, November, 2005.
- D. Pradubsuwun, T. Yoneda, and C. Myers, Partial order reduction for detecting safety and timing failures of timed circuits, in IEICE Transactions, E88-D(7): 2555-2564, July, 2005.
- C. Winstead, J. Dai, S. Yu, C. Myers, R. Harrison, C. Schlegel, CMOS analog MAP decoder for (8,4) Hamming Code, in Journal of Solid State Circuits, 39(1), 122-131, January, 2004.
- T. Kitai, Y. Oguro, T. Yoneda, E. Mercer, and C. Myers, Partial order reduction for timed circuit verification based on a level oriented model, in IEICE Transactions, E86-D(12): 2601-2611, 2003.
- H. Zheng, E. Mercer, and C. Myers, Modular verification of timed circuits using automatic abstraction, in IEEE Transactions on CAD, 22(9):1138-1153, September, 2003.
- T. Yoneda, E. Mercer, and C. Myers, Modular Synthesis of Timed Circuits using Partial Order Reduction, in IEICE Transactions, E85-A(12): 2684-2692, 2002.
- H. Jacobson and C. J. Myers, Efficient algorithms for exact two-level hazard-free logic minimization, in IEEE Transactions on CAD, 21(11): 1269-1283, November, 2002.
- B. Zhou, T. Yoneda, and C. Myers, Framework of Timed Trace Theoretic Verification Revisited, in IEICE Transactions, E85-D(10): 1595-1604, 2002.
- S. T. Jung and C. J. Myers, Direct synthesis of timed circuits from free-choice STGs, in IEEE Transactions on CAD, 21(3): 275-290, March, 2002.
- K. Stevens, S. Rotem, R. Ginosar, P. A. Beerel, C. J. Myers, K. Yun, R. Kol, C. Dike, and M. Roncken, An Asynchronous Instruction Length Decoder, in IEEE Journal of Solid State Circuits, 36(2): 217-228, February, 2001.
- W. Belluomini and C. J. Myers, Timed circuit verification using TEL structures, in IEEE Transactions on CAD, 20(1): 129-146, January, 2001.
- A. E. Sjogren and C. J. Myers, Interfacing synchronous and asynchronous modules within a high-speed pipeline, in IEEE Transactions on VLSI Systems, 8(5): 573-583, October, 2000.
- W. J. Belluomini and C. J. Myers, Timed state space exploration using POSETs, in IEEE Transactions on CAD, 19(5), May, 2000.
- C. J. Myers, T. G. Rokicki, and T. H.-Y. Meng, POSET timing and its application to the synthesis and verification of gate-level timed cirucits, in IEEE Transactions on CAD, 18(6), June, 1999.
- P. A. Beerel, C. J. Myers, and T. H.-Y. Meng, Covering conditions and algorithms for the synthesis of speed-independent circuits, in IEEE Transactions on CAD, 17(3), March, 1998.
- C. J. Myers and T. H.-Y. Meng, Synthesis of timed asynchronous circuits (figures), in IEEE Transactions on VLSI Systems, 1(2), June, 1993 (invited paper).