Lukas Buecherl

According to our database, Lukas Buecherl authored at least 6 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Prefix Trees Improve Memory Consumption in Large-Scale Continuous-Time Stochastic Models.

Landon Taylor, Joshua Jeppson, Ahmed Irfan, Lukas Buecherl, Chris J. Myers, Zhen Zhang

CoRR, December, 2025

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., January, 2024

Rare-Event Guided Analysis of Infinite-State Chemical Reaction Networks.

Mohammad Ahmadi, Lukas Buecherl, Chris J. Myers, Zhen Zhang, Chris Winstead, Hao Zheng

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

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, Vishwesh Kulkarni, James Alastair McLaughlin, Göksel Misirli, Ernst Oberortner, Anil Wipat, Chris J. Myers

J. Integr. Bioinform., March, 2023

STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.

Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, Zhen Zhang

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

2022

STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking.

Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022