Lukas Buecherl

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Formal Specification

Top Venues

IEEE Trans. Biomed. Eng.

J. Integr. Bioinform.

Publications

Dreycey Albin, Lukas Buecherl, Eitan Kochavi, Elise Niehaus, Sasha M. Novack, Shenali Uragoda, Chris J. Myers, Mirela Alistar
PhageBox: An Open Source Digital Microfluidic Extension With Applications for Phage Discovery. IEEE Trans. Biomed. Eng. 71 (1) (2024)
Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, Zhen Zhang
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker. QEST (2023)
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 V. Kulkarni, James Alastair McLaughlin, Göksel Misirli, Ernst Oberortner, Anil Wipat, Chris J. Myers
Synthetic biology open language (SBOL) version 3.1.0. J. Integr. Bioinform. 20 (1) (2023)
Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang
STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking. VMCAI (2022)