Chris Myers
Chris Myers
Verified email at ece.utah.edu
TitleCited byYear
Asynchronous circuit design
CJ Myers
John Wiley & Sons, 2001
3882001
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, 2014
2102014
Synthesis of timed asynchronous circuits
CJ Myers, THY Meng
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 1 (2), 106-119, 1993
1941993
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
1322015
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
1172000
Synchronous interlocked pipelines
HM Jacobson, PN Kudva, P Bose, PW Cook, SE Schuster, EG Mercer, ...
Proceedings Eighth International Symposium on Asynchronous Circuits and …, 2002
1152002
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
1071999
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
982001
Automatic verification of timed circuits
TG Rokicki, CJ Myers
International Conference on Computer Aided Verification, 468-480, 1994
971994
Computer-aided synthesis and verification of gate-level timed circuits
CJ Myers
stanford university, 1995
961995
Engineering genetic circuits
CJ Myers
Chapman and Hall/CRC, 2016
952016
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
952004
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
902009
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
712010
Verification of timed systems using POSETs
W Belluomini, CJ Myers
International Conference on Computer Aided Verification, 403-415, 1998
631998
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
602008
COMBINE archive and OMEX format: one file to share all information to reproduce a modeling project
FT Bergmann, R Adams, S Moodie, J Cooper, M Glont, M Golebiewski, ...
BMC bioinformatics 15 (1), 369, 2014
592014
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
572001
Automated abstraction methodology for genetic regulatory networks
H Kuwahara, CJ Myers, MS Samoilov, NA Barker, AP Arkin
Transactions on computational systems biology VI, 150-175, 2006
552006
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
542015
The system can't perform the operation now. Try again later.
Articles 1–20