Seguir
Lukas Buecherl
Lukas Buecherl
Dirección de correo verificada de colorado.edu - Página principal
Título
Citado por
Citado por
Año
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
132022
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
92023
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
92022
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
52021
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
42023
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
32022
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
22023
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
12023
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–9