Publications
- Mısırlı G, Beal J, Gorochowski TE, Stan GB, Wipat A & Myers CJ (2021). SBOL Visual 2 Ontology. ACS synthetic biology. Vol. 9, 972-977. Published, 01/01/2021.
- Keating SM, Waltemath D, König M, Zhang F, Dräger A, Chaouiya C, Bergmann FT, Finney A, Gillespie CS, Helikar T, Hoops S, Malik-Sheriff RS, Moodie SL, Moraru II, Myers CJ, Naldi A, Olivier BG, Sahle S, Schaff JC, Smith LP, Swat MJ, Thieffry D, Watanabe L, Wilkinson DJ, Blinov ML, Begley K, Faeder JR, Gómez HF, Hamm TM, Inagaki Y, Liebermeister W, Lister AL, Lucio D, Mjolsness E, Proctor CJ, Raman K, Rodriguez N, Shaffer CA, Shapiro BE, Stelling J, Swainston N, Tanimura N, Wagner J, Meier-Schellersheim M, Sauro HM, Palsson B, Bolouri H, Kitano H, Funahashi A, Hermjakob H, Doyle JC, Hucka M & Adams RR (2020). SBML Level 3: an extensible format for the exchange and reuse of biological models. Molecular systems biology. Vol. 16, e9110. Published, 11/01/2020.
- Fontanarrosa P, Doosthosseini H, Borujeni AE, Dorfan Y, Voigt CA & Myers C (2020). Genetic Circuit Dynamics: Hazard and Glitch Analysis. ACS synthetic biology. Vol. 9, 2324-2338. Published, 09/01/2020.
- Mante J, Zundel Z & Myers C (2020). Extending SynBioHub's Functionality with Plugins. ACS synthetic biology. Vol. 9, 1216-1220. Published, 07/01/2020.
- Zhang M, Zundel Z & Myers CJ (2019). SBOLExplorer: Data Infrastructure and Data Mining for Genetic Design Repositories. ACS synthetic biology. Vol. 8, 2287-2294. Published, 10/01/2019.
- L. Watanabe, J. Barhak & C. Myers (2019). Towards Reproducible Disease Models using the Systems Biology Markup Language. Simulation. Published, 10/01/2019.
- J. Beal, T. Nguyen, T. Gorochowski, A. Goni-Moreno, J. Scott-Brown, J. McLaughlin, C. Madsen, B. Aleritsch, B. Bartley, S. Bhakta, M. Bissell, S. Castillo-Hair, K. Clancy, A. Luna, N. Le Novere, Z. Palchick, M. Pocock, H. Sauro, J. Sexton, J. Tabor, C. Voigt, Z. Z & Z. Zundel, C. Myers, A. Wipat (2019). Communicating Structure and Function in Synthetic Biology Diagrams. ACS Synthetic Biology. Vol. 8, 1818-1824. Published, 07/26/2019.
- Bartley BA, Choi K, Samineni M, Zundel Z, Nguyen T, Myers CJ & Sauro HM (2019). pySBOL: A Python Package for Genetic Design Automation and Standardization. ACS synthetic biology. Vol. 8, 1515-1518. Published, 07/19/2019.
- Roehner N, Bartley B, Beal J, McLaughlin J, Pocock M, Zhang M, Zundel Z & Myers CJ (2019). Specifying Combinatorial Designs with the Synthetic Biology Open Language (SBOL). ACS synthetic biology. Vol. 8, 1519-1523. Published, 07/19/2019.
- G. Misirli & R. Taylor, A. Goni-Moreno, J. Mclaughlin, C. Myers, J. Gennari, P. Lord, A. Wipat (2019). SBOL-OWL: An ontological approach for formal and semantic representation of synthetic biology information. ACS Synthetic Biology. Vol. 8, 1498-1514. Published, 07/19/2019.
- G. Misirli, T. Nguyen, J. McLaughlin, P. Vaidyanathan, T. Jones, D. Densmore, C. Myers & A. Wipat (2019). A Computational Workflow for the Automated Generation of Models of Genetic Designs. ACS Synthetic Biology. Vol. 8, 1548-1559. Published, 07/19/2019.
- L. Watanabe, T. Nguyen, M. Zhang, Z. Zundel, Z. Zhang, C. Madsen, N. Roehner & C. Myers (2019). iBioSim 3: A Tool for Model-Based Genetic Circuit Design. ACS Synthetic Biology. Vol. 8. Published, 07/19/2019.
- T. Nguyen & T. Jones, P. Fontanarrosa, J. Mante, Z. Zundel, D. Densmore, C. Myers (2019). Design of Asynchronous Genetic Circuits. Proceedings of the IEEE. Vol. 107, 1356-1368. Published, 07/01/2019.
- T. Neupane & Z. Zhang, C. Madsen, H. Zheng, and C. Myers (2019). Approximation techniques for stochastic analysis of biological systems. (pp. 327-348). Automated Reasoning for Systems Biology and Medicine. Published, 06/12/2019.
- F. Schreiber & B. Sommer, G. Bader, P. Gleeson, M. Golebiewski, M. Hucka, S. Keating, M. Konig, C. Myers, D. Nickerson, and D. Waltemath (2019). Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2019. Journal of Integrative Bioinformatics. Vol. 16. Published, 06/01/2019.
- C. Madsen, A. Moreno, Z. Palchick, U. P, N. Roehner, A. Wipat, B. Bartley, J. Beal, S. Bhatia, S. Bhakta, M. Bissell, K. Clancy, R. Cox, T. Gorochowski, R. Grunberg, A. Luna, J. McLaughlin, C. Myers, T. Nguyen, N. Le Novere, M. Pocock, H. Sauro, J. Scott-Brown, J. & J. Sexton, G.-B. Stan, J. Tabor, C. Voigt, Z. Zundel (2019). Synthetic Biology Open Language Visual (SBOL Visual) Version 2.1. Journal of Integrative Bioinformatics. Vol. 16. Published, 06/01/2019.
- C.Madsen, A.Moreno,U.P,Z.Palchick,N.Roehner,A.Wipat,J.Beal,M.Bissell,J.Gennari, H. Sauro, K. Clancy, G. Misirli, C. Myers, E. Oberortner, C. Macklin, Y. Tarter, J. Meng, R. Grunberg, C. Atallah, J. McLaughlin, R. Cox, B. Bartley, M. Pocock, T. Gorochowski & J. Scott-Brown, T. Nguyen, M. Samineni, M. Zhang, Z. Zundel, K. Choi, Z. Zhang (2019). Synthetic Biology Open Language (SBOL) Version 2.3. Journal of Integrative Bioinformatics. Vol. 16. Published, 06/01/2019.
- M. Hucka & F. Bergmann, A. Drager, S. Hoops, S. Keating, M. Konig, N. Le Novere, C. Myers, B. Olivier, S. Sahle, J. Schaff, R. Sheriff, L. Smith, D. Waltemath, D. Wilkinson, and F. Zhang (2019). The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Release 2. Journal of Integrative Bioinformatics. Vol. 16. Published, 06/01/2019.
- M. Neal, M Konig, D. Nickerson, G. Misirli, R. Kalbasi, A. Drager, K. Atalag, V. Chelliah, M. Cooling, D. Cook, S. Crook, M. de Alba, S. Friedman, A. Garny, J. Gennari, P. Gleeson, M. Golebiewski, M. Hucka, N. Juty, N. Le Novere, C. Myers, B. Olivier, H. Sauro, M. Scharm, J. Snoep, V. Toure, A. Wipat, O. Wolkenhauer & D. Waltemath (2019). Harmonizing semantic annotations for computational models in biology. Briefings in Bioinformatics. Published, 03/01/2019.
- McLaughlin JA, Myers CJ, Zundel Z, Wilkinson N, Atallah C & Wipat A (2019). sboljs: Bringing the Synthetic Biology Open Language to the Web Browser. ACS synthetic biology. Vol. 8, 191-193. Published, 01/18/2019.
- B. Bartley, K. Choi, M. Samineni, Z. Zundel, T. Nguyen, C. Myers & H. Sauro (2018). pySBOL: A Python Package for Genetic Design Automation and Standardization. ACS Synthetic Biology. Published, 11/13/2018.
- J. McLaughlin, C. Myers, Z. Zundel, N. Wilkinson, C. Atallah & A. Wipat (2018). SBOL on the Web: Bringing the Synthetic Biology Open Language to the Web browser. ACS Synthetic Biology. Published, 11/07/2018.
- F. Schreiber, G. Bader, P. Gleeson, M. Golebiewski, M. Hucka, S. Keating, N. Le Novère, C. Myers, D. Nickerson, B. Sommer & D. Waltemath (2018). Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2017. Journal of Integrative Bioinfor- matics. Vol. 15. Published, 04/02/2018.
- R. Cox, 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 (2018). Synthetic Biology Open Language (SBOL) Version 2.2.0. Journal of Integrative Bioinformatics. Vol. 15. Published, 04/02/2018.
- R. Cox, C. Madsen, J. McLaughlin, T. Nguyen, N. Roehner, B. Bartley, J. Beal, S. Bhatia, M. Bissell, K. Clancy, T. Gorochowski, R. Grünberg, A. Luna, C. Myers, N. Le Novere, M. Pocock, H. Sauro, J. Sexton, G. Stan, J. Tabor, C. Voigt, Z. Zundel & A. Wipat (2018). Synthetic Biology Open Language Visual (SBOL Visual) Version 2.0. Journal of Integrative Bioinformatics. Vol. 15. Published, 04/02/2018.
- McLaughlin JA, Myers CJ, Zundel Z, Mısırlı G, Zhang M, Ofiteru ID, Goñi-Moreno A & Wipat A (2018). SynBioHub: A Standards-Enabled Design Repository for Synthetic Biology. ACS synthetic biology. Vol. 7, 682-688. Published, 02/26/2018.
- C. Myers (2017). A Brief History of COMBINE. 2017 Winter Simulation Conference. Published, 12/01/2017.
- Zundel Z, Samineni M, Zhang Z & Myers CJ (2017). A Validator and Converter for the Synthetic Biology Open Language. ACS synthetic biology. Vol. 6, 1161-1168. Published, 07/21/2017.
- Zhang M, McLaughlin JA, Wipat A & Myers CJ (2017). SBOLDesigner 2: An Intuitive Tool for Structural Genetic Design. ACS synthetic biology. Vol. 6, 1150-1160. Published, 07/21/2017.
- V. Dubikhin (2017). Model discovery for analog/mixed-signal circuits. 2017 Frontiers in Analog CAD Workshop. Published, 07/01/2017.
- Myers CJ, Beal J, Gorochowski TE, Kuwahara H, Madsen C, McLaughlin JA, Mısırlı G, Nguyen T, Oberortner E, Samineni M, Wipat A, Zhang M & Zundel Z (2017). A standard-enabled workflow for synthetic biology. Biochemical Society transactions. Vol. 45, 793-803. Published, 06/15/2017.
- V. Dubikhin (2017). Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems. 2017 Design Automation Conference. Published, 06/01/2017.
- 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. Vol. 6, 732-736. Published, 04/21/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 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
Presentations
- Unmet Data / Infrastructure / Computational Needs for Synthetic Biology, Interagency Synthetic Biology Meeting, Washington D.C. Invited Talk/Keynote, Presented, 10/17/2019.
- A Standard-Enabled Workflow for Synthetic Biology, University of Cambridge, Cambridge, United Kingdom. Invited Talk/Keynote, Presented, 10/10/2019.
- A Standard-Enabled Workflow for Synthetic Biology, Shonan, Tokyo, Japan. Invited Talk/Keynote, Presented, 09/04/2019.
- Design of Asynchronous Genetic Circuits, Shonan, Tokyo, Japan. Invited Talk/Keynote, Presented, 09/03/2019.
- A Standard-Enabled Workflow for Synthetic Biology, COMBINE Forum, Heidelberg, Germany. Invited Talk/Keynote, Presented, 07/16/2019.
- A Standard-Enabled Workflow for Synthetic Biology, Imperial College London, London, United Kingdom. Invited Talk/Keynote, Presented, 07/05/2019.
- A Standard-Enabled Workflow for Synthetic Biology, Oxford Synthetic Biology CDT Symposium, Oxford, United Kingdom. Invited Talk/Keynote, Presented, 07/02/2019.
- A Standard-Enabled Workflow for Synthetic Biology, BioRoboost, Madrid, Spain. Invited Talk/Keynote, Presented, 06/04/2019.
- A Standard Enabled Workflow for Synthetic Biology, Oxford Global Synthetic Biology Congress, London, United Kingdon. Invited Talk/Keynote, Presented, 11/2018.
- A Standard-Enabled Workflow for Synthetic Biology, SB4D Workshop, Arlington, VA. Invited Talk/Keynote, Presented, 09/2018.
- A Standard Enabled Workflow for Synthetic Biology, CMSB 2018, Brno, Czech Republic. Invited Talk/Keynote, Presented, 09/2018.
- A Standard Enabled Workflow for Synthetic Biology, University College London, London, United Kingdom. Other, Presented, 09/2018.
- A Standard Enabled Workflow for Synthetic Biology, NSF Living Computing Project Site Visit, Boston, MA. Other, Presented, 08/2018.
- Introduction to the SBOL2 Data Model, the Java Library (libSBOLj), and the Javascript Library (sboljs), SBOL Developers Workshop, Berkeley, CA. Other, Presented, 07/2018.
- A Standard Enabled Workflow for Synthetic Biology, DARPA SD2 PI Meeting, Seattle, WA. Other, Presented, 07/2018.
- Design of Asynchronous Genetic Circuits, ASYNC 2018, Vienna, Austria. Invited Talk/Keynote, Presented, 05/2018.
- Design of Asynchronous Genetic Circuits, Dagstuhl Seminar, Germany. Invited Talk/Keynote, Presented, 03/2018.
- A Standard-Enabled Workflow for Synthetic Biology, University of Nebraska Lincoln, Lincoln, NE, October 24, 2017. Other, Presented, 10/24/2017.
- A Synthetic Biology Workflow Using SBOL, Denmark Technical University, Copenhagen, Denmark, October 6, 2017. Other, Other, 10/06/2017.
- Introduction to libSBOLj, International Workshop on Bio-Design Automation SBOL Workshop, August 11, 2017. Other, Other, 08/11/2017.
- A Synthetic Biology Workflow Using SBOL, SEED 2017, Vancouver Canada, June 23, 2017. Invited Talk/Keynote, Presented, 06/23/2017.
- 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, Massachusetts Institute of Technology, May 19, 2017. Other, Presented, 05/19/2017.
- Living Computing Project: Data Management Workflow, NSF Expeditions Review, Boston, MA, May 12, 2017. Other, Presented, 05/12/2017.
- Genetic Design Automation, BBN Technologies, Boston, MA, April 27, 2017. Other, Presented, 04/27/2017.
- Computational Synthetic Biology: Progress and the Road Ahead, Microsoft Research, Cambridge, United Kingdom, March 27, 2017. Other, Presented, 03/17/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
Software Titles
- SBOLDesigner 3.1. A sequence editor for synthetic biology design. Release Date: 12/15/2019. Inventors: M. Zhang, S. Bridge, C. Myers, M. Galdzicki, B. Bartley, S. Sleight, E. Sirin, and J. Gennari. Distribution List: https://github.com/SynBioDex/SBOLDesigner.
- SBOL Validator/Converter. Online tool for validation and conversion of SBOL files. Release Date: 12/15/2019. Inventors: Z. Zundel and C. Myers. Distribution List: https://github.com/SynBioDex/SBOL-Validator.
- SBOLCanvas 1.0. A web-based graphical editor for genetic circuit designs. Release Date: 12/15/2019. Inventors: Logan Terry, Jared Earl, and Sam Thayer. Distribution List: https://github.com/SynBioDex/SBOLCanvas.
- sboljs 2.2.5. A javascript library for SBOL. Release Date: 12/15/2019. Inventors: James McLaughlin, Nathan Wilkinson, Zach Zundel, Chris Myers, and Anil Wipat. Distribution List: https://github.com/SynBioDex/sboljs.
- VisBOL 2.0-beta. A visualization tool for SBOL data. Release Date: 12/15/2019. Inventors: James McLaughlin, Zach Zundel, Arezoo Sadeghi, Dany Fu, Chris Myers, Anil Wipat. Distribution List: https://github.com/VisBOL/visbol-js.
- SBOLExplorer 1.1. A new search engine for SynBioHub. Release Date: 12/15/2019. Inventors: Michael Zhang, Eric Yu. Distribution List: https://github.com/SynBioDex/SBOLExplorer.
- SynBioHub 1.5.3. A SBOL repository for biological designs. Release Date: 12/05/2019. Inventors: J. McLaughlin, C. Myers, G. Misirli, C. Madsen, Z. Zundel, J. Scholz, O, Flatt, and A. Wipat. Distribution List: https://github.com/SynBioHub/synbiohub/releases/tag/1.5.3.
- iBioSim 3.1. Software for the modeling, analysis, and design of genetic circuits. Release Date: 09/30/2019. Inventors: N. Barker, P. Fontanarrosa, S. Glass, K. Jones, H. Kuwahara, C. Madsen, C. Myers, N. Nguyen, T. Nguyen, T. Patterson, N. Roehner, J. Stevens, L. Watanabe, M. Zhang, and Z. Zhang. Distribution List: https://github.com/MyersResearchGroup/iBioSim/releases/tag/3.1.0.
- libSBOLj 2.4.0. A Java-based library to support the Synthetic Biology Open Language . Release Date: 04/20/2019. Inventors: Z. Zhang, T. Nguyen, N. Roehner, G. Misirli, M. Pocock, E. Oberortner, M. Samineni, Z. Zundel, A. Wipat, C. Myers. Distribution List: https://github.com/SynBioDex/libSBOLj/releases/tag/v2.4.0.
- 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.
- 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.