Lukas Buecherl

According to our database, Lukas Buecherl authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

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

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