Chris Myers
Chris Myers
Dirección de correo verificada de ece.utah.edu
Título
Citado por
Citado por
Año
Asynchronous circuit design
CJ Myers
John Wiley & Sons, 2001
4262001
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
2612014
Synthesis of timed asynchronous circuits
CJ Myers, THY Meng
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 1 (2), 106-119, 1993
1991993
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
1352000
Synchronous interlocked pipelines
HM Jacobson, PN Kudva, P Bose, PW Cook, SE Schuster, EG Mercer, ...
Proceedings Eighth International Symposium on Asynchronous Circuits and …, 2002
1262002
Engineering genetic circuits
CJ Myers
CRC Press, 2016
1202016
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
1121999
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
1062009
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
1042001
Automatic verification of timed circuits
TG Rokicki, CJ Myers
International Conference on Computer Aided Verification, 468-480, 1994
1031994
Computer-aided synthesis and verification of gate-level timed circuits
CJ Myers
stanford university, 1996
1021996
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
982004
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
902010
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
752015
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
722016
Verification of timed systems using POSETs
W Belluomini, CJ Myers
International Conference on Computer Aided Verification, 403-415, 1998
721998
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
692018
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
622008
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
602015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20