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 | 95 | 2016 |
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 | 81 | 2018 |
Synthetic biology open language (SBOL) version 2.0. 0 B Bartley, J Beal, K Clancy, G Misirli, N Roehner, E Oberortner, M Pocock, ... Journal of integrative bioinformatics 12 (2), 902-991, 2015 | 73 | 2015 |
Synthetic biology open language (SBOL) version 2.2. 0 RS Cox III, C Madsen, JA McLaughlin, T Nguyen, N Roehner, B Bartley, ... Journal of integrative bioinformatics 15 (1), 20180001, 2018 | 55 | 2018 |
Generating systems biology markup language models from the synthetic biology open language N Roehner, Z Zhang, T Nguyen, CJ Myers ACS synthetic biology 4 (8), 873-879, 2015 | 34 | 2015 |
On correctness, precision, and performance in quantitative verification: QComp 2020 competition report CE Budde, A Hartmanns, M Klauck, J Křetínský, D Parker, T Quatmann, ... International symposium on leveraging applications of formal methods, 216-241, 2020 | 33 | 2020 |
Synthetic biology open language (SBOL) version 2.3 C Madsen, A Goñi Moreno, U P, Z Palchick, N Roehner, C Atallah, ... Journal of integrative bioinformatics 16 (2), 20190025, 2019 | 31 | 2019 |
Utilizing stochastic model checking to analyze genetic circuits C Madsen, CJ Myers, N Roehner, C Winstead, Z Zhang 2012 IEEE Symposium on Computational Intelligence in Bioinformatics and …, 2012 | 27 | 2012 |
Synthetic biology open language (SBOL) version 2.1. 0 J Beal, RS Cox, R Grünberg, J McLaughlin, T Nguyen, B Bartley, M Bissell, ... Journal of integrative bioinformatics 13 (3), 30-132, 2016 | 25 | 2016 |
An improved fault-tolerant routing algorithm for a network-on-chip derived with formal analysis Z Zhang, W Serwe, J Wu, T Yoneda, H Zheng, C Myers Science of Computer Programming 118, 24-39, 2016 | 20 | 2016 |
Effort: Enhancing energy efficiency and error resilience of a near-threshold tensor processing unit ND Gundi, T Shabanian, P Basu, P Pandey, S Roy, K Chakraborty, ... 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC), 241-246, 2020 | 16 | 2020 |
Stochastic model checking of genetic circuits C Madsen, Z Zhang, N Roehner, C Winstead, C Myers ACM Journal on Emerging Technologies in Computing Systems (JETC) 11 (3), 1-21, 2014 | 14 | 2014 |
Stamina: Stochastic approximate model-checker for infinite-state analysis T Neupane, CJ Myers, C Madsen, H Zheng, Z Zhang Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 11 | 2019 |
A validator and converter for the synthetic biology open language Z Zundel, M Samineni, Z Zhang, CJ Myers ACS Synthetic Biology 6 (7), 1161-1168, 2017 | 11 | 2017 |
Approximation techniques for stochastic analysis of biological systems T Neupane, Z Zhang, C Madsen, H Zheng, CJ Myers Automated Reasoning for Systems Biology and Medicine, 327-348, 2019 | 9 | 2019 |
Formal analysis of a fault-tolerant routing algorithm for a network-on-chip Z Zhang, W Serwe, J Wu, T Yoneda, H Zheng, C Myers Formal Methods for Industrial Critical Systems: 19th International …, 2014 | 9 | 2014 |
STAMINA 2.0: Improving scalability of infinite-state stochastic model checking R Roberts, T Neupane, L Buecherl, CJ Myers, Z Zhang International Conference on Verification, Model Checking, and Abstract …, 2022 | 8 | 2022 |
A fault-tolerant routing algorithm for a network-on-chip using a link fault model J Wu, Z Zhang, C Myers Virtual Worldwide Forum for PhD Researchers in Electronic Design Automation, 2011 | 8 | 2011 |
Compositional model checking of concurrent systems H Zheng, Z Zhang, CJ Myers, E Rodriguez, Y Zhang IEEE Transactions on Computers 64 (6), 1607-1621, 2014 | 6 | 2014 |
Stochastic hazard analysis of genetic circuits in iBioSim and STAMINA L Buecherl, R Roberts, P Fontanarrosa, PJ Thomas, J Mante, Z Zhang, ... ACS synthetic biology 10 (10), 2532-2540, 2021 | 5 | 2021 |