| Engineering genetic circuits: advancements in genetic design automation tools and standards for synthetic biology L Buecherl, CJ Myers Current opinion in microbiology 68, 102155, 2022 | 14 | 2022 |
| Synthetic biology open language (SBOL) version 3.1. 0 L Buecherl, T Mitchell, J Scott-Brown, P Vaidyanathan, G Vidal, H Baig, ... Journal of integrative bioinformatics 20 (1), 20220058, 2023 | 9 | 2023 |
| 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 | 9 | 2022 |
| Synbiosuite: a tool for improving the workflow for genetic design and modeling Z Sents, TE Stoughton, L Buecherl, PJ Thomas, P Fontanarrosa, CJ Myers ACS Synthetic Biology 12 (3), 892-897, 2023 | 5 | 2023 |
| 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 |
| PhageBox: An Open Source Digital Microfluidic Extension With Applications for Phage Discovery D Albin, L Buecherl, E Kochavi, E Niehaus, S Novack, S Uragoda, ... IEEE Transactions on Biomedical Engineering, 2023 | 3 | 2023 |
| A comparison of weighted stochastic simulation methods for the analysis of genetic circuits M Ahmadi, PJ Thomas, L Buecherl, C Winstead, CJ Myers, H Zheng ACS Synthetic Biology 12 (1), 287-304, 2022 | 3 | 2022 |
| STAMINA in C++: Modernizing an infinite-state probabilistic model checker J Jeppson, M Volk, B Israelsen, R Roberts, A Williams, L Buecherl, ... International Conference on Quantitative Evaluation of Systems, 101-109, 2023 | 1 | 2023 |
| Joshua Jeppson, Matthias Volk², Bryant Israelsen', Riley Roberts¹. A Williams¹, L Buecherl, CJ Myers, H Zheng Quantitative Evaluation of Systems: 20th International Conference, QEST 2023 …, 2023 | | 2023 |
