| Asynchronous circuit design CJ Myers John Wiley & Sons, 2001 | 426 | 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 | 261 | 2014 |
| Synthesis of timed asynchronous circuits CJ Myers, THY Meng IEEE Transactions on Very Large Scale Integration (VLSI) Systems 1 (2), 106-119, 1993 | 199 | 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 | 135 | 2000 |
| Synchronous interlocked pipelines HM Jacobson, PN Kudva, P Bose, PW Cook, SE Schuster, EG Mercer, ... Proceedings Eighth International Symposium on Asynchronous Circuits and …, 2002 | 126 | 2002 |
| Engineering genetic circuits CJ Myers CRC Press, 2016 | 120 | 2016 |
| 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 | 112 | 1999 |
| 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 | 106 | 2009 |
| 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 | 104 | 2001 |
| Automatic verification of timed circuits TG Rokicki, CJ Myers International Conference on Computer Aided Verification, 468-480, 1994 | 103 | 1994 |
| Computer-aided synthesis and verification of gate-level timed circuits CJ Myers stanford university, 1996 | 102 | 1996 |
| 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 | 98 | 2004 |
| 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 | 90 | 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 | 75 | 2015 |
| 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 | 72 | 2016 |
| Verification of timed systems using POSETs W Belluomini, CJ Myers International Conference on Computer Aided Verification, 403-415, 1998 | 72 | 1998 |
| 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 | 69 | 2018 |
| Analog MAP decoder for (8, 4) Hamming code in subthreshold CMOS C Winstead, J Dai, WJ Kim, S Little Proceedings 2001 Conference on Advanced Research in VLSI. ARVLSI 2001, 132-147, 2001 | 66* | 2001 |
| Verification of analog/mixed-signal circuits using symbolic methods D Walter, S Little, C Myers, N Seegmiller, T Yoneda IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008 | 62 | 2008 |
| The Systems Biology Markup Language (SBML): language specification for level 3 version 1 core M Hucka, FT Bergmann, S Hoops, SM Keating, S Sahle, JC Schaff, ... Journal of integrative bioinformatics 12 (2), 382-549, 2015 | 60 | 2015 |
