| Asynchronous circuit design CJ Myers John Wiley & Sons, 2001 | 461 | 2001 |
| The Synthetic Biology Open Language (SBOL) provides a community standard for communicating designs in synthetic biology M Galdzicki, KP Clancy, E Oberortner, M Pocock, JY Quinn, CA Rodriguez, ... Nature biotechnology 32 (6), 545-550, 2014 | 292 | 2014 |
| Synthesis of timed asynchronous circuits CJ Myers, THY Meng IEEE Transactions on Very Large Scale Integration (VLSI) Systems 1 (2), 106-119, 1993 | 204 | 1993 |
| Interfacing synchronous and asynchronous modules within a high-speed pipeline AE Sjogren, CJ Myers IEEE Transactions on Very Large Scale Integration (VLSI) Systems 8 (5), 573-583, 2000 | 136 | 2000 |
| SBML Level 3: an extensible format for the exchange and reuse of biological models SM Keating, D Waltemath, M König, F Zhang, A Dräger, C Chaouiya, ... Molecular systems biology 16 (8), e9110, 2020 | 135 | 2020 |
| Engineering genetic circuits CJ Myers CRC Press, 2016 | 133 | 2016 |
| Synchronous interlocked pipelines HM Jacobson, PN Kudva, P Bose, PW Cook, SE Schuster, EG Mercer, ... Proceedings Eighth International Symposium on Asynchronous Circuits and …, 2002 | 131 | 2002 |
| iBioSim: a tool for the analysis and design of genetic circuits CJ Myers, N Barker, K Jones, H Kuwahara, C Madsen, NPD Nguyen Bioinformatics 25 (21), 2848-2849, 2009 | 123 | 2009 |
| RAPPID: An asynchronous instruction length decoder S Rotem, K Stevens, R Ginosar, P Beerel, C Myers, K Yun, R Kol, C Dike, ... Proceedings. Fifth International Symposium on Advanced Research in …, 1999 | 116 | 1999 |
| SynBioHub: a standards-enabled design repository for synthetic biology JA McLaughlin, CJ Myers, Z Zundel, G Mısırlı, M Zhang, ID Ofiteru, ... ACS synthetic biology 7 (2), 682-688, 2018 | 113 | 2018 |
| An asynchronous instruction length decoder KS Stevens, S Rotem, R Ginosar, P Beerel, CJ Myers, KY Yun, R Koi, ... IEEE Journal of solid-state circuits 36 (2), 217-228, 2001 | 110 | 2001 |
| CMOS analog MAP decoder for (8, 4) Hamming code C Winstead, J Dai, S Yu, C Myers, RR Harrison, C Schlegel IEEE Journal of Solid-State Circuits 39 (1), 122-131, 2004 | 107 | 2004 |
| Computer-aided synthesis and verification of gate-level timed circuits CJ Myers stanford university, 1996 | 102 | 1996 |
| Automatic verification of timed circuits TG Rokicki, CJ Myers CAV, 468-480, 1994 | 101 | 1994 |
| Automatic abstraction for verification of cyber-physical systems RA Thacker, KR Jones, CJ Myers, H Zheng Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical …, 2010 | 96 | 2010 |
| SBOL visual: a graphical language for genetic designs JY Quinn, RS Cox III, A Adler, J Beal, S Bhatia, Y Cai, J Chen, K Clancy, ... PLoS biology 13 (12), e1002310, 2015 | 91 | 2015 |
| The systems biology markup language (SBML): Language specification for level 3 version 1 core L Smith, D Wilkinson, M Hucka, F Bergmann, S Hoops, S Keating, S Sahle, ... Nature Precedings, 1-1, 2010 | 88* | 2010 |
| Sharing structure and function in biological design with SBOL 2.0 N Roehner, J Beal, K Clancy, B Bartley, G Misirli, R Grunberg, ... ACS synthetic biology 5 (6), 498-506, 2016 | 86 | 2016 |
| Promoting coordinated development of community-based information standards for modeling in biology: the COMBINE initiative M Hucka, DP Nickerson, GD Bader, FT Bergmann, J Cooper, E Demir, ... Frontiers in bioengineering and biotechnology 3, 19, 2015 | 75 | 2015 |
| iBioSim 3: A Tool for Model-Based Genetic Circuit Design L Watanabe, T Nguyen, M Zhang, Z Zundel, Z Zhang, C Madsen, ... ACS synthetic biology 8 (7), 1560-1563, 2018 | 74 | 2018 |
