STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking. - Riley Roberts; Thakur Neupane; Lukas Buecherl; Chris J. Myers; Zhen Zhang 006 (VMCAI, 2022)

STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker. - Joshua Jeppson; Matthias Volk 001; Bryant Israelsen; Riley Roberts; Andrew Williams; Lukas Buecherl; Chris J. Myers; Hao Zheng 001; Chris Winstead; Zhen Zhang 006 (QEST, 2023)

Synthetic biology open language (SBOL) version 3.1.0. - Lukas Buecherl; Thomas Mitchell; James Scott-Brown; Prashant Vaidyanathan; Gonzalo Vidal; Hasan Baig; Bryan Bartley; Jacob Beal; Matthew Crowther; Pedro Fontanarrosa; Thomas E. Gorochowski; Raik Grünberg; et al. (J. Integr. Bioinform., 2023)

Rare-Event Guided Analysis of Infinite-State Chemical Reaction Networks. - Mohammad Ahmadi; Lukas Buecherl; Chris J. Myers; Zhen Zhang 006; Chris Winstead; Hao Zheng 001 (QEST+FORMATS, 2024)

PhageBox: An Open Source Digital Microfluidic Extension With Applications for Phage Discovery. - Dreycey Albin; Lukas Buecherl; Eitan Kochavi; Elise Niehaus; Sasha M. Novack; Shenali Uragoda; Chris J. Myers; Mirela Alistar (IEEE Trans. Biomed. Eng., 2024)