Chris Myers
Chris Myers
Verified email at
Cited by
Cited by
Asynchronous circuit design
CJ Myers
John Wiley & Sons, 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
Synthesis of timed asynchronous circuits
CJ Myers, THY Meng
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 1 (2), 106-119, 1993
Synchronous interlocked pipelines
HM Jacobson, PN Kudva, P Bose, PW Cook, SE Schuster, EG Mercer, ...
Proceedings Eighth International Symposium on Asynchronous Circuits and …, 2002
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
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
Engineering genetic circuits
CJ Myers
CRC Press, 2016
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
Automatic verification of timed circuits
TG Rokicki, CJ Myers
International Conference on Computer Aided Verification, 468-480, 1994
Computer-aided synthesis and verification of gate-level timed circuits
CJ Myers
stanford university, 1995
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
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
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
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), 1-9, 2014
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
Verification of timed systems using POSETs
W Belluomini, CJ Myers
International Conference on Computer Aided Verification, 403-415, 1998
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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20